Abstract is missing.
- A Computational Account for a Description Logic of Time and ActionAlessandro Artale, Enrico Franconi. 3-14
- Proofs in ContextGiuseppe Attardi, Maria Simi. 15-26
- An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental StatesJohn A. Barnden, Stephen Helmreich, Eric Iverson, Gees C. Stein. 27-38
- Reasoning with Minimal Models: Efficient Algorithms and ApplicationsRachel Ben-Eliyahu, Luigi Palopoli. 39-50
- On the Relation Between Default and Modal Consequence RelationsAlexander Bochman. 63-74
- Toward a Logic for Qualitative Decision TheoryCraig Boutilier. 75-86
- Belief Ascription and Mental-Level ModellingRonen I. Brafman, Moshe Tennenholtz. 87-98
- Default Logic as a Query LanguageMarco Cadoli, Thomas Eiter, Georg Gottlob. 99-108
- Learning the Classic Description Logic: Theoretical and Experimental ResultsWilliam W. Cohen, Haym Hirsh. 121-133
- Directional Resolution: The Davis-Putnam Procedure, RevisitedRina Dechter, Irina Rish. 134-145
- Action Representation for Interpreting Purpose Clauses in Natural Language InstructionsBarbara Di Eugenio. 158-169
- Conditional Objects as Nonmonotonic Consequence Relations: Main ResultsDidier Dubois, Henri Prade. 170-177
- Tractable Closed World Reasoning with UpdatesOren Etzioni, Keith Golden, Daniel S. Weld. 178-189
- A Knowledge-Based Framework for Belief Change, Part II: Revision and UpdateNir Friedman, Joseph Y. Halpern. 190-201
- On the Complexity of Conditional LogicsNir Friedman, Joseph Y. Halpern. 202-213
- GSAT and Dynamic BacktrackingMatthew L. Ginsberg, David A. McAllester. 226-237
- Representing Uncertainty in Simple PlannersRobert P. Goldman, Mark S. Boddy. 238-245
- How Far Can We C ? Defining a Doughnut Using Connection AloneNicholas Mark Gotts. 246-257
- An Ontology for Engineering MathematicsThomas R. Gruber, Gregory R. Olsen. 258-269
- An Ontology of Meta-Level CategoriesNicola Guarino, Massimiliano Carrara, Pierdaniele Giaretta. 270-280
- Defeasible Reasoning with Structured InformationAnthony Hunter. 281-292
- On Positive Occurrences of Negation as FailureKatsumi Inoue, Chiaki Sakama. 293-304
- Probabilistic Reasoning in Terminological LogicsManfred Jaeger. 305-316
- On Multiagent Autoepistemic Logic : An Extrospective ViewYuejun Jiang. 317-328
- Refinement Search as a Unifying Framework for Analyzing Planning AlgorithmsSubbarao Kambhampati. 329-340
- Actions with Indirect Effects (Preliminary Report)G. Neelakantan Kartha, Vladimir Lifschitz. 341-350
- An Application of Terminological Logics to Case-based ReasoningJana Koehler. 351-362
- Risk-Sensitive Planning with Probabilistic Decision GraphsSven Koenig, Reid G. Simmons. 363-373
- Easy to be Hard: Difficult Problems for Greedy AlgorithmsKurt Konolige. 374-378
- Complexity Results for First-Order Theories of Temporal ConstraintsManolis Koubarakis. 379-390
- Reasoning in Logic about Continuous SystemsBenjamin Kuipers, Benjamin Shults. 391-402
- Enhancing the Power of a Decidable First-Order ReasonerGerhard Lakemeyer, Susanne Meyer. 403-414
- Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version)Philippe Lamarre, Yoav Shoham. 415-424
- How to Progress a Database (and Why) I. Logical FoundationsFangzhen Lin, Raymond Reiter. 425-436
- Modalities Over Actions, I. Model TheoryL. Thorne McCarty. 437-448
- Generating Tests Using AbductionSheila A. McIlraith. 449-460
- Preferential Entailments for CircumscriptionsYves Moinard, Raymond Rolland. 461-472
- A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic ReasoningIlkka Niemelä. 473-484
- A Framework for Part-of Hierarchies in Terminological LogicsLin Padgham, Patrick Lambrix. 485-496
- Means-End Plan Recognition - Towards a Theory of Reactive RecognitionAnand S. Rao. 497-508
- Near-Optimal Plans, Tractability, and ReactivityBart Selman. 521-529
- Specification and Evaluation of Preferences Under UncertaintySek-Wah Tan, Judea Pearl. 530-539
- Making the Difference: A Subtraction Operation for Description LogicsGunnar Teege. 540-550
- Tractable Databases: How to Make Propositional Unit Resolution Complete Through CompilationAlvaro del Val. 551-561
- The Role of Reversible Grammars in Translating Between Representation LanguagesJeffrey Van Baalen, Richard Fikes. 562-571
- Constraint Tightness versus Global ConsistencyPeter van Beek, Rina Dechter. 572-582
- Honesty in Partial LogicWiebe van der Hoek, Jan Jaspars, Elias Thijsse. 583-594
- REVISE: An Extended Logic Programming System for Revising Knowledge BasesCarlos Viegas Damásio, Wolfgang Nejdl, Luís Moniz Pereira. 607-618
- Transmutations of Knowledge SystemsMary-Anne Williams. 619-629
- Knowledge Representation Issues in Integrated Planning and Learning Systems (Abstract)Jaime G. Carbonell. 633
- Non-Standard Theories of Uncertainty in Knowledge Representation and ReasoningDidier Dubois, Henri Prade. 634-645
- Systems vs. Theory vs. ... : KR&R Research Methodologies (Abstract)Lin Padgham. 649