Abstract is missing.
- Planning as Temporal ReasoningJames F. Allen. 3-14
- Reflections about ReflectionGiuseppe Attardi, Maria Simi. 22-31
- Nonmonotonic Inferences in Neural NetworksChristian Balkenius, Peter Gärdenfors. 32-39
- Meta-Reasoning in Executable Temporal LogicHoward Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter. 40-49
- Pragmatic LogicsJohn Bell. 50-60
- Metalogic for Knowledge RepresentationAntonio Brogi, Franco Turini. 61-69
- The Monotonic Abduction Problem: A Functional Characterization on the Edge of TractabilityTom Bylander. 70-77
- A New Formalisation of Subsumption in Frame-Based Representation SystemsJacqueline Castaing. 78-88
- Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation EnvironmentsPrasad Chalasani, Oren Etzioni, John Mount. 89-98
- Immortal: A Model-Based Belief Revision SystemSeng-cho Timothy Chou, Marianne Winslett. 99-110
- Clustering Temporal Intervals To Generate Reference HierarchiesWilliam S. Davis, James R. Carnes. 111-117
- Default Logic RevisitedJames P. Delgrande, W. Ken Jackson. 118-127
- Plan-Based Terminological ReasoningPremkumar T. Devanbu, Diane J. Litman. 128-138
- A Formal Basis for Analogical ReasoningCharles Dierbach, Daniel L. Chester. 139-150
- The Complexity of Concept LanguagesFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt. 151-162
- Rational Belief RevisionJon Doyle. 163-174
- Conditional Objects and Non-Monontonic ReasoningDidier Dubois, Henri Prade. 175-185
- Completable Representations of Constraint Satisfaction ProblemsEugene C. Freuder. 186-195
- A General Framework for Modal DeductionAlan M. Frisch, Richard B. Scherl. 196-207
- Credulous vs. Sceptical Semantics for Ordered Logic ProgramsDov M. Gabbay, Els Laenens, Dirk Vermeir. 208-217
- Beyond Negation as FailureHector Geffner. 218-229
- Disjective DefaultsMichael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski. 230-237
- Partial ProgramsMichael R. Genesereth, Jane Yung-jen Hsu. 238-249
- Computational Considerations in Reasoning about ActionMatthew L. Ginsberg. 250-261
- Updates and CounterfactualsGösta Grahne. 269-276
- Probably Approximately Optimal Derivation StrategiesRussell Greiner, Pekka Orponen. 277-288
- Generalizing PrioritizationBenjamin N. Grosof. 289-300
- Naming and Identity in a Multi-Agent Epistemic LogicAdam J. Grove, Joseph Y. Halpern. 301-312
- Model Checking vs. Theorem Proving: A ManifestoJoseph Y. Halpern, Moshe Y. Vardi. 325-334
- Qualifying Number Restrictions in Concept LanguagesBernhard Hollunder, Franz Baader. 335-346
- A Formal Theory of Spatial ReasoningStephen G. Kaufman. 347-356
- S4 as the Conditional Logic of NonmonotonicityPhilippe Lamarre. 357-367
- On the Relation between Explicit and Implicit BeliefGerhard Lakemeyer. 368-375
- Toward a Metatheory of ActionVladimir Lifschitz. 376-386
- On the Difference between Updating a Knowledge Base and Revising ItHirofumi Katsuno, Alberto O. Mendelzon. 387-394
- Modal Nonmonotonic Logics: Ranges, Characterization, ComputationV. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski. 395-404
- Universal Attachment: An Integration Method for Logic HybridsKaren L. Myers. 405-416
- Belief Revision and Default Reasoning: Syntax-Based ApproachesBernhard Nebel. 417-428
- Generalizing Atoms in Constraint LogicC. David Page Jr., Alan M. Frisch. 429-440
- A Theory of Inferred CausationJudea Pearl, Thomas Verma. 441-452
- The Logic of Epistemic InconsistencyTarcisio H. C. Pequeno, Arthur Buchsbaum. 453-460
- The Utility of Consistency-Based Diagnostic TechniquesGregory M. Provan, David Poole. 461-472
- Modeling Rational Agents within a BDI-ArchitectureAnand S. Rao, Michael P. Georgeff. 473-484
- A Nonmonotonic Assumption-Based TMS Using Stable BasesWilliam L. Rodi, Stephen G. Pimentel. 485-495
- Assertional Default Theories: A Semantical ViewTorsten Schaub. 496-506
- The Completeness of DRAT, A Technique for Automatic Design of Satisfiability ProceduresJeffrey Van Baalen. 514-525
- The Feasibility of Defeat in Defeasible ReasoningGerard Vreeswijk. 526-534
- Qualitative Intercausal Relations, or Explaining Explaining Away Michael P. Wellman, Max Henrion. 535-546
- Qualitative Simulation with Multivariate ConstraintsMichael P. Wellman. 547-557
- The Ontology and Representation of SituationsRobert Wilensky. 558-569
- Skeptical Reason Maintenance is TractableCees Witteveen. 570-581
- Nonmonotonic Inferences Based on Expectations: A Preliminary ReportPeter Gärdenfors. 585-590
- Implemented Knowledge Representation and Reasoning Systems: An Endangered Species?Charles Rich. 591-592
- Panel: Achieving Large Scale Knowledge SharingWilliam Mark. 595-596
- Knowledge Sharing: A Feasible DreamGiuseppe Attardi. 597-598
- Knowledge Interchange FormatMichael R. Genesereth. 599-600
- The Role of Common Ontology in Achieving Sharable, Reusable Knowledge BasesThomas R. Gruber. 601-602