6. KR 1998: Trento, Italy

Anthony G. Cohn, Lenhart K. Schubert, Stuart C. Shapiro (Eds.): Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998. Morgan Kaufmann 1998

Building, Merging, Revising Theories

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

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

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
Gerhard Brewka, Thomas Eiter: Preferred Answer Sets for Extended Logic Programs. 86-97
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski: Dynamic Logic Programming. 98-111

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

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

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

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

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

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

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

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

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

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

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
Jaap Kamps: Formal Theory Building Using Automated Reasoning Tools. 478-487
Sébastien Konieczny, Ramón Pino Pérez: On the Logic of Merging. 488-498
Ralf Küsters: Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. 499-511

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

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

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

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

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

Last update Tue May 21 17:39:55 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page