## Anthony G. Cohn, Lenhart K. Schubert, Stuart C. Shapiro

*Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning*

KR, 1998.

@proceedings{KR-1998, address = "Trento, Italy", editor = "Anthony G. Cohn and Lenhart K. Schubert and Stuart C. Shapiro", publisher = "{Morgan Kaufmann}", title = "{Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning}", year = 1998, }

### Contents (58 items)

- KR-1998-CalvaneseGLNR #framework #integration #logic
- Description Logic Framework for Information Integration (DC, GDG, ML, DN, RR), pp. 2–13.
- KR-1998-Levesque #first-order #knowledge base #reasoning
- A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (HJL), pp. 14–23.
- KR-1998-WilliamsA
- A Strategy for Revising Default Theory Extensions (MAW, GA), pp. 24–35.
- KR-1998-Karlsson #reasoning
- Anything Can Happen: On Narratives and Hypothetical Reasoning (LK), pp. 36–47.
- KR-1998-McCarthyC
- Combining Narratives (JM, TC), pp. 48–59.
- KR-1998-Thielscher #how
- How (Not) To Minimize Events (MT), pp. 60–73.
- KR-1998-BrassDNP #comparison #implementation #semantics
- A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation (SB, JD, IN, TCP), pp. 74–85.
- KR-1998-BrewkaE #logic programming #set #source code
- Preferred Answer Sets for Extended Logic Programs (GB, TE), pp. 86–97.
- KR-1998-AlferesLPPP #logic programming
- Dynamic Logic Programming (JJA, JAL, LMP, HP, TCP), pp. 98–111.
- KR-1998-HaarslevLM #logic #reasoning
- Foundations of Spatioterminological Reasoning with Description Logics (VH, CL, RM), pp. 112–123.
- KR-1998-BalbianiCC #reasoning
- A Model for Reasoning about Bidemsional Temporal Relations (PB, JFC, LFdC), pp. 124–130.
- KR-1998-Muller
- A Qualitative Theory of Motion Based on Spatio-Temporal Primitives (PM), pp. 131–143.
- KR-1998-Liberatore #on the #reasoning
- On the Compilability of Diagnosis, Planning, Reasoning about Actions, Belief Revision, etc (PL), pp. 144–155.
- KR-1998-Darwiche #approach #compilation
- Compiling Devices: A Structure-Based Approach (AD), pp. 156–155.
- KR-1998-McIlraith
- Explanatory Diagnosis: Conjecturing Actions to Explain Observations (SAM), pp. 167–179.
- KR-1998-Flach
- Comparing Consequence Relations (PAF), pp. 180–189.
- KR-1998-Weydert #canonical #how #knowledge base #ranking
- SYSTEM JZ — How to Build a Canonical Ranking Model of a Default Knowledge Base (EW), pp. 190–201.
- KR-1998-Amir #revisited
- Pointwise Circumscription Revisited (EA), pp. 202–211.
- KR-1998-McCainT #satisfiability
- Satisfiability planning with Causal Theories (NM, HT), pp. 212–223.
- KR-1998-Lin #on the #quality
- On Measuring Plan Quality (FL), pp. 224–233.
- KR-1998-Bennett #concept #knowledge base #semantics
- Modal Semantics for Knowledge Bases Dealing with Vague Concepts (BB), pp. 234–244.
- KR-1998-Mani #formal method #problem
- A Theory of Granularity and its Application to Problems of Polysemy and Underspecification of Meaning (IM), pp. 245–257.
- KR-1998-DohertyLM
- The PMA and Relativizing Minimal Change for Action Update (PD, WL, EMB), pp. 258–269.
- KR-1998-CostelloP #quantifier
- Quantifiers and Operations on Modalities and Contexts (TC, AP), pp. 270–281.
- KR-1998-GiunchigliaG #locality #modelling #reasoning #semantics
- Local Models Semantics, or Contextual Reasoning = Locality + Compatibility (FG, CG), pp. 282–291.
- KR-1998-Pinto #concurrent
- Concurrent Actions and Interacting Effects (JP), pp. 292–303.
- KR-1998-Sandewall #behaviour #logic #modelling
- Logic Based Modelling of Goal-Directed Behavior (ES), pp. 304–315.
- KR-1998-LakemeyerL #logic #named
- AOL: A logic of Acting, Sensing, Knowing, and Only Knowing (GL, HJL), pp. 316–329.
- KR-1998-Renz #calculus #canonical
- A Canonical Model of the Region Connection Calculus (JR), pp. 330–341.
- KR-1998-Dornheim
- Undecidability of Plane Polygonal Mereotopology (CD), pp. 342–355.
- KR-1998-LangM #complexity #independence #logic
- Complexity Results for Independence and Definability in Propositional Logic (JL, PM), pp. 356–367.
- KR-1998-CervesatoFM #calculus #complexity #model checking #quantifier
- The Complexity of Model Checking in Modal Event Calculi with Quantifiers (IC, MF, AM), pp. 368–379.
- KR-1998-Lukasiewicz #constraints #deduction #probability
- Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.
- KR-1998-InoueS #abduction #specification #transaction
- Specifying Transactions for Extended Abduction (KI, CS), pp. 394–405.
- KR-1998-EiterLMPS #benchmark #metric
- The KR System dlv: Progress Report, Comparisons and Benchmarks (TE, NL, CM, GP, FS), pp. 406–417.
- KR-1998-BuccafurriLR #logic #order #semantics
- Disjunctive Ordered Logic: Semantics and Expressiveness (FB, NL, PR), pp. 418–431.
- KR-1998-BacchusP #execution #information management #modelling
- Modeling an Agent’s Incomplete Knowledge During Planning and During Execution (FB, RPAP), pp. 432–443.
- KR-1998-MuscettolaMT #execution #performance
- Reformulating Temporal Plans for Efficient Execution (NM, PHM, IT), pp. 444–452.
- KR-1998-GiacomoRS #execution #monitoring #source code
- Execution Monitoring of High-Level Robot Programs (GDG, RR, MS), pp. 453–465.
- KR-1998-BenferhatDLPSS #approach #consistency #knowledge base #nondeterminism
- A General Approach for Inconsistency Handling and Merging Information in Prioritized Knowledge Bases (SB, DD, JL, HP, AS, PS), pp. 466–477.
- KR-1998-Kamps #automation #formal method #reasoning #tool support #using
- Formal Theory Building Using Automated Reasoning Tools (JK), pp. 478–487.
- KR-1998-KoniecznyP #logic #on the
- On the Logic of Merging (SK, RPP), pp. 488–498.
- KR-1998-Kusters #automaton #finite #semantics #using
- Characterizing the Semantics of Terminological Cycles in ALN Using Finite Automata (RK), pp. 499–511.
- KR-1998-WolterZ #decidability #logic #on the
- On the Decidability of Description Logics with Modal Operators (FW, MZ), pp. 512–523.
- KR-1998-CheinMS #graph #information management #representation #semantics
- Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics (MC, MLM, GS), pp. 524–535.
- KR-1998-Lifschitz #calculus #logic
- Situation Calculus and Causal Logic (VL), pp. 536–546.
- KR-1998-Reiter
- Sequential, Temporal GOLOG (RR), pp. 547–556.
- KR-1998-WhiteBH #modelling #predict
- Building Models of Prediction Theories (GW, JB, WH), pp. 557–569.
- KR-1998-Jaeger #infinity #network #random #reasoning #relational
- Reasoning About Infinite Random Structures with Relational Bayesian Networks (MJ), pp. 570–581.
- KR-1998-HaH #geometry
- Geometric Foundations for Interval-Based Probabilities (VAH, PH), pp. 582–593.
- KR-1998-DuboisGPZ
- Making Decision in a Qualitative Setting: from Decision under Uncertaintly to Case-based Decision (DD, LG, HP, AZ), pp. 594–607.
- KR-1998-BaiolettiMM #constraints #encoding #partial order
- Encoding Planning Constraints into Partial Order Planners (MB, SM, AM), pp. 608–616.
- KR-1998-Rintanen #algorithm
- A Planning Algorithm not based on Directional Search (JR), pp. 617–625.
- KR-1998-GiunchigliaGST #evaluation #logic
- More Evaluation of Decision Procedures for Modal Logics (EG, FG, RS, AT), pp. 626–635.
- KR-1998-Horrocks #logic #question #using
- Using an Expressive Description Logic: FaCT or Fiction? (IH), pp. 636–649.
- KR-1998-Morik #how #requirements
- How to Tailor Representations to Different Requirements (KM), p. 650.
- KR-1998-Levesque98a #what
- What Robots Can Do (HJL), p. 651.
- KR-1998-Lenzerini #logic
- Description Logics and their Applications (ML), p. 652.

12 ×#logic

8 ×#reasoning

6 ×#semantics

4 ×#knowledge base

4 ×#modelling

4 ×#on the

3 ×#calculus

3 ×#execution

3 ×#how

3 ×#using

8 ×#reasoning

6 ×#semantics

4 ×#knowledge base

4 ×#modelling

4 ×#on the

3 ×#calculus

3 ×#execution

3 ×#how

3 ×#using