Computer Science Mar 2000

<!DOCTYPE html> <html lang="en"> <head> <title>Computer Science Mar 2000</title> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="apple-touch-icon" sizes="180x180" href="/static/browse/0.3.4/images/icons/apple-touch-icon.png"> <link rel="icon" type="image/png" sizes="32x32" href="/static/browse/0.3.4/images/icons/favicon-32x32.png"> <link rel="icon" type="image/png" sizes="16x16" href="/static/browse/0.3.4/images/icons/favicon-16x16.png"> <link rel="manifest" href="/static/browse/0.3.4/images/icons/site.webmanifest"> <link rel="mask-icon" href="/static/browse/0.3.4/images/icons/safari-pinned-tab.svg" color="#5bbad5"> <meta name="msapplication-TileColor" content="#da532c"> <meta name="theme-color" content="#ffffff"> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/arXiv.css?v=20241206" /> <link rel="stylesheet" type="text/css" media="print" href="/static/browse/0.3.4/css/arXiv-print.css?v=20200611" /> <link rel="stylesheet" type="text/css" media="screen" href="/static/browse/0.3.4/css/browse_search.css" /> <script language="javascript" src="/static/browse/0.3.4/js/accordion.js" /></script> <script src="/static/browse/0.3.4/js/mathjaxToggle.min.js" type="text/javascript"></script> <script type="text/javascript" language="javascript">mathjaxToggle();</script> </head> <body class="with-cu-identity"> <div class="flex-wrap-footer"> <header> <a href="#content" class="is-sr-only">Skip to main content</a>  <div class="columns is-vcentered is-hidden-mobile" id="cu-identity"> <div class="column" id="cu-logo"> <a href="https://www.cornell.edu/"><img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University" /></a> </div><div class="column" id="support-ack"> <span id="support-ack-url">We gratefully acknowledge support from the Simons Foundation, <a href="https://info.arxiv.org/about/ourmembers.html">member institutions</a>, and all contributors.</span> <a href="https://info.arxiv.org/about/donate.html" class="btn-header-donate">Donate</a> </div> </div> <div id="header" class="is-hidden-mobile"> <a aria-hidden="true" tabindex="-1" href="/IgnoreMe"></a> <div class="header-breadcrumbs"> <a href="/"><img src="/static/browse/0.3.4/images/arxiv-logo-one-color-white.svg" alt="arxiv logo" style="height:40px;"/></a> <span>></span> <a href="/list/cs/recent">cs</a> </div> <div class="search-block level-right"> <form class="level-item mini-search" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <div class="control"> <input class="input is-small" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <p class="help"><a href="https://info.arxiv.org/help">Help</a> | <a href="https://arxiv.org/search/advanced">Advanced Search</a></p> </div> <div class="control"> <div class="select is-small"> <select name="searchtype" aria-label="Field to search"> <option value="all" selected="selected">All fields</option> <option value="title">Title</option> <option value="author">Author</option> <option value="abstract">Abstract</option> <option value="comments">Comments</option> <option value="journal_ref">Journal reference</option> <option value="acm_class">ACM classification</option> <option value="msc_class">MSC classification</option> <option value="report_num">Report number</option> <option value="paper_id">arXiv identifier</option> <option value="doi">DOI</option> <option value="orcid">ORCID</option> <option value="author_id">arXiv author ID</option> <option value="help">Help pages</option> <option value="full_text">Full text</option> </select> </div> </div> <input type="hidden" name="source" value="header"> <button class="button is-small is-cul-darker">Search</button> </div> </form> </div> </div> <div class="mobile-header"> <div class="columns is-mobile"> <div class="column logo-arxiv"><a href="https://arxiv.org/"><img src="/static/browse/0.3.4/images/arxiv-logomark-small-white.svg" alt="arXiv logo" style="height:60px;" /></a></div> <div class="column logo-cornell"><a href="https://www.cornell.edu/"> <picture> <source media="(min-width: 501px)" srcset="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg 400w" sizes="400w" /> <source srcset="/static/browse/0.3.4/images/icons/cu/cornell_seal_simple_black.svg 2x" /> <img src="/static/browse/0.3.4/images/icons/cu/cornell-reduced-white-SMALL.svg" alt="Cornell University Logo" /> </picture> </a></div> <div class="column nav" id="toggle-container" role="menubar"> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-white"><title>open search</title><path d="M505 442.7L405.3 343c-4.5-4.5-10.6-7-17-7H372c27.6-35.3 44-79.7 44-128C416 93.1 322.9 0 208 0S0 93.1 0 208s93.1 208 208 208c48.3 0 92.7-16.4 128-44v16.3c0 6.4 2.5 12.5 7 17l99.7 99.7c9.4 9.4 24.6 9.4 33.9 0l28.3-28.3c9.4-9.4 9.4-24.6.1-34zM208 336c-70.7 0-128-57.2-128-128 0-70.7 57.2-128 128-128 70.7 0 128 57.2 128 128 0 70.7-57.2 128-128 128z"/></svg></button> <div class="mobile-toggle-block toggle-target"> <form class="mobile-search-form" method="GET" action="https://arxiv.org/search"> <div class="field has-addons"> <input class="input" type="text" name="query" placeholder="Search..." aria-label="Search term or terms" /> <input type="hidden" name="source" value="header"> <input type="hidden" name="searchtype" value="all"> <button class="button">GO</button> </div> </form> </div> <button class="toggle-control"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-white" role="menu"><title>open navigation menu</title><path d="M16 132h416c8.837 0 16-7.163 16-16V76c0-8.837-7.163-16-16-16H16C7.163 60 0 67.163 0 76v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16zm0 160h416c8.837 0 16-7.163 16-16v-40c0-8.837-7.163-16-16-16H16c-8.837 0-16 7.163-16 16v40c0 8.837 7.163 16 16 16z"/ ></svg></button> <div class="mobile-toggle-block toggle-target"> <nav class="mobile-menu" aria-labelledby="mobilemenulabel"> <h2 id="mobilemenulabel">quick links</h2> <ul> <li><a href="https://arxiv.org/login">Login</a></li> <li><a href="https://info.arxiv.org/help">Help Pages</a></li> <li><a href="https://info.arxiv.org/about">About</a></li> </ul> </nav> </div> </div> </div> </div> </header> <main> <div id="content"> <div id='content-inner'> <div id='dlpage'> <h1>Computer Science</h1> <h2>Authors and titles for March 2000 </h2> <div class='paging'>Total of 91 entries : <span>1-50</span> <a href=/list/cs/2000-03?skip=50&show=50>51-91</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs/2000-03?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs/2000-03?skip=0&show=2000 rel="nofollow"> all</a> </div> <dl id='articles'> <dt> <a name='item1'>[1]</a> <a href ="/abs/cs/0003001" title="Abstract" id="cs/0003001"> arXiv:cs/0003001 </a> [<a href="/pdf/cs/0003001" title="Download PDF" id="pdf-cs/0003001" aria-labelledby="pdf-cs/0003001">pdf</a>, <a href="/format/cs/0003001" title="Other formats" id="oth-cs/0003001" aria-labelledby="oth-cs/0003001">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Making news understandable to computers </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mueller,+E+T">Erik T. Mueller</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Information Retrieval (cs.IR)</span> </div> </div> </dd> <dt> <a name='item2'>[2]</a> <a href ="/abs/cs/0003002" title="Abstract" id="cs/0003002"> arXiv:cs/0003002 </a> [<a href="/pdf/cs/0003002" title="Download PDF" id="pdf-cs/0003002" aria-labelledby="pdf-cs/0003002">pdf</a>, <a href="/format/cs/0003002" title="Other formats" id="oth-cs/0003002" aria-labelledby="oth-cs/0003002">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Combining Random Number Generators using Quasicrystals </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Guimond,+L">Louis-Sebastien Guimond</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Masakova,+Z">Zuzana Masakova</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Patera,+J">Jiri Patera</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pelantova,+E">Edita Pelantova</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Discrete Mathematics (cs.DM)</span> </div> </div> </dd> <dt> <a name='item3'>[3]</a> <a href ="/abs/cs/0003003" title="Abstract" id="cs/0003003"> arXiv:cs/0003003 </a> [<a href="/pdf/cs/0003003" title="Download PDF" id="pdf-cs/0003003" aria-labelledby="pdf-cs/0003003">pdf</a>, <a href="/format/cs/0003003" title="Other formats" id="oth-cs/0003003" aria-labelledby="oth-cs/0003003">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Prospects for in-depth story understanding by computer </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mueller,+E+T">Erik T. Mueller</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Computation and Language (cs.CL) </div> </div> </dd> <dt> <a name='item4'>[4]</a> <a href ="/abs/cs/0003004" title="Abstract" id="cs/0003004"> arXiv:cs/0003004 </a> [<a href="/pdf/cs/0003004" title="Download PDF" id="pdf-cs/0003004" aria-labelledby="pdf-cs/0003004">pdf</a>, <a href="/format/cs/0003004" title="Other formats" id="oth-cs/0003004" aria-labelledby="oth-cs/0003004">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A database and lexicon of scripts for ThoughtTreasure </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mueller,+E+T">Erik T. Mueller</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Computation and Language (cs.CL) </div> </div> </dd> <dt> <a name='item5'>[5]</a> <a href ="/abs/cs/0003005" title="Abstract" id="cs/0003005"> arXiv:cs/0003005 </a> [<a href="/pdf/cs/0003005" title="Download PDF" id="pdf-cs/0003005" aria-labelledby="pdf-cs/0003005">pdf</a>, <a href="/format/cs/0003005" title="Other formats" id="oth-cs/0003005" aria-labelledby="oth-cs/0003005">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Don't Trash your Intermediate Results, Cache 'em </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Roy,+P">Prasan Roy</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ramamritham,+K">Krithi Ramamritham</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Seshadri,+S">S. Seshadri</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Shenoy,+P">Pradeep Shenoy</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sudarshan,+S">S. Sudarshan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pages, 4 figures </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Databases (cs.DB)</span> </div> </div> </dd> <dt> <a name='item6'>[6]</a> <a href ="/abs/cs/0003006" title="Abstract" id="cs/0003006"> arXiv:cs/0003006 </a> [<a href="/pdf/cs/0003006" title="Download PDF" id="pdf-cs/0003006" aria-labelledby="pdf-cs/0003006">pdf</a>, <a href="/format/cs/0003006" title="Other formats" id="oth-cs/0003006" aria-labelledby="oth-cs/0003006">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Materialized View Selection and Maintenance Using Multi-Query Optimization </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mistry,+H">Hoshi Mistry</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Roy,+P">Prasan Roy</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Ramamritham,+K">Krithi Ramamritham</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sudarshan,+S">S. Sudarshan</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 22 pages, 7 figures </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Databases (cs.DB)</span> </div> </div> </dd> <dt> <a name='item7'>[7]</a> <a href ="/abs/cs/0003007" title="Abstract" id="cs/0003007"> arXiv:cs/0003007 </a> [<a href="/pdf/cs/0003007" title="Download PDF" id="pdf-cs/0003007" aria-labelledby="pdf-cs/0003007">pdf</a>, <a href="/format/cs/0003007" title="Other formats" id="oth-cs/0003007" aria-labelledby="oth-cs/0003007">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract) </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Satoh,+K">Ken Satoh</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Okamoto,+H">Hidenori Okamoto</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item8'>[8]</a> <a href ="/abs/cs/0003008" title="Abstract" id="cs/0003008"> arXiv:cs/0003008 </a> [<a href="/pdf/cs/0003008" title="Download PDF" id="pdf-cs/0003008" aria-labelledby="pdf-cs/0003008">pdf</a>, <a href="/format/cs/0003008" title="Other formats" id="oth-cs/0003008" aria-labelledby="oth-cs/0003008">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Satoh,+K">Ken Satoh</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item9'>[9]</a> <a href ="/abs/cs/0003009" title="Abstract" id="cs/0003009"> arXiv:cs/0003009 </a> [<a href="/pdf/cs/0003009" title="Download PDF" id="pdf-cs/0003009" aria-labelledby="pdf-cs/0003009">pdf</a>, <a href="/format/cs/0003009" title="Other formats" id="oth-cs/0003009" aria-labelledby="oth-cs/0003009">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Conditional indifference and conditional preservation </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kern-Isberner,+G">Gabriele Kern-Isberner</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Workshop Nonmonotonic Reasoning 2000, Belief Revision, at KR 2000, 10 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item10'>[10]</a> <a href ="/abs/cs/0003010" title="Abstract" id="cs/0003010"> arXiv:cs/0003010 </a> [<a href="/pdf/cs/0003010" title="Download PDF" id="pdf-cs/0003010" aria-labelledby="pdf-cs/0003010">pdf</a>, <a href="/format/cs/0003010" title="Other formats" id="oth-cs/0003010" aria-labelledby="oth-cs/0003010">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> TSIA: A Dataflow Model </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Steinmacher-Burow,+B+D">Burkhard D. Steinmacher-Burow</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Programming Languages (cs.PL)</span> </div> </div> </dd> <dt> <a name='item11'>[11]</a> <a href ="/abs/cs/0003011" title="Abstract" id="cs/0003011"> arXiv:cs/0003011 </a> [<a href="/pdf/cs/0003011" title="Download PDF" id="pdf-cs/0003011" aria-labelledby="pdf-cs/0003011">pdf</a>, <a href="/format/cs/0003011" title="Other formats" id="oth-cs/0003011" aria-labelledby="oth-cs/0003011">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Automatic Belief Revision in SNePS </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Shapiro,+S+C">Stuart C. Shapiro</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Johnson,+F+L">Frances L. Johnson</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Slightly revised page 3, right column, 3rd complete paragraph to fix formatting problem </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item12'>[12]</a> <a href ="/abs/cs/0003012" title="Abstract" id="cs/0003012"> arXiv:cs/0003012 </a> [<a href="/pdf/cs/0003012" title="Download PDF" id="pdf-cs/0003012" aria-labelledby="pdf-cs/0003012">pdf</a>, <a href="/format/cs/0003012" title="Other formats" id="oth-cs/0003012" aria-labelledby="oth-cs/0003012">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Defeasible Reasoning in OSCAR </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Pollock,+J+L">John L. Pollock</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Nonmonotonic Reasoning Workshop, 2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item13'>[13]</a> <a href ="/abs/cs/0003013" title="Abstract" id="cs/0003013"> arXiv:cs/0003013 </a> [<a href="/pdf/cs/0003013" title="Download PDF" id="pdf-cs/0003013" aria-labelledby="pdf-cs/0003013">pdf</a>, <a href="/format/cs/0003013" title="Other formats" id="oth-cs/0003013" aria-labelledby="oth-cs/0003013">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A flexible framework for defeasible logics </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Antoniou,+G">G. Antoniou</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Billigton,+D">D. Billigton</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Governatori,+G">G. Governatori</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Maher,+M">M.J. Maher</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Proceedings of 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item14'>[14]</a> <a href ="/abs/cs/0003014" title="Abstract" id="cs/0003014"> arXiv:cs/0003014 </a> [<a href="/pdf/cs/0003014" title="Download PDF" id="pdf-cs/0003014" aria-labelledby="pdf-cs/0003014">pdf</a>, <a href="/format/cs/0003014" title="Other formats" id="oth-cs/0003014" aria-labelledby="oth-cs/0003014">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Applying Maxi-adjustment to Adaptive Information Filtering Agents </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lau,+R">Raymond Lau</a> (1), <a href="https://arxiv.org/search/cs?searchtype=author&query=ter+Hofstede,+A+H">Arthur H.M. ter Hofstede</a> (1), <a href="https://arxiv.org/search/cs?searchtype=author&query=Bruza,+P+D">Peter D. Bruza</a> (2) ((1) Queensland University of Technology, (2) Distributed Systems Technology Centre)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> The 8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000, Belief Change, 9 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Multiagent Systems (cs.MA) </div> </div> </dd> <dt> <a name='item15'>[15]</a> <a href ="/abs/cs/0003015" title="Abstract" id="cs/0003015"> arXiv:cs/0003015 </a> [<a href="/pdf/cs/0003015" title="Download PDF" id="pdf-cs/0003015" aria-labelledby="pdf-cs/0003015">pdf</a>, <a href="/format/cs/0003015" title="Other formats" id="oth-cs/0003015" aria-labelledby="oth-cs/0003015">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On the semantics of merging </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Meyer,+T">Thomas Meyer</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages, 9 figures, paper to be presented at NMR'2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item16'>[16]</a> <a href ="/abs/cs/0003016" title="Abstract" id="cs/0003016"> arXiv:cs/0003016 </a> [<a href="/pdf/cs/0003016" title="Download PDF" id="pdf-cs/0003016" aria-labelledby="pdf-cs/0003016">pdf</a>, <a href="/format/cs/0003016" title="Other formats" id="oth-cs/0003016" aria-labelledby="oth-cs/0003016">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Dupre',+D+T">Daniele Theseider Dupre'</a> (Dipartimento di Scienze e Tecnologie Avanzate - Universita' del Piemonte Orientale, Alessandria, Italy)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 5 pages, 8th Int. Workshop on Nonmonotonic Reasoning, 2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item17'>[17]</a> <a href ="/abs/cs/0003017" title="Abstract" id="cs/0003017"> arXiv:cs/0003017 </a> [<a href="/pdf/cs/0003017" title="Download PDF" id="pdf-cs/0003017" aria-labelledby="pdf-cs/0003017">pdf</a>, <a href="/format/cs/0003017" title="Other formats" id="oth-cs/0003017" aria-labelledby="oth-cs/0003017">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> The lexicographic closure as a revision process </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Booth,+R">Richard Booth</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages, Nonmonotonic Reasoning Workshop 2000 (special session on belief change), at KR2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item18'>[18]</a> <a href ="/abs/cs/0003018" title="Abstract" id="cs/0003018"> arXiv:cs/0003018 </a> [<a href="/pdf/cs/0003018" title="Download PDF" id="pdf-cs/0003018" aria-labelledby="pdf-cs/0003018">pdf</a>, <a href="/format/cs/0003018" title="Other formats" id="oth-cs/0003018" aria-labelledby="oth-cs/0003018">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Description of GADEL </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Stephan,+I">I. Stephan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Saubion,+F">F. Saubion</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Nicolas,+P">P. Nicolas</a> (University of Angers, France)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> System Descriptions and Demonstrations at Nonmonotonic Reasoning Workshop, 2000 6 pages, 2 figures, 5 tables </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item19'>[19]</a> <a href ="/abs/cs/0003019" title="Abstract" id="cs/0003019"> arXiv:cs/0003019 </a> [<a href="/pdf/cs/0003019" title="Download PDF" id="pdf-cs/0003019" aria-labelledby="pdf-cs/0003019">pdf</a>, <a href="/format/cs/0003019" title="Other formats" id="oth-cs/0003019" aria-labelledby="oth-cs/0003019">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Extending Classical Logic with Inductive Definitions </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Denecker,+M">Marc Denecker</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages to be presented at NMR2000, Breckenridge, April 2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> <dt> <a name='item20'>[20]</a> <a href ="/abs/cs/0003020" title="Abstract" id="cs/0003020"> arXiv:cs/0003020 </a> [<a href="/pdf/cs/0003020" title="Download PDF" id="pdf-cs/0003020" aria-labelledby="pdf-cs/0003020">pdf</a>, <a href="/format/cs/0003020" title="Other formats" id="oth-cs/0003020" aria-labelledby="oth-cs/0003020">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> ACLP: Integrating Abduction and Constraint Solving </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kakas,+A">Antonis Kakas</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 6 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item21'>[21]</a> <a href ="/abs/cs/0003021" title="Abstract" id="cs/0003021"> arXiv:cs/0003021 </a> [<a href="/pdf/cs/0003021" title="Download PDF" id="pdf-cs/0003021" aria-labelledby="pdf-cs/0003021">pdf</a>, <a href="/format/cs/0003021" title="Other formats" id="oth-cs/0003021" aria-labelledby="oth-cs/0003021">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Relevance Sensitive Non-Monotonic Inference on Belief Sequences </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Chopra,+S">Samir Chopra</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Georgatos,+K">Konstantinos Georgatos</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Parikh,+R">Rohit Parikh</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item22'>[22]</a> <a href ="/abs/cs/0003022" title="Abstract" id="cs/0003022"> arXiv:cs/0003022 </a> [<a href="/pdf/cs/0003022" title="Download PDF" id="pdf-cs/0003022" aria-labelledby="pdf-cs/0003022">pdf</a>, <a href="/format/cs/0003022" title="Other formats" id="oth-cs/0003022" aria-labelledby="oth-cs/0003022">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Hypothetical revision and matter-of-fact supposition </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Arlo-Costa,+H">Horacio Arlo-Costa</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages. Presented at the Special Session on Belief change: theory and practice of the 8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Computation and Language (cs.CL) </div> </div> </dd> <dt> <a name='item23'>[23]</a> <a href ="/abs/cs/0003023" title="Abstract" id="cs/0003023"> arXiv:cs/0003023 </a> [<a href="/pdf/cs/0003023" title="Download PDF" id="pdf-cs/0003023" aria-labelledby="pdf-cs/0003023">pdf</a>, <a href="/format/cs/0003023" title="Other formats" id="oth-cs/0003023" aria-labelledby="oth-cs/0003023">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Probabilistic Default Reasoning with Conditional Constraints </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Lukasiewicz,+T">Thomas Lukasiewicz</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 8 pages; to appear in Proceedings of the Eighth International Workshop on Nonmonotonic Reasoning, Special Session on Uncertainty Frameworks in Nonmonotonic Reasoning, Breckenridge, Colorado, USA, 9-11 April 2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item24'>[24]</a> <a href ="/abs/cs/0003024" title="Abstract" id="cs/0003024"> arXiv:cs/0003024 </a> [<a href="/pdf/cs/0003024" title="Download PDF" id="pdf-cs/0003024" aria-labelledby="pdf-cs/0003024">pdf</a>, <a href="/format/cs/0003024" title="Other formats" id="oth-cs/0003024" aria-labelledby="oth-cs/0003024">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Compiler for Ordered Logic Programs </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Delgrande,+J+P">James P. Delgrande</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schaub,+T">Torsten Schaub</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tompits,+H">Hans Tompits</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item25'>[25]</a> <a href ="/abs/cs/0003025" title="Abstract" id="cs/0003025"> arXiv:cs/0003025 </a> [<a href="/pdf/cs/0003025" title="Download PDF" id="pdf-cs/0003025" aria-labelledby="pdf-cs/0003025">pdf</a>, <a href="/format/cs/0003025" title="Other formats" id="oth-cs/0003025" aria-labelledby="oth-cs/0003025">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Logic Programming for Describing and Solving Planning Problems </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bruynooghe,+M">Maurice Bruynooghe</a> (Katholieke Universiteit Leuven)</div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 8 pages, no figures, Eighth International Workshop on Nonmonotonic Reasoning, special track on Representing Actions and Planning </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item26'>[26]</a> <a href ="/abs/cs/0003026" title="Abstract" id="cs/0003026"> arXiv:cs/0003026 </a> [<a href="/pdf/cs/0003026" title="Download PDF" id="pdf-cs/0003026" aria-labelledby="pdf-cs/0003026">pdf</a>, <a href="/format/cs/0003026" title="Other formats" id="oth-cs/0003026" aria-labelledby="oth-cs/0003026">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Comparison of Logic Programming Approaches for Representation and Solving of Constraint Satisfaction Problems </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Pelov,+N">Nikolay Pelov</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=De+Mot,+E">Emmanuel De Mot</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Bruynooghe,+M">Maurice Bruynooghe</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages, 3 figures submitted to NMR 2000, April 9-11, Breckenridge, Colorado </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item27'>[27]</a> <a href ="/abs/cs/0003027" title="Abstract" id="cs/0003027"> arXiv:cs/0003027 </a> [<a href="/pdf/cs/0003027" title="Download PDF" id="pdf-cs/0003027" aria-labelledby="pdf-cs/0003027">pdf</a>, <a href="/format/cs/0003027" title="Other formats" id="oth-cs/0003027" aria-labelledby="oth-cs/0003027">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> SLDNFA-system </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Van+Nuffelen,+B">Bert Van Nuffelen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 6 pages conference:NMR2000, special track on System descriptions and demonstration </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item28'>[28]</a> <a href ="/abs/cs/0003028" title="Abstract" id="cs/0003028"> arXiv:cs/0003028 </a> [<a href="/pdf/cs/0003028" title="Download PDF" id="pdf-cs/0003028" aria-labelledby="pdf-cs/0003028">pdf</a>, <a href="/format/cs/0003028" title="Other formats" id="oth-cs/0003028" aria-labelledby="oth-cs/0003028">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Logic Programs with Compiled Preferences </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Delgrande,+J+P">James P. Delgrande</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Schaub,+T">Torsten Schaub</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tompits,+H">Hans Tompits</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item29'>[29]</a> <a href ="/abs/cs/0003029" title="Abstract" id="cs/0003029"> arXiv:cs/0003029 </a> [<a href="/pdf/cs/0003029" title="Download PDF" id="pdf-cs/0003029" aria-labelledby="pdf-cs/0003029">pdf</a>, <a href="/format/cs/0003029" title="Other formats" id="oth-cs/0003029" aria-labelledby="oth-cs/0003029">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Fuzzy Approaches to Abductive Inference </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Mellouli,+N">Nedra Mellouli</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Bouchon-Meunier,+B">Bernadette Bouchon-Meunier</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages and 8 files </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item30'>[30]</a> <a href ="/abs/cs/0003030" title="Abstract" id="cs/0003030"> arXiv:cs/0003030 </a> [<a href="/pdf/cs/0003030" title="Download PDF" id="pdf-cs/0003030" aria-labelledby="pdf-cs/0003030">pdf</a>, <a href="/format/cs/0003030" title="Other formats" id="oth-cs/0003030" aria-labelledby="oth-cs/0003030">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Problem solving in ID-logic with aggregates: some experiments </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Van+Nuffelen,+B">Bert Van Nuffelen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Denecker,+M">Marc Denecker</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages conference: NMR2000, special track on abductive reasoning </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item31'>[31]</a> <a href ="/abs/cs/0003031" title="Abstract" id="cs/0003031"> arXiv:cs/0003031 </a> [<a href="/pdf/cs/0003031" title="Download PDF" id="pdf-cs/0003031" aria-labelledby="pdf-cs/0003031">pdf</a>, <a href="/format/cs/0003031" title="Other formats" id="oth-cs/0003031" aria-labelledby="oth-cs/0003031">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Optimal Belief Revision </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Vodislav,+C">Carmen Vodislav</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Mercer,+R+E">Robert E. Mercer</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> NMR'2000 Workshop 6 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item32'>[32]</a> <a href ="/abs/cs/0003032" title="Abstract" id="cs/0003032"> arXiv:cs/0003032 </a> [<a href="/pdf/cs/0003032" title="Download PDF" id="pdf-cs/0003032" aria-labelledby="pdf-cs/0003032">pdf</a>, <a href="/format/cs/0003032" title="Other formats" id="oth-cs/0003032" aria-labelledby="oth-cs/0003032">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> cc-Golog: Towards More Realistic Logic-Based Robot Controllers </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Grosskreutz,+H">Henrik Grosskreutz</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lakemeyer,+G">Gerhard Lakemeyer</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item33'>[33]</a> <a href ="/abs/cs/0003033" title="Abstract" id="cs/0003033"> arXiv:cs/0003033 </a> [<a href="/pdf/cs/0003033" title="Download PDF" id="pdf-cs/0003033" aria-labelledby="pdf-cs/0003033">pdf</a>, <a href="/format/cs/0003033" title="Other formats" id="oth-cs/0003033" aria-labelledby="oth-cs/0003033">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Smodels: A System for Answer Set Programming </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Niemela,+I">Ilkka Niemela</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Simons,+P">Patrik Simons</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Syrjanen,+T">Tommi Syrjanen</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado 4 pages, uses <a href="http://aaai.sty" rel="external noopener nofollow" class="link-external link-http">this http URL</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item34'>[34]</a> <a href ="/abs/cs/0003034" title="Abstract" id="cs/0003034"> arXiv:cs/0003034 </a> [<a href="/pdf/cs/0003034" title="Download PDF" id="pdf-cs/0003034" aria-labelledby="pdf-cs/0003034">pdf</a>, <a href="/format/cs/0003034" title="Other formats" id="oth-cs/0003034" aria-labelledby="oth-cs/0003034">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> E-RES: A System for Reasoning about Actions, Events and Observations </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kakas,+A">Antonis Kakas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Miller,+R">Rob Miller</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Toni,+F">Francesca Toni</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado. 6 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item35'>[35]</a> <a href ="/abs/cs/0003035" title="Abstract" id="cs/0003035"> arXiv:cs/0003035 </a> [<a href="/pdf/cs/0003035" title="Download PDF" id="pdf-cs/0003035" aria-labelledby="pdf-cs/0003035">pdf</a>, <a href="/format/cs/0003035" title="Other formats" id="oth-cs/0003035" aria-labelledby="oth-cs/0003035">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Declarative Representation of Revision Strategies </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Brewka,+G">Gerhard Brewka</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item36'>[36]</a> <a href ="/abs/cs/0003036" title="Abstract" id="cs/0003036"> arXiv:cs/0003036 </a> [<a href="/pdf/cs/0003036" title="Download PDF" id="pdf-cs/0003036" aria-labelledby="pdf-cs/0003036">pdf</a>, <a href="/format/cs/0003036" title="Other formats" id="oth-cs/0003036" aria-labelledby="oth-cs/0003036">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> DLV - A System for Declarative Problem Solving </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Eiter,+T">Thomas Eiter</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Faber,+W">Wolfgang Faber</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Koch,+C">Christoph Koch</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Leone,+N">Nicola Leone</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Pfeifer,+G">Gerald Pfeifer</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 6 pages, 1 figure, 1 table </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item37'>[37]</a> <a href ="/abs/cs/0003037" title="Abstract" id="cs/0003037"> arXiv:cs/0003037 </a> [<a href="/pdf/cs/0003037" title="Download PDF" id="pdf-cs/0003037" aria-labelledby="pdf-cs/0003037">pdf</a>, <a href="/format/cs/0003037" title="Other formats" id="oth-cs/0003037" aria-labelledby="oth-cs/0003037">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Egly,+U">Uwe Egly</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Eiter,+T">Thomas Eiter</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Tompits,+H">Hans Tompits</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Woltran,+S">Stefan Woltran</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item38'>[38]</a> <a href ="/abs/cs/0003038" title="Abstract" id="cs/0003038"> arXiv:cs/0003038 </a> [<a href="/pdf/cs/0003038" title="Download PDF" id="pdf-cs/0003038" aria-labelledby="pdf-cs/0003038">pdf</a>, <a href="/format/cs/0003038" title="Other formats" id="oth-cs/0003038" aria-labelledby="oth-cs/0003038">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A Splitting Set Theorem for Epistemic Specifications </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Watson,+R">Richard Watson</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> To be published in Proceedings of NMR 2000 Workshop. 6 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item39'>[39]</a> <a href ="/abs/cs/0003039" title="Abstract" id="cs/0003039"> arXiv:cs/0003039 </a> [<a href="/pdf/cs/0003039" title="Download PDF" id="pdf-cs/0003039" aria-labelledby="pdf-cs/0003039">pdf</a>, <a href="/format/cs/0003039" title="Other formats" id="oth-cs/0003039" aria-labelledby="oth-cs/0003039">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> DES: a Challenge Problem for Nonmonotonic Reasoning Systems </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hietalahti,+M">Maarit Hietalahti</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Massacci,+F">Fabio Massacci</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Niemela,+I">Ilkka Niemela</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 10 pages, 1 Postscript figure, uses <a href="http://aaai.sty" rel="external noopener nofollow" class="link-external link-http">this http URL</a> and <a href="http://graphicx.sty" rel="external noopener nofollow" class="link-external link-http">this http URL</a> </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item40'>[40]</a> <a href ="/abs/cs/0003040" title="Abstract" id="cs/0003040"> arXiv:cs/0003040 </a> [<a href="/pdf/cs/0003040" title="Download PDF" id="pdf-cs/0003040" aria-labelledby="pdf-cs/0003040">pdf</a>, <a href="/format/cs/0003040" title="Other formats" id="oth-cs/0003040" aria-labelledby="oth-cs/0003040">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Implementing Integrity Constraints in an Existing Belief Revision System </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Johnson,+F+L">Frances L. Johnson</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Shapiro,+S+C">Stuart C. Shapiro</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 8 pages, for the Belief Change Workshop at NMR2000 colocated with KR2000 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item41'>[41]</a> <a href ="/abs/cs/0003041" title="Abstract" id="cs/0003041"> arXiv:cs/0003041 </a> [<a href="/pdf/cs/0003041" title="Download PDF" id="pdf-cs/0003041" aria-labelledby="pdf-cs/0003041">pdf</a>, <a href="/format/cs/0003041" title="Other formats" id="oth-cs/0003041" aria-labelledby="oth-cs/0003041">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Coherence, Belief Expansion and Bayesian Networks </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Bovens,+L">Luc Bovens</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Hartmann,+S">Stephan Hartmann</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 6 pages, 2 figures, paper presented at the 8th Intl. Workshop on Non-Monotonic Reasoning NMR'2000 (April 9-11), Breckenridge, Colorado </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item42'>[42]</a> <a href ="/abs/cs/0003042" title="Abstract" id="cs/0003042"> arXiv:cs/0003042 </a> [<a href="/pdf/cs/0003042" title="Download PDF" id="pdf-cs/0003042" aria-labelledby="pdf-cs/0003042">pdf</a>, <a href="/format/cs/0003042" title="Other formats" id="oth-cs/0003042" aria-labelledby="oth-cs/0003042">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Fages' Theorem and Answer Set Programming </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Babovich,+Y">Yuliya Babovich</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Erdem,+E">Esra Erdem</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Lifschitz,+V">Vladimir Lifschitz</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item43'>[43]</a> <a href ="/abs/cs/0003043" title="Abstract" id="cs/0003043"> arXiv:cs/0003043 </a> [<a href="/pdf/cs/0003043" title="Download PDF" id="pdf-cs/0003043" aria-labelledby="pdf-cs/0003043">pdf</a>, <a href="/format/cs/0003043" title="Other formats" id="oth-cs/0003043" aria-labelledby="oth-cs/0003043">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Automatic Classification of Text Databases through Query Probing </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Ipeirotis,+P">Panagiotis Ipeirotis</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Gravano,+L">Luis Gravano</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sahami,+M">Mehran Sahami</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 7 pages, 1 figure </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Databases (cs.DB)</span>; Information Retrieval (cs.IR) </div> </div> </dd> <dt> <a name='item44'>[44]</a> <a href ="/abs/cs/0003044" title="Abstract" id="cs/0003044"> arXiv:cs/0003044 </a> [<a href="/pdf/cs/0003044" title="Download PDF" id="pdf-cs/0003044" aria-labelledby="pdf-cs/0003044">pdf</a>, <a href="/format/cs/0003044" title="Other formats" id="oth-cs/0003044" aria-labelledby="oth-cs/0003044">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> On the tractable counting of theory models and its application to belief revision and truth maintenance </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Darwiche,+A">Adnan Darwiche</a></div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item45'>[45]</a> <a href ="/abs/cs/0003045" title="Abstract" id="cs/0003045"> arXiv:cs/0003045 </a> [<a href="/pdf/cs/0003045" title="Download PDF" id="pdf-cs/0003045" aria-labelledby="pdf-cs/0003045">pdf</a>, <a href="/format/cs/0003045" title="Other formats" id="oth-cs/0003045" aria-labelledby="oth-cs/0003045">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Termination Proofs for Logic Programs with Tabling </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Verbaeten,+S">Sofie Verbaeten</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=De+Schreye,+D">Danny De Schreye</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Sagonas,+K">Konstantinos Sagonas</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 48 pages, 6 figures, submitted to ACM Transactions on Computational Logic (TOCL) </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span> </div> </div> </dd> <dt> <a name='item46'>[46]</a> <a href ="/abs/cs/0003046" title="Abstract" id="cs/0003046"> arXiv:cs/0003046 </a> [<a href="/pdf/cs/0003046" title="Download PDF" id="pdf-cs/0003046" aria-labelledby="pdf-cs/0003046">pdf</a>, <a href="/format/cs/0003046" title="Other formats" id="oth-cs/0003046" aria-labelledby="oth-cs/0003046">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Linear Tabulated Resolution Based on Prolog Control Strategy </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Shen,+Y">Yi-Dong Shen</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Yuan,+L">Li-Yan Yuan</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=You,+J">Jia-Huai You</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Zhou,+N">Neng-Fa Zhou</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> To appear as the first accepted paper in Theory and Practice of Logic Programming (<a href="http://www.cwi.nl/projects/alp/TPLP" rel="external noopener nofollow" class="link-external link-http">this http URL</a>) </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Theory and Practice of Logic Programming 1(1):71-103, 2001 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item47'>[47]</a> <a href ="/abs/cs/0003047" title="Abstract" id="cs/0003047"> arXiv:cs/0003047 </a> [<a href="/pdf/cs/0003047" title="Download PDF" id="pdf-cs/0003047" aria-labelledby="pdf-cs/0003047">pdf</a>, <a href="/format/cs/0003047" title="Other formats" id="oth-cs/0003047" aria-labelledby="oth-cs/0003047">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> BDD-based reasoning in the fluent calculus - first results </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Hoelldobler,+S">Steffen Hoelldobler</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Stoerr,+H">Hans-Peter Stoerr</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 9 pages; Workshop on Nonmonotonic Reasoning 2000 (NMR 2000) </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item48'>[48]</a> <a href ="/abs/cs/0003048" title="Abstract" id="cs/0003048"> arXiv:cs/0003048 </a> [<a href="/pdf/cs/0003048" title="Download PDF" id="pdf-cs/0003048" aria-labelledby="pdf-cs/0003048">pdf</a>, <a href="/format/cs/0003048" title="Other formats" id="oth-cs/0003048" aria-labelledby="oth-cs/0003048">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> PAL: Pertinence Action Language </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Cabalar,+P">Pedro Cabalar</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Cabarcos,+M">Manuel Cabarcos</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Otero,+R+P">Ramon P. Otero</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 5 pages </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span>; Logic in Computer Science (cs.LO) </div> </div> </dd> <dt> <a name='item49'>[49]</a> <a href ="/abs/cs/0003049" title="Abstract" id="cs/0003049"> arXiv:cs/0003049 </a> [<a href="/pdf/cs/0003049" title="Download PDF" id="pdf-cs/0003049" aria-labelledby="pdf-cs/0003049">pdf</a>, <a href="/format/cs/0003049" title="Other formats" id="oth-cs/0003049" aria-labelledby="oth-cs/0003049">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> Planning with Incomplete Information </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Kakas,+A">Antonis Kakas</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Miller,+R">Rob Miller</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Toni,+F">Francesca Toni</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> Proceedings of the 8th International Workshop on Non-Monotonic Reasoning, April 9-11, 2000, Breckenridge, Colorado </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Artificial Intelligence (cs.AI)</span> </div> </div> </dd> <dt> <a name='item50'>[50]</a> <a href ="/abs/cs/0003050" title="Abstract" id="cs/0003050"> arXiv:cs/0003050 </a> [<a href="/pdf/cs/0003050" title="Download PDF" id="pdf-cs/0003050" aria-labelledby="pdf-cs/0003050">pdf</a>, <a href="/format/cs/0003050" title="Other formats" id="oth-cs/0003050" aria-labelledby="oth-cs/0003050">other</a>] </dt> <dd> <div class='meta'> <div class='list-title mathjax'><span class='descriptor'>Title:</span> A tableau methodology for deontic conditional logics </div> <div class='list-authors'><a href="https://arxiv.org/search/cs?searchtype=author&query=Artosi,+A">Alberto Artosi</a>, <a href="https://arxiv.org/search/cs?searchtype=author&query=Governatori,+G">Guido Governatori</a></div> <div class='list-comments mathjax'><span class='descriptor'>Comments:</span> 17 pages </div> <div class='list-journal-ref'><span class='descriptor'>Journal-ref:</span> Deon'98. 4th International Workshop on Deontic Logic in Computer Science. CIRFID, Bologna, 1998, 75-91 </div> <div class='list-subjects'><span class='descriptor'>Subjects:</span> <span class="primary-subject">Logic in Computer Science (cs.LO)</span>; Artificial Intelligence (cs.AI) </div> </div> </dd> </dl> <div class='paging'>Total of 91 entries : <span>1-50</span> <a href=/list/cs/2000-03?skip=50&show=50>51-91</a> </div> <div class='morefewer'>Showing up to 50 entries per page: <a href=/list/cs/2000-03?skip=0&show=25 rel="nofollow"> fewer</a> | <span style="color: #454545">more</span> | <a href=/list/cs/2000-03?skip=0&show=2000 rel="nofollow"> all</a> </div> </div> </div> </div> </main> <footer style="clear: both;"> <div class="columns is-desktop" role="navigation" aria-label="Secondary" style="margin: -0.75em -0.75em 0.75em -0.75em">  <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/about">About</a></li> <li><a href="https://info.arxiv.org/help">Help</a></li> </ul> </div> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>contact arXiv</title><desc>Click here to contact arXiv</desc><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg> <a href="https://info.arxiv.org/help/contact.html"> Contact</a> </li> <li> <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><title>subscribe to arXiv mailings</title><desc>Click here to subscribe</desc><path d="M476 3.2L12.5 270.6c-18.1 10.4-15.8 35.6 2.2 43.2L121 358.4l287.3-253.2c5.5-4.9 13.3 2.6 8.6 8.3L176 407v80.5c0 23.6 28.5 32.9 42.5 15.8L282 426l124.6 52.2c14.2 6 30.4-2.9 33-18.2l72-432C515 7.8 493.3-6.8 476 3.2z"/></svg> <a href="https://info.arxiv.org/help/subscribe"> Subscribe</a> </li> </ul> </div> </div> </div>   <div class="column" style="padding: 0;"> <div class="columns"> <div class="column"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/license/index.html">Copyright</a></li> <li><a href="https://info.arxiv.org/help/policies/privacy_policy.html">Privacy Policy</a></li> </ul> </div> <div class="column sorry-app-links"> <ul style="list-style: none; line-height: 2;"> <li><a href="https://info.arxiv.org/help/web_accessibility.html">Web Accessibility Assistance</a></li> <li> <p class="help"> <a class="a11y-main-link" href="https://status.arxiv.org" target="_blank">arXiv Operational Status <svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 256 512" class="icon filter-dark_grey" role="presentation"><path d="M224.3 273l-136 136c-9.4 9.4-24.6 9.4-33.9 0l-22.6-22.6c-9.4-9.4-9.4-24.6 0-33.9l96.4-96.4-96.4-96.4c-9.4-9.4-9.4-24.6 0-33.9L54.3 103c9.4-9.4 24.6-9.4 33.9 0l136 136c9.5 9.4 9.5 24.6.1 34z"/></svg></a><br> Get status notifications via <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/email/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 512 512" class="icon filter-black" role="presentation"><path d="M502.3 190.8c3.9-3.1 9.7-.2 9.7 4.7V400c0 26.5-21.5 48-48 48H48c-26.5 0-48-21.5-48-48V195.6c0-5 5.7-7.8 9.7-4.7 22.4 17.4 52.1 39.5 154.1 113.6 21.1 15.4 56.7 47.8 92.2 47.6 35.7.3 72-32.8 92.3-47.6 102-74.1 131.6-96.3 154-113.7zM256 320c23.2.4 56.6-29.2 73.4-41.4 132.7-96.3 142.8-104.7 173.4-128.7 5.8-4.5 9.2-11.5 9.2-18.9v-19c0-26.5-21.5-48-48-48H48C21.5 64 0 85.5 0 112v19c0 7.4 3.4 14.3 9.2 18.9 30.6 23.9 40.7 32.4 173.4 128.7 16.8 12.2 50.2 41.8 73.4 41.4z"/></svg>email</a> or <a class="is-link" href="https://subscribe.sorryapp.com/24846f03/slack/new" target="_blank"><svg xmlns="http://www.w3.org/2000/svg" viewBox="0 0 448 512" class="icon filter-black" role="presentation"><path d="M94.12 315.1c0 25.9-21.16 47.06-47.06 47.06S0 341 0 315.1c0-25.9 21.16-47.06 47.06-47.06h47.06v47.06zm23.72 0c0-25.9 21.16-47.06 47.06-47.06s47.06 21.16 47.06 47.06v117.84c0 25.9-21.16 47.06-47.06 47.06s-47.06-21.16-47.06-47.06V315.1zm47.06-188.98c-25.9 0-47.06-21.16-47.06-47.06S139 32 164.9 32s47.06 21.16 47.06 47.06v47.06H164.9zm0 23.72c25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06H47.06C21.16 243.96 0 222.8 0 196.9s21.16-47.06 47.06-47.06H164.9zm188.98 47.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06s-21.16 47.06-47.06 47.06h-47.06V196.9zm-23.72 0c0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06V79.06c0-25.9 21.16-47.06 47.06-47.06 25.9 0 47.06 21.16 47.06 47.06V196.9zM283.1 385.88c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06-25.9 0-47.06-21.16-47.06-47.06v-47.06h47.06zm0-23.72c-25.9 0-47.06-21.16-47.06-47.06 0-25.9 21.16-47.06 47.06-47.06h117.84c25.9 0 47.06 21.16 47.06 47.06 0 25.9-21.16 47.06-47.06 47.06H283.1z"/></svg>slack</a> </p> </li> </ul> </div> </div> </div>   </div> </footer> </div> <script src="/static/base/1.0.1/js/member_acknowledgement.js"></script> </body> </html>

CINXE.COM

Computer Science Mar 2000