6. KR 1998: Trento, Italy

Building, Merging, Revising Theories

• Diego Calvanese, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, Riccardo Rosati: Description Logic Framework for Information Integration. 2-13 BibTeX
• Hector J. Levesque: A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. 14-23 BibTeX
• Mary-Anne Williams, Grigoris Antoniou: A Strategy for Revising Default Theory Extensions. 24-35 BibTeX

Reasoning About Actions I

• Lars Karlsson: Anything Can Happen: On Narratives and Hypothetical Reasoning. 36-47 BibTeX
• John McCarthy, Tom Costello: Combining Narratives. 48-59 BibTeX
• Michael Thielscher: How (Not) To Minimize Events. 60-73 BibTeX

Logic Programming based Representations

• Stefan Brass, Jürgen Dix, Ilkka Niemelä, Teodor C. Przymusinski: A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation. 74-85 BibTeX
• Gerhard Brewka, Thomas Eiter: Preferred Answer Sets for Extended Logic Programs. 86-97 BibTeX
• José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. 98-111 BibTeX

Qualitative Spatio/Temporal Reasoning

• Volker Haarslev, Carsten Lutz, Ralf Möller: Foundations of Spatioterminological Reasoning with Description Logics. 112-123 BibTeX
• Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: A Model for Reasoning about Bidemsional Temporal Relations. 124-130 BibTeX
• Philippe Muller: A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. 131-143 BibTeX

Diagnosis

• Paolo Liberatore: On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. 144-155 BibTeX
• Adnan Darwiche: Compiling Devices: A Structure-Based Approach. 156-155 BibTeX
• Sheila A. McIlraith: Explanatory Diagnosis: Conjecturing Actions to Explain Observations. 167-179 BibTeX

Non Monotonic Reasoning

• Peter A. Flach: Comparing Consequence Relations. 180-189 BibTeX
• Emil Weydert: SYSTEM JZ - How to Build a Canonical Ranking Model of a Default Knowledge Base. 190-201 BibTeX
• Eyal Amir: Pointwise Circumscription Revisited. 202-211 BibTeX

Planning

• Norman McCain, Hudson Turner: Satisfiability planning with Causal Theories. 212-223 BibTeX
• Fangzhen Lin: On Measuring Plan Quality (A Preliminary Report). 224-233 BibTeX

Representing Granularity and Vagueness

• Brandon Bennett: Modal Semantics for Knowledge Bases Dealing with Vague Concepts. 234-244 BibTeX
• Inderjeet Mani: A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning. 245-257 BibTeX

Belief Revision and Contextual Reasoning

• Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj: The PMA and Relativizing Minimal Change for Action Update. 258-269 BibTeX
• Tom Costello, Anna Patterson: Quantifiers and Operations on Modalities and Contexts. 270-281 BibTeX
• Fausto Giunchiglia, Chiara Ghidini: Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. 282-291 BibTeX

Reasoning about Actions

• Javier Pinto: Concurrent Actions and Interacting Effects. 292-303 BibTeX
• Erik Sandewall: Logic Based Modelling of Goal-Directed Behavior. 304-315 BibTeX
• Gerhard Lakemeyer, Hector J. Levesque: AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. 316-329 BibTeX

Formal Results in Spatial Reasoning

• Jochen Renz: A Canonical Model of the Region Connection Calculus. 330-341 BibTeX
• Christoph Dornheim: Undecidability of Plane Polygonal Mereotopology. 342-355 BibTeX

Complexity of Reasoning

• Jérôme Lang, Pierre Marquis: Complexity Results for Independence and Definability in Propositional Logic. 356-367 BibTeX
• Iliano Cervesato, Massimo Franceschet, Angelo Montanari: The Complexity of Model Checking in Modal Event Calculi with Quantifiers. 368-379 BibTeX
• Thomas Lukasiewicz: Probabilistic Deduction with Conditional Constraints over Basic Events. 380-393 BibTeX

Logic Programming based Representations II

• Katsumi Inoue, Chiaki Sakama: Specifying Transactions for Extended Abduction. 394-405 BibTeX
• Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The KR System dlv: Progress Report, Comparisons and Benchmarks. 406-417 BibTeX
• Francesco Buccafurri, Nicola Leone, Pasquale Rullo: Disjunctive Ordered Logic: Semantics and Expressiveness. 418-431 BibTeX

Planning and Execution

• Fahiem Bacchus, Ronald P. A. Petrick: Modeling an Agent's Incomplete Knowledge During Planning and During Execution. 432-443 BibTeX
• Nicola Muscettola, Paul H. Morris, Ioannis Tsamardinos: Reformulating Temporal Plans for Efficient Execution. 444-452 BibTeX
• Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski: Execution Monitoring of High-Level Robot Programs. 453-465 BibTeX

Building, Merging, Revising Theories

• Salem Benferhat, Didier Dubois, Jérôme Lang, Henri Prade, Alessandro Saffiotti, Philippe Smets: A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases. 466-477 BibTeX
• Jaap Kamps: Formal Theory Building Using Automated Reasoning Tools. 478-487 BibTeX
• Sébastien Konieczny, Ramón Pino Pérez: On the Logic of Merging. 488-498 BibTeX
• Ralf Küsters: Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. 499-511 BibTeX

Description Logics and Graph Based Languages

• Frank Wolter, Michael Zakharyaschev: On the Decidability of Description Logics with Modal Operators. 512-523 BibTeX
• Michel Chein, Marie-Laure Mugnier, Geneviève Simonet: Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. 524-535 BibTeX

Reasoning About Actions III

• Vladimir Lifschitz: Situation Calculus and Causal Logic. 536-546 BibTeX
• Raymond Reiter: Sequential, Temporal GOLOG. 547-556 BibTeX
• Graham White, John Bell, Wilfried Hodges: Building Models of Prediction Theories. 557-569 BibTeX

Probabilistic Reasoning

• Manfred Jaeger: Reasoning About Infinite Random Structures with Relational Bayesian Networks. 570-581 BibTeX
• Vu A. Ha, Peter Haddawy: Geometric Foundations for Interval-Based Probabilities. 582-593 BibTeX
• Didier Dubois, Lluis Godo, Henri Prade, Adriana Zapico: Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision. 594-607 BibTeX

Planning II

• Marco Baioletti, Stefano Marcugini, Alfredo Milani: Encoding Planning Constraints into Partial Order Planners. 608-616 BibTeX
• Jussi Rintanen: A Planning Algorithm not based on Directional Search. 617-625 BibTeX

Efficient Modal Reasoning

• Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella: More Evaluation of Decision Procedures for Modal Logics. 626-635 BibTeX
• Ian Horrocks: Using an Expressive Description Logic: FaCT or Fiction? 636-649 BibTeX

Invited Talks

• Katharina Morik: How to Tailor Representations to Different Requirements. 650 BibTeX
• Hector J. Levesque: What Robots Can Do. 651 BibTeX
• Maurizio Lenzerini: Description Logics and their Applications. 652 BibTeX

Panel Abstract