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