Abstract is missing.
- Intelligent Backtracking Techniques for Job Shop SchedulingYalin Xiong, Norman M. Sadeh, Katia P. Sycara. 14-23
- Dense Time and Temporal Constraints with !=Manolis Koubarakis. 24-35
- Managing Disjunction for Practical Temporal ReasoningRobert Schrag, Mark Boday, Jim Carciofini. 36-46
- Infinite Loops in Finite Time: Some ObservationsErnest Davis. 47-58
- Reasoning About Indefinite ActionsL. Thorne McCarty, Ron van der Meyden. 59-70
- Representations for Decision-Theoretic Planning: Utility Functions for Deadline GoalsPeter Haddawy, Steve Hanks. 71-82
- Total Order vs. Partial Order Planning: Factors Influencing PerformanceSteven Minton, Mark Drummond, John L. Bresina, Andrew B. Philips. 83-92
- A Reactive Planner that Uses Explanation ClosureAndrew R. Haas. 93-102
- UCPOP: A Sound, Complete, Partial Order Planner for ADLJ. Scott Penberthy, Daniel S. Weld. 103-114
- An Approach to Planning with Incomplete InformationOren Etzioni, Steve Hanks, Daniel S. Weld, Denise Draper, Neal Lesh, Mike Williamson. 115-125
- Equivalence and Tractability Results for SAS+ PlanningChrister Bäckström. 126-137
- Stepwise-Decomposable Influence DiagramsNevin Lianwen Zhang, David Poole. 141-152
- A Logic for Approximate ReasoningDaphne Koller, Joseph Y. Halpern. 153-164
- A Spatial Logic based on Regions and ConnectionDavid A. Randell, Zhan Cui, Anthony G. Cohn. 165-176
- Axiomatizing Qualitative Process TheoryErnest Davis. 177-188
- Reasoning with Analogical RepresentationsKaren L. Myers, Kurt Konolige. 189-200
- Order of Magnitude Reasoning using LogarithmsP. Pandurang Nayak. 201-210
- Semantics for Knowledge and CommunicationAdam J. Grove. 213-224
- Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (Preliminary Report)Yoav Shoham, Moshe Tennenholtz. 225-231
- Knowledge Representation Requirements for Description-Based CommunicationAnthony S. Maida. 232-243
- Reducing CLASSIC to Practice: Knowledge Representation Theory Meets RealityRonald J. Brachman. 247-258
- Towards the Systematic Development of Description Logic Reasoners: CLASP ReconstructedAlexander Borgida. 259-269
- An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move OnFranz Baader, Bernhard Hollunder, Bernhard Nebel, Hans-Jürgen Profitlich, Enrico Franconi. 270-281
- Terminological Reasoning with Constraint Networks and an Application to Plan RecognitionRobert A. Weida, Diane J. Litman. 282-293
- A Preference Semantics for Defaults in Terminological LogicsJoachim Quantz, Véronique Royer. 294-305
- Embedding Defaults into Terminological Knowledge Representation FormalismsFranz Baader, Bernhard Hollunder. 306-317
- Specifying Role Interaction in Concept LanguagesPhilipp Hanschke. 318-329
- Approximation in Concept Description LanguagesMarco Cadoli, Marco Schaerf. 330-341
- Adding Epistemic Operators to Concept LanguagesFrancesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Andrea Schaerf, Werner Nutt. 342-353
- A General Semantic Model of Negation in Natural Language: Representation and InferenceLucja Iwanska. 357-368
- Conversational Events and Discourse State Change: A Preliminary ReportMassimo Poesio. 369-380
- Learning Useful Horn ApproximationsRussell Greiner, Dale Schuurmans. 383-392
- Tractable Deduction in Knowledge Representation SystemsMukesh Dalal. 393-402
- New Results on Local Inference RelationsRobert Givan, David A. McAllester. 403-412
- An Order-Sorted Logic with Sort Literals and Disjointness ConstraintsToni Bollinger, Udo Pletat. 413-424
- Quantifier Elimination in Second-Order Predicate LogicDov M. Gabbay, Hans Jürgen Ohlbach. 425-435
- An Abstract Architecture for Rational AgentsAnand S. Rao, Michael P. Georgeff. 439-449
- A Study in the Logic of IntentionM. David Sadek. 462-473
- Choosing Observations and Actions in Model-Based Diagnosis/Repair SystemsGerhard Friedrich, Wolfgang Nejdl. 489-498
- Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical EvaluationHwee Tou Ng, Raymond J. Mooney. 499-508
- Using Default and Causal Reasoning in DiagnosisKurt Konolige. 509-520
- Focusing on Independent Diagnosis ProblemsHartmut Freitag, Gerhard Friedrich. 521-531
- A Minimality Maintenance SystemOlivier Raiman, Johan de Kleer. 532-538
- Search through Systematic Set EnumerationRon Rymon. 539-550
- Maps Between Nonmonotonic and Conditional LogicHoracio L. Arló-Costa, Scott J. Shapiro. 553-564
- On the Connection between Non-monotonic Inference Systems and Conditional LogicsGabriella Crocco, Philippe Lamarre. 565-571
- A Promenade from Monotonicity to Non-Monotonicity Following a Theorem ProverPhilippe Lamarre. 572-580
- Bounding Introspection in Nonmonotonic LogicGrigori Schwarz. 581-590
- A Framework for Representing and Characterizing Semantics of Logic ProgramsJürgen Dix. 591-602
- Answer Sets in General Nonmonotonic Reasoning (Preliminary Report)Vladimir Lifschitz, Thomas Y. C. Woo. 603-614
- RS Theory: A Really Skeptical Theory of Inheritance with ExceptionsGeneviève Simonet. 615-626
- On the Impact of Stratification on the Complexity of Nonmonotonic ReasoningIlkka Niemelä, Jussi Rintanen. 627-638
- All You Ever Wanted to Know about Tweety (But Were Afraid to Ask)Gerhard Lakemeyer. 639-648
- Representing Defaults as Sentences with Reduced PriorityMark Ryan. 649-660
- Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and ActionsMoisés Goldszmidt, Judea Pearl. 661-672
- Representing Default Rules in Possibilistic LogicSalem Benferhat, Didier Dubois, Henri Prade. 673-684
- Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey TestCraig Boutilier. 685-696
- Asking About Possibilities - Revision and Update Semantics for Subjunctive QueriesWolfgang Nejdl, Markus Banagl. 697-708
- Reasoning from Inconsistency: A Taxonomy of Principles for Resolving ConflictGadi Pinkas, Ronald Prescott Loui. 709-719
- A Temporal Revision Model for Reasoning about World ChangeMarie-Odile Cordier, Pierre Siegel. 732-739
- Computing Knowledge Base UpdatesAlvaro del Val. 740-750
- An Architecture for Integrating Reasoning ParadigmsJames M. Skinner, George F. Luger. 753-761
- Concurrency Control for Knowledge BasesVinay K. Chaudhri, Vassos Hadzilacos, John Mylopoulos. 762-773
- The DARPA Knowledge Sharing Effort: A Progress ReportRamesh S. Patil, Richard Fikes, Peter F. Patel-Schneider, Donald P. McKay, Timothy W. Finin, Thomas R. Gruber, Robert Neches. 777-788
- Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the BeefRaymond Reiter. 789