Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Anthony G. Cohn, Lenhart K. Schubert, Stuart C. Shapiro
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning
KR, 1998.

KER
DBLP
Scholar
Full names Links ISxN
@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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.