2. KR 1991:
Cambridge,
Massachusetts,
USA
James F. Allen,
Richard Fikes,
Erik Sandewall:
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge,
MA,
USA,
April 22-25,
1991. Morgan Kaufmann Publishers,
1991,
ISBN 1-55860-165-1
Submitted Papers
- James F. Allen:
Planning as Temporal Reasoning.
3-14 BibTeX
- Jonathan Amsterdam:
Temporal Reasoning and Narrative Conventions.
15-21 BibTeX
- Giuseppe Attardi, Maria Simi:
Reflections about Reflection.
22-31 BibTeX
- Christian Balkenius, Peter Gärdenfors:
Nonmonotonic Inferences in Neural Networks.
32-39 BibTeX
- Howard Barringer, Michael Fisher, Dov M. Gabbay, Anthony Hunter:
Meta-Reasoning in Executable Temporal Logic.
40-49 BibTeX
- John Bell:
Pragmatic Logics.
50-60 BibTeX
- Antonio Brogi, Franco Turini:
Metalogic for Knowledge Representation.
61-69 BibTeX
- Tom Bylander:
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability.
70-77 BibTeX
- Jacqueline Castaing:
A New Formalisation of Subsumption in Frame-Based Representation Systems.
78-88 BibTeX
- Prasad Chalasani, Oren Etzioni, John Mount:
Integrating Efficient Model-Learning and Problem-Solving Algorithms in Permutation Environments.
89-98 BibTeX
- Seng-cho Timothy Chou, Marianne Winslett:
Immortal: A Model-Based Belief Revision System.
99-110 BibTeX
- William S. Davis, James R. Carnes:
Clustering Temporal Intervals To Generate Reference Hierarchies.
111-117 BibTeX
- James P. Delgrande, W. Ken Jackson:
Default Logic Revisited.
118-127 BibTeX
- Premkumar T. Devanbu, Diane J. Litman:
Plan-Based Terminological Reasoning.
128-138 BibTeX
- Charles Dierbach, Daniel L. Chester:
A Formal Basis for Analogical Reasoning.
139-150 BibTeX
- Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi, Werner Nutt:
The Complexity of Concept Languages.
151-162 BibTeX
- Jon Doyle:
Rational Belief Revision.
163-174 BibTeX
- Didier Dubois, Henri Prade:
Conditional Objects and Non-Monontonic Reasoning.
175-185 BibTeX
- Eugene C. Freuder:
Completable Representations of Constraint Satisfaction Problems.
186-195 BibTeX
- Alan M. Frisch, Richard B. Scherl:
A General Framework for Modal Deduction.
196-207 BibTeX
- Dov M. Gabbay, Els Laenens, Dirk Vermeir:
Credulous vs. Sceptical Semantics for Ordered Logic Programs.
208-217 BibTeX
- Hector Geffner:
Beyond Negation as Failure.
218-229 BibTeX
- Michael Gelfond, Halina Przymusinska, Vladimir Lifschitz, Miroslaw Truszczynski:
Disjective Defaults.
230-237 BibTeX
- Michael R. Genesereth, Jane Yung-jen Hsu:
Partial Programs.
238-249 BibTeX
- Matthew L. Ginsberg:
Computational Considerations in Reasoning about Action.
250-261 BibTeX
- Matthew L. Ginsberg:
The Computational Value of Nonmonotonic Reasoning.
262-268 BibTeX
- Gösta Grahne:
Updates and Counterfactuals.
269-276 BibTeX
- Russell Greiner, Pekka Orponen:
Probably Approximately Optimal Derivation Strategies.
277-288 BibTeX
- Benjamin N. Grosof:
Generalizing Prioritization.
289-300 BibTeX
- Adam J. Grove, Joseph Y. Halpern:
Naming and Identity in a Multi-Agent Epistemic Logic.
301-312 BibTeX
- Peter Haddawy:
A Temporal Probability Logic for Representing Actions.
313-324 BibTeX
- Joseph Y. Halpern, Moshe Y. Vardi:
Model Checking vs. Theorem Proving: A Manifesto.
325-334 BibTeX
- Bernhard Hollunder, Franz Baader:
Qualifying Number Restrictions in Concept Languages.
335-346 BibTeX
- Stephen G. Kaufman:
A Formal Theory of Spatial Reasoning.
347-356 BibTeX
- Philippe Lamarre:
S4 as the Conditional Logic of Nonmonotonicity.
357-367 BibTeX
- Gerhard Lakemeyer:
On the Relation between Explicit and Implicit Belief.
368-375 BibTeX
- Vladimir Lifschitz:
Toward a Metatheory of Action.
376-386 BibTeX
- Hirofumi Katsuno, Alberto O. Mendelzon:
On the Difference between Updating a Knowledge Base and Revising It.
387-394 BibTeX
- V. Wiktor Marek, Grigori F. Shvarts, Miroslaw Truszczynski:
Modal Nonmonotonic Logics: Ranges, Characterization, Computation.
395-404 BibTeX
- Karen L. Myers:
Universal Attachment: An Integration Method for Logic Hybrids.
405-416 BibTeX
- Bernhard Nebel:
Belief Revision and Default Reasoning: Syntax-Based Approaches.
417-428 BibTeX
- C. David Page Jr., Alan M. Frisch:
Generalizing Atoms in Constraint Logic.
429-440 BibTeX
- Judea Pearl, Thomas Verma:
A Theory of Inferred Causation.
441-452 BibTeX
- Tarcisio H. C. Pequeno, Arthur Buchsbaum:
The Logic of Epistemic Inconsistency.
453-460 BibTeX
- Gregory M. Provan, David Poole:
The Utility of Consistency-Based Diagnostic Techniques.
461-472 BibTeX
- Anand S. Rao, Michael P. Georgeff:
Modeling Rational Agents within a BDI-Architecture.
473-484 BibTeX
- William L. Rodi, Stephen G. Pimentel:
A Nonmonotonic Assumption-Based TMS Using Stable Bases.
485-495 BibTeX
- Torsten Schaub:
Assertional Default Theories: A Semantical View.
496-506 BibTeX
- Paul Schweizer:
A Metalinguistic Treatment of Epistemic Contexts.
507-513 BibTeX
- Jeffrey Van Baalen:
The Completeness of DRAT, A Technique for Automatic Design of Satisfiability Procedures.
514-525 BibTeX
- Gerard Vreeswijk:
The Feasibility of Defeat in Defeasible Reasoning.
526-534 BibTeX
- Michael P. Wellman, Max Henrion:
Qualitative Intercausal Relations, or Explaining "Explaining Away".
535-546 BibTeX
- Michael P. Wellman:
Qualitative Simulation with Multivariate Constraints.
547-557 BibTeX
- Robert Wilensky:
The Ontology and Representation of Situations.
558-569 BibTeX
- Cees Witteveen:
Skeptical Reason Maintenance is Tractable.
570-581 BibTeX
Invited Presentations
- Peter Gärdenfors:
Nonmonotonic Inferences Based on Expectations: A Preliminary Report.
585-590 BibTeX
- Charles Rich:
Implemented Knowledge Representation and Reasoning Systems: An Endangered Species?
591-592 BibTeX
Position Papers from the Panel on Knowledge Sharing and Reuse
Copyright © Sat May 16 23:28:16 2009
by Michael Ley (ley@uni-trier.de)
