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

Reasoning About Actions I

• 
  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

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
• 
  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

Qualitative Spatio/Temporal Reasoning

• 
  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

Diagnosis

• 
  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

Non Monotonic Reasoning

• 
  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

Planning

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

Representing Granularity and Vagueness

• 
  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

Belief Revision and Contextual Reasoning

• 
  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

Reasoning about Actions

• 
  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

Formal Results in Spatial Reasoning

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

Complexity of Reasoning

• 
  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

Logic Programming based Representations II

• 
  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

Planning and Execution

• 
  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

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
• 
  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

Description Logics and Graph Based Languages

• 
  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

Reasoning About Actions III

• 
  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

Probabilistic Reasoning

• 
  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

Planning II

• 
  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

Efficient Modal Reasoning

• 
  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

Invited Talks

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

Panel Abstract

last updated on Thu May 23 03:36:59 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page