- 2000
- Erik T. Mueller:
Prospects for in-depth story understanding by computer. CoRR cs.AI/0003003 (2000) - Erik T. Mueller:
A database and lexicon of scripts for ThoughtTreasure. CoRR cs.AI/0003004 (2000) - Ken Satoh, Hidenori Okamoto:
Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract). CoRR cs.AI/0003007 (2000) - Ken Satoh:
Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure. CoRR cs.AI/0003008 (2000) - Gabriele Kern-Isberner:
Conditional indifference and conditional preservation. CoRR cs.AI/0003009 (2000) - Stuart C. Shapiro, Frances L. Johnson:
Automatic Belief Revision in SNePS. CoRR cs.AI/0003011 (2000) - John L. Pollock:
Defeasible Reasoning in OSCAR. CoRR cs.AI/0003012 (2000) - Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher:
A flexible framework for defeasible logics. CoRR cs.AI/0003013 (2000) - Raymond Lau, Arthur H. M. ter Hofstede, Peter Bruza:
Applying Maxi-adjustment to Adaptive Information Filtering Agents. CoRR cs.AI/0003014 (2000) - Thomas Andreas Meyer:
On the semantics of merging. CoRR cs.AI/0003015 (2000) - Daniele Theseider Dupré:
Abductive and Consistency-Based Diagnosis Revisited: a Modeling Perspective. CoRR cs.AI/0003016 (2000) - Richard Booth:
The lexicographic closure as a revision process. CoRR cs.AI/0003017 (2000) - Igor Stéphan, Frédéric Saubion, Pascal Nicolas:
Description of GADEL. CoRR cs.AI/0003018 (2000) - Antonis C. Kakas:
ACLP: Integrating Abduction and Constraint Solving. CoRR cs.AI/0003020 (2000) - Samir Chopra, Konstantinos Georgatos, Rohit Parikh:
Relevance Sensitive Non-Monotonic Inference on Belief Sequences. CoRR cs.AI/0003021 (2000) - Horacio L. Arló-Costa:
Hypothetical revision and matter-of-fact supposition. CoRR cs.AI/0003022 (2000) - Thomas Lukasiewicz:
Probabilistic Default Reasoning with Conditional Constraints. CoRR cs.AI/0003023 (2000) - James P. Delgrande, Torsten Schaub, Hans Tompits:
A Compiler for Ordered Logic Programs. CoRR cs.AI/0003024 (2000) - Maurice Bruynooghe:
Logic Programming for Describing and Solving Planning Problems. CoRR cs.AI/0003025 (2000) - Bert Van Nuffelen:
SLDNFA-system. CoRR cs.AI/0003027 (2000) - James P. Delgrande, Torsten Schaub, Hans Tompits:
Logic Programs with Compiled Preferences. CoRR cs.AI/0003028 (2000) - Nedra Mellouli, Bernadette Bouchon-Meunier:
Fuzzy Approaches to Abductive Inference. CoRR cs.AI/0003029 (2000) - Bert Van Nuffelen, Marc Denecker:
Problem solving in ID-logic with aggregates: some experiments. CoRR cs.AI/0003030 (2000) - Carmen Vodislav, Robert E. Mercer:
Optimal Belief Revision. CoRR cs.AI/0003031 (2000) - Henrik Grosskreutz, Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers. CoRR cs.AI/0003032 (2000) - Ilkka Niemelä, Patrik Simons, Tommi Syrjänen:
Smodels: A System for Answer Set Programming. CoRR cs.AI/0003033 (2000) - Antonis C. Kakas, Rob Miller, Francesca Toni:
E-RES: A System for Reasoning about Actions, Events and Observations. CoRR cs.AI/0003034 (2000) - Gerhard Brewka:
Declarative Representation of Revision Strategies. CoRR cs.AI/0003035 (2000) - Thomas Eiter, Wolfgang Faber, Christoph Koch, Nicola Leone, Gerald Pfeifer:
DLV - A System for Declarative Problem Solving. CoRR cs.AI/0003036 (2000) - Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks. CoRR cs.AI/0003037 (2000)