List of contents of
the Proceedings of the
International Conf on Knowledge Representation and Reasoning,
1998 (KR-98)
- c-kr-98-2
- Diego Calvanes, Giuseppe De Giacomo, Maurizio Lenzerini, Daniele Nardi, and Riccardo Rosati:
Description Logic Framework for Information Integration.
Pages 2-13.
- c-kr-98-14
- Hector J. Levesque:
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases.
Pages 14-23.
- c-kr-98-24
- Mary-Anne Williams and Grigoris Antoniou:
A Strategy for Revising Default Theory Extensions.
Pages 24-35.
- c-kr-98-36
- Lars Karlsson:
Anything Can Happen: on narratives and hypothetical reasoning.
Pages 36-47.
- c-kr-98-48
- John McCarthy and Tom Costello:
Combining Narratives.
Pages 48-59.
- c-kr-98-60
- Michael Thielscher:
How (Not) To Minimaze Events.
Pages 60-73.
- c-kr-98-74
- Stefan Brass, Jürgen Dix, Ilkka Niemelä, and Teodor C. Przymusinski:
A Comparison of the Static and the Disjunctive Well-founded Semantics and its Implementation.
Pages 74-85.
- c-kr-98-86
- Gerhard Brewka and Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs.
Pages 86-97.
- c-kr-98-98
- J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and Teodor C. Przymusinski:
Dynamic Logic Programming.
Pages 98-111.
- c-kr-98-112
- Volker Haarslev, Carsten Lutz, and Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics.
Pages 112-123.
- c-kr-98-124
- Philippe Balbiani, Jean-François Condotta, and Luis Fariñas del Cerro:
A model for reasoning about bidimensional temporal relations.
Pages 124-130.
- c-kr-98-131
- Philippe Muller:
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives.
Pages 131-143.
- c-kr-98-144
- Paolo Liberatore:
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc.
Pages 144-155.
- c-kr-98-156
- Adnan Darwiche:
Compiling Devices: A Structure-Based Approach.
Pages 156-166.
- c-kr-98-167
- Sheila A. McIlraith:
Explanatory Diagnosi: Conjecturing actions to explain observations.
Pages 167-179.
- c-kr-98-180
- Peter A. Flach:
Comparing Consequence Relations.
Pages 180-189.
- c-kr-98-190
- Emil Weydert:
SYSTEM JZ: How to build a canonical ranking model of a default knowledge base.
Pages 190-201.
- c-kr-98-202
- Eyal Amir:
Pointwise Circumscription Revisisted.
Pages 202-211.
- c-kr-98-212
- Norman McCain and Hudson Turner:
Satisfiability Planning with Causal Theories.
Pages 212-223.
- c-kr-98-224
- Fangzhen Lin:
On Measuring Plan Quality (A Preliminary Report).
Pages 224-233.
- c-kr-98-234
- Brandon Bennet:
Modal Semantics for Knowledge Bases Dealing with Vague Concepts.
Pages 234-244.
- c-kr-98-245
- Inderjeet Mani:
A Theory of Granularity and its Applicaiton to Problems of Polysemy and Underspecification of Meaning.
Pages 245-257.
- c-kr-98-258
- Patrick Doherty, Witold Lukaszewicz, and Ewa Madalinska-Bugaj.:
The PMA and Relativizing Change for Action Update.
Pages 258-269.
- c-kr-98-270
- Tom Costello and Anna Patterson:
Quantifiers and Operations on Modalities and Contexts.
Pages 270-281.
- c-kr-98-282
- Fausto Giunchiglia and Chiara Ghidini:
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility.
Pages 282-291.
- c-kr-98-292
- Javier A. Pinto:
Concurrent Actions and Interacting Effects.
Pages 292-303.
- c-kr-98-304
- Erik Sandewall:
Logic Based Modelling of Goal-Directed Behaviou.
Pages 304-315.
- c-kr-98-316
- Gerhard Lakemeyer and Hector J. Levesque:
AOL: a logic of acting, sensing, knowing, and only knowing.
Pages 316-329.
- c-kr-98-330
- Jochen Renz:
A Canonical Model of the Region Conneciton Calculus.
Pages 330-341.
- c-kr-98-342
- Christoph Dornheim:
Undecidability of Plane Polygonal Mereotopology.
Pages 342-355.
- c-kr-98-356
- Jér^ome Lang and Pierre Marquis:
Complexity results for independence and definability in propositional logic.
Pages 356-367.
- c-kr-98-368
- Iliano Cervesato, Massimo Franceschet, and Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers.
Pages 368-379.
- c-kr-98-394
- Katsumi Inoue and Chiaki Sakama:
Specifying Transactions for Extended Abduction.
Pages 394-405.
- c-kr-98-406
- Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks.
Pages 406-417.
- c-kr-98-418
- Francesco Buccafurri, Nicola Leone, and Pasquale Rullo:
Disjunctive Ordered Logic: Semantics and Expressiveness.
Pages 418-431.
- c-kr-98-431
- Fahiem Bacchus and Ron Petrick:
Modeling an Agentäs Incomplete Knowledge during Planning and Execution.
Pages 431-443.
- c-kr-98-444
- Nicola Muscettola, Paul Morris, and Ioannis Tsamardinos:
Reformulation Temporal Plans For Efficient Execution.
Pages 444-452.
- c-kr-98-453
- Giuseppe De Giacomo, Ray Reiter, and Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs.
Pages 453-465.
- c-kr-98-465
- S. Berferhat, Didier Dubois, Jérôme Lang, H. P Rade, A. Saffiotti, and P. Smets:
A general approach for inconsistency handling and merging information in prioritized knowledge bases.
Pages 465-477.
- c-kr-98-478
- Jaap Kamps:
Formal Theory Buildings Using Automated Reasoning Tools.
Pages 478-487.
- c-kr-98-488
- Sébastien Konieczny and Ramón Pino-Pérez:
On the logic of merging.
Pages 488-498.
- c-kr-98-499
- Ralf Küsters:
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata.
Pages 499-511.
- c-kr-98-512
- Frank Wolter and Michael Zakharyaschev:
Satisfiability problem in description logics with modal operators.
Pages 512-523.
- c-kr-98-524
- M. Chein, M. L. Mugnier, and G. Simonet:
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics.
Pages 524-535.
- c-kr-98-536
- Vladimir Lifschitz:
Situation Calculus and Causal Logic.
Pages 536-546.
- c-kr-98-547
- Ray Reiter:
Sequential, Temporal GOLOG.
Pages 547-556.
- c-kr-98-557
- Graham White, John Bell, and Wilfrid Hodges:
Building Models of Prediction Theories.
Pages 557-569.
- c-kr-98-570
- Manfred Jaeger:
Reasoning About Infinite Random Structures with Relational Bayesian Networks.
Pages 570-581.
- c-kr-98-582
- Vu Ha and Peter Haddawy:
Geometric Foundations for Interval-Based Probabilities.
Pages 582-593.
- c-kr-98-594
- Didier Dubois, Lluís Godo, Henri Prade, and Adriana Zapico:
Making Decision in a Qualitative Setting: from Decision under Uncertainty to Case-based Decision.
Pages 594-607.
- c-kr-98-608
- M. Baioletti, S. Marcugini, and A. Milani:
Encoding Planning Constraints into Partial Order Planning Domains.
Pages 608-616.
- c-kr-98-617
- Jussi Rintanen:
A Planning Algorithm not based on Directional Search.
Pages 617-625.
- c-kr-98-626
- Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, and Armando Tacchella:
More evaluation of decision procedures for modal logics.
Pages 626-635.
- c-kr-98-636
- Ian R. Horrcks:
Using an Expressive Description Logic: FaCT or Fiction?.
Pages 636-649.
- c-kr-98-652
- Maurizio Lenzerini:
Description Logics and their Applications.
Pages 652-653.
- c-kr-98-654
- Lin Padgham:
Themes at the Co-Located Workshops.
Pages 654-655.
11-Sep-97 17:44