default search action
6th KR 1998: Trento, Italy
- Anthony G. Cohn, Lenhart K. Schubert, Stuart C. Shapiro:
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. KR 1998: 2-13 - Hector J. Levesque:
A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. KR 1998: 14-23 - Mary-Anne Williams, Grigoris Antoniou:
A Strategy for Revising Default Theory Extensions. KR 1998: 24-35
Reasoning About Actions I
- Lars Karlsson:
Anything Can Happen: On Narratives and Hypothetical Reasoning. KR 1998: 36-47 - John McCarthy, Tom Costello:
Combining Narratives. KR 1998: 48-59 - Michael Thielscher:
How (Not) To Minimize Events. KR 1998: 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. KR 1998: 74-85 - Gerhard Brewka, Thomas Eiter:
Preferred Answer Sets for Extended Logic Programs. KR 1998: 86-97 - José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, Teodor C. Przymusinski:
Dynamic Logic Programming. KR 1998: 98-111
Qualitative Spatio/Temporal Reasoning
- Volker Haarslev, Carsten Lutz, Ralf Möller:
Foundations of Spatioterminological Reasoning with Description Logics. KR 1998: 112-123 - Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro:
A Model for Reasoning about Bidemsional Temporal Relations. KR 1998: 124-130 - Philippe Muller:
A Qualitative Theory of Motion Based on Spatio-Temporal Primitives. KR 1998: 131-143
Diagnosis
- Paolo Liberatore:
On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc. KR 1998: 144-155 - Adnan Darwiche:
Compiling Devices: A Structure-Based Approach. KR 1998: 156-155 - Sheila A. McIlraith:
Explanatory Diagnosis: Conjecturing Actions to Explain Observations. KR 1998: 167-179
Non Monotonic Reasoning
- Peter A. Flach:
Comparing Consequence Relations. KR 1998: 180-189 - Emil Weydert:
SYSTEM JZ - How to Build a Canonical Ranking Model of a Default Knowledge Base. KR 1998: 190-201 - Eyal Amir:
Pointwise Circumscription Revisited. KR 1998: 202-211
Planning
- Norman McCain, Hudson Turner:
Satisfiability planning with Causal Theories. KR 1998: 212-223 - Fangzhen Lin:
On Measuring Plan Quality (A Preliminary Report). KR 1998: 224-233
Representing Granularity and Vagueness
- Brandon Bennett:
Modal Semantics for Knowledge Bases Dealing with Vague Concepts. KR 1998: 234-244 - Inderjeet Mani:
A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning. KR 1998: 245-257
Belief Revision and Contextual Reasoning
- Patrick Doherty, Witold Lukaszewicz, Ewa Madalinska-Bugaj:
The PMA and Relativizing Minimal Change for Action Update. KR 1998: 258-269 - Tom Costello, Anna Patterson:
Quantifiers and Operations on Modalities and Contexts. KR 1998: 270-281 - Fausto Giunchiglia, Chiara Ghidini:
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility. KR 1998: 282-291
Reasoning about Actions
- Javier Pinto:
Concurrent Actions and Interacting Effects. KR 1998: 292-303 - Erik Sandewall:
Logic Based Modelling of Goal-Directed Behavior. KR 1998: 304-315 - Gerhard Lakemeyer, Hector J. Levesque:
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998: 316-329
Formal Results in Spatial Reasoning
- Jochen Renz:
A Canonical Model of the Region Connection Calculus. KR 1998: 330-341 - Christoph Dornheim:
Undecidability of Plane Polygonal Mereotopology. KR 1998: 342-355
Complexity of Reasoning
- Jérôme Lang, Pierre Marquis:
Complexity Results for Independence and Definability in Propositional Logic. KR 1998: 356-367 - Iliano Cervesato, Massimo Franceschet, Angelo Montanari:
The Complexity of Model Checking in Modal Event Calculi with Quantifiers. KR 1998: 368-379 - Thomas Lukasiewicz:
Probabilistic Deduction with Conditional Constraints over Basic Events. KR 1998: 380-393
Logic Programming based Representations II
- Katsumi Inoue, Chiaki Sakama:
Specifying Transactions for Extended Abduction. KR 1998: 394-405 - Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
The KR System dlv: Progress Report, Comparisons and Benchmarks. KR 1998: 406-417 - Francesco Buccafurri, Nicola Leone, Pasquale Rullo:
Disjunctive Ordered Logic: Semantics and Expressiveness. KR 1998: 418-431
Planning and Execution
- Fahiem Bacchus, Ronald P. A. Petrick:
Modeling an Agent's Incomplete Knowledge During Planning and During Execution. KR 1998: 432-443 - Nicola Muscettola, Paul H. Morris, Ioannis Tsamardinos:
Reformulating Temporal Plans for Efficient Execution. KR 1998: 444-452 - Giuseppe De Giacomo, Raymond Reiter, Mikhail Soutchanski:
Execution Monitoring of High-Level Robot Programs. KR 1998: 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. KR 1998: 466-477 - Jaap Kamps:
Formal Theory Building Using Automated Reasoning Tools. KR 1998: 478-487 - Sébastien Konieczny, Ramón Pino Pérez:
On the Logic of Merging. KR 1998: 488-498 - Ralf Küsters:
Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata. KR 1998: 499-511
Description Logics and Graph Based Languages
- Frank Wolter, Michael Zakharyaschev:
On the Decidability of Description Logics with Modal Operators. KR 1998: 512-523 - Michel Chein, Marie-Laure Mugnier, Geneviève Simonet:
Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics. KR 1998: 524-535
Reasoning About Actions III
- Vladimir Lifschitz:
Situation Calculus and Causal Logic. KR 1998: 536-546 - Raymond Reiter:
Sequential, Temporal GOLOG. KR 1998: 547-556 - Graham White, John Bell, Wilfried Hodges:
Building Models of Prediction Theories. KR 1998: 557-569
Probabilistic Reasoning
- Manfred Jaeger:
Reasoning About Infinite Random Structures with Relational Bayesian Networks. KR 1998: 570-581 - Vu A. Ha, Peter Haddawy:
Geometric Foundations for Interval-Based Probabilities. KR 1998: 582-593 - Didier Dubois, Lluís Godo, Henri Prade, Adriana Zapico:
Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision. KR 1998: 594-607
Planning II
- Marco Baioletti, Stefano Marcugini, Alfredo Milani:
Encoding Planning Constraints into Partial Order Planners. KR 1998: 608-616 - Jussi Rintanen:
A Planning Algorithm not based on Directional Search. KR 1998: 617-625
Efficient Modal Reasoning
- Enrico Giunchiglia, Fausto Giunchiglia, Roberto Sebastiani, Armando Tacchella:
More Evaluation of Decision Procedures for Modal Logics. KR 1998: 626-635 - Ian Horrocks:
Using an Expressive Description Logic: FaCT or Fiction? KR 1998: 636-649
Invited Talks
- Katharina Morik:
How to Tailor Representations to Different Requirements. KR 1998: 650 - Hector J. Levesque:
What Robots Can Do. KR 1998: 651 - Maurizio Lenzerini:
Description Logics and their Applications. KR 1998: 652
Panel Abstract
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: