Abstract is missing.
- Natural Actions, Concurrency and Continuous Time in the Situation CalculusRaymond Reiter. 2-13
- Only Knowing in the Situation CalculusGerhard Lakemeyer. 14-25
- Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler ProblemTodd G. Kelley. 26-37
- The PMA RevisitedAndreas Herzig. 40-50
- Causality and the Qualification ProblemMichael Thielscher. 51-62
- Reasoning about Discontinuities in the Event CalculusRob Miller 0002, Murray Shanahan. 63-74
- Determining Ramifications in the Situation CalculusEnrico Giunchiglia. 76-86
- Embracing Occlusion in Specifying the Indirect Effects of ActionsJoakim Gustafsson, Patrick Doherty. 87-98
- Assessments of Ramification Methods that Use Static Domain ConstraintsErik Sandewall. 99-110
- Strategic Advice for Hierarchical PlannersKaren L. Myers. 112-123
- Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming MethodsYury V. Smirnov, Manuela M. Veloso. 124-134
- On the Role of Disjunctive Representations and Constraint Propagation in Refinement PlanningSubbarao Kambhampati, Xiuping Yang. 135-146
- Symmetry-Breaking Predicates for Search ProblemsJames M. Crawford, Matthew L. Ginsberg, Eugene M. Luks, Amitabha Roy. 148-159
- Procedural Reasoning in Constraint SatisfactionAri K. Jónsson, Matthew L. Ginsberg. 160-171
- Representing Sensing Actions: The Middle Ground RevisitedKeith Golden, Daniel S. Weld. 174-185
- A New Algorithm for Generative PlanningMatthew L. Ginsberg. 186-197
- Moving a Robot: The KR&R Approach at WorkGiuseppe De Giacomo, Luca Iocchi, Daniele Nardi, Riccardo Rosati. 198-209
- Semantical Foundations of Spatial LogicsOliver Lemon. 212-219
- A Pointless Theory of Space Based on Strong Connection and CongruenceStefano Borgo, Nicola Guarino, Claudio Masolo. 220-229
- Representing Spatial Vagueness: A Mereological ApproachAnthony G. Cohn, Nicholas Mark Gotts. 230-241
- Scaling Up Goal RecognitionNeal Lesh, Oren Etzioni. 244-255
- Computing Approximate Diagnoses By Using Approximate EntailmentAnnette ten Teije, Frank van Harmelen. 256-265
- Inheriting Well-formed Formulae in a Formula-Agumented Semantic NetworkLeora Morgenstern. 268-279
- Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context)Nirad Sharma. 280-290
- Finite Model Reasoning in Description LogicsDiego Calvanese. 292-303
- A SAT-based Decision Procedure for ALCFausto Giunchiglia, Roberto Sebastiani. 304-314
- Number Restrictions on Complex Roles in Description Logics: A Preliminary ReportFranz Baader, Ulrike Sattler. 328-339
- Asking Queries about FramesAlexander Borgida, Deborah L. McGuinness. 340-349
- Tractable Subclasses of the Point-Interval Algebra: A Complete ClassificationPeter Jonsson, Thomas Drakengren, Christer Bäckström. 352-363
- Comparing Space Efficiency of Propositional Knowledge Representation FormalismsMarco Cadoli, Francesco M. Donini, Paolo Liberatore, Marco Schaerf. 364-373
- Encoding Plans in Propositional LogicHenry A. Kautz, David A. McAllester, Bart Selman. 374-384
- Implementing Modal and Relevance Logics in a Logical FrameworkDavid A. Basin, Seán Matthews, Luca Viganò. 386-397
- Statistical First Order ConditionalsRonen I. Brafman. 398-409
- Towards a Practical Approach to Belief Revision: Reason-Based ChangeMary-Anne Williams. 412-420
- Belief Revision: A CritiqueNir Friedman, Joseph Y. Halpern. 421-431
- Modeling Belief Change using CounterfactualsTom Costello. 432-443
- Preferential Multi-Agent Nonmonotonic Logics: Preliminary ReportAna María Monteiro, Jacques Wainer. 446-452
- A Representation Theorem for Preferential LogicsPierre Siegel, Lionel Forget. 453-460
- Representation Independence of Nonmonotonic Inference RelationsManfred Jaeger. 461-472
- Value Minimization in CircumscriptionChitta Baral, Alfredo Gabaldon, Alessandro Provetti. 474-481
- Biconsequence Relations for Nonmonotonic ReasoningAlexander Bochman. 482-492
- Is There a Logic of Provability for Nonmonotonic Reasoning?Gianni Amati, Fiora Pirri. 493-503
- An Argumentation-theoretic Approach to Reasoning with SpecificityPhan Minh Dung, Tran Cao Son. 506-517
- Default Reasoning System DeReSPawel Cholewinski, V. Wiktor Marek, Miroslaw Truszczynski. 518-528
- Super Logic ProgramsStefan Brass, Jürgen Dix, Teodor C. Przymusinski. 529-540
- Utility Independence in a Qualitative Decision TheoryFahiem Bacchus, Adam J. Grove. 542-552
- On Stable Social Laws and Qualitative Equilibrium for Risk-Averse AgentsMoshe Tennenholtz. 553-561
- Multiple Perspective ReasoningTze-Yun Leong. 562-573
- Parallel Transitive Reasoning in Mixed Relational HierarchiesYugyung Lee, James Geller. 576-587
- On Chronicles: Representation, On-line Recognition and LearningMalik Ghallab. 597-606
- Psychological Constraints on Plausible Default Inheritance ReasoningCarl Vogel, Judith Tonhauser. 608-619
- Do Computers Need Common Sense?Matthew L. Ginsberg. 620-626
- Actual PossibilitiesAaron Sloman. 627-638
- From Here to Human-Level AIJohn McCarthy. 640-646
- Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract)Georg Gottlob. 647-649
- Ontologies: What Are They, and Where s The Research?Richard Fikes. 652-653
- Ontologies: What Are They, and Where s The Research?William S. Mark. 654-655
- Implementations and Research: Discussions at the BoundaryRobert M. MacGregor. 657-658
- Implementations and Research: Discussions at the BoundaryJames A. Hendler. 659-660
- Implementations and Research: Discussions at the BoundaryLenhart K. Schubert. 661-662
- Implementations and Research: Discussions at the BoundaryStuart C. Shapiro. 663-664