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)

12 ×#logic
8 ×#reasoning
6 ×#semantics
4 ×#knowledge base
4 ×#modelling
4 ×#on the
3 ×#calculus
3 ×#execution
3 ×#how
3 ×#using

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.