## Jon Doyle, Erik Sandewall, Pietro Torasso

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

KR, 1994.

@proceedings{KR-1994, address = "KR'94). Bonn, Germany", editor = "Jon Doyle and Erik Sandewall and Pietro Torasso", isbn = "1-55860-328-X", publisher = "{Morgan Kaufmann}", title = "{Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning}", year = 1994, }

### Contents (60 items)

- KR-1994-ArtaleF #logic
- A Computational Account for a Description Logic of Time and Action (AA, EF), pp. 3–14.
- KR-1994-AttardiS #proving
- Proofs in Context (GA, MS), pp. 15–26.
- KR-1994-BarndenHIS #implementation #nondeterminism #reasoning
- An Integrated Implementation of Simulative, Uncertain and Metaphorical Reasoning about Mental States (JAB, SH, EI, GCS), pp. 27–38.
- KR-1994-Ben-EliyahuP #algorithm #modelling #performance #reasoning
- Reasoning with Minimal Models: Efficient Algorithms and Applications (RBE, LP), pp. 39–50.
- KR-1994-Bennett #logic #reasoning
- Spatial Reasoning with Propositional Logics (BB), pp. 51–62.
- KR-1994-Bochman #on the
- On the Relation Between Default and Modal Consequence Relations (AB), pp. 63–74.
- KR-1994-Boutilier #logic #towards
- Toward a Logic for Qualitative Decision Theory (CB), pp. 75–86.
- KR-1994-BrafmanT #modelling
- Belief Ascription and Mental-Level Modelling (RIB, MT), pp. 87–98.
- KR-1994-CadoliEG #logic #query
- Default Logic as a Query Language (MC, TE, GG), pp. 99–108.
- KR-1994-CalvaneseLN #framework #representation
- A Unified Framework for Class-Based Representation Formalisms (DC, ML, DN), pp. 109–120.
- KR-1994-CohenH #learning #logic
- Learning the Classic Description Logic: Theoretical and Experimental Results (WWC, HH), pp. 121–133.
- KR-1994-DechterR #revisited
- Directional Resolution: The Davis-Putnam Procedure, Revisited (RD, IR), pp. 134–145.
- KR-1994-DelgrandeS #approach #reasoning
- A General Approach to Specificity in Default Reasoning (JPD, TS), pp. 146–157.
- KR-1994-Eugenio #natural language #representation
- Action Representation for Interpreting Purpose Clauses in Natural Language Instructions (BDE), pp. 158–169.
- KR-1994-DuboisP
- Conditional Objects as Nonmonotonic Consequence Relations: Main Results (DD, HP), pp. 170–177.
- KR-1994-EtzioniGW #reasoning
- Tractable Closed World Reasoning with Updates (OE, KG, DSW), pp. 178–189.
- KR-1994-FriedmanH #framework #knowledge-based
- A Knowledge-Based Framework for Belief Change, Part II: Revision and Update (NF, JYH), pp. 190–201.
- KR-1994-FriedmanH94a #complexity #logic #on the
- On the Complexity of Conditional Logics (NF, JYH), pp. 202–213.
- KR-1994-GereviniS #performance #reasoning
- An Efficient Method for Managing Disjunctions in Qualitative Temporal Reasoning (AG, LKS), pp. 214–225.
- KR-1994-GinsbergM #backtracking
- GSAT and Dynamic Backtracking (MLG, DAM), pp. 226–237.
- KR-1994-GoldmanB #nondeterminism #representation
- Representing Uncertainty in Simple Planners (RPG, MSB), pp. 238–245.
- KR-1994-Gotts #how #using
- How Far Can We “C”? Defining a “Doughnut” Using Connection Alone (NMG), pp. 246–257.
- KR-1994-GruberO #ontology
- An Ontology for Engineering Mathematics (TRG, GRO), pp. 258–269.
- KR-1994-GuarinoCG #category theory #ontology
- An Ontology of Meta-Level Categories (NG, MC, PG), pp. 270–280.
- KR-1994-Hunter #reasoning
- Defeasible Reasoning with Structured Information (AH), pp. 281–292.
- KR-1994-InoueS #on the
- On Positive Occurrences of Negation as Failure (KI, CS), pp. 293–304.
- KR-1994-Jaeger #logic #probability #reasoning
- Probabilistic Reasoning in Terminological Logics (MJ), pp. 305–316.
- KR-1994-Jiang #logic #multi #on the #perspective
- On Multiagent Autoepistemic Logic : An Extrospective View (YJ), pp. 317–328.
- KR-1994-Kambhampati #algorithm #framework #refinement
- Refinement Search as a Unifying Framework for Analyzing Planning Algorithms (SK), pp. 329–340.
- KR-1994-KarthaL
- Actions with Indirect Effects (GNK, VL), pp. 341–350.
- KR-1994-Koehler #logic #reasoning
- An Application of Terminological Logics to Case-based Reasoning (JK), pp. 351–362.
- KR-1994-KoenigS #graph #probability
- Risk-Sensitive Planning with Probabilistic Decision Graphs (SK, RGS), pp. 363–373.
- KR-1994-Konolige #algorithm #problem
- Easy to be Hard: Difficult Problems for Greedy Algorithms (KK), pp. 374–378.
- KR-1994-Koubarakis #complexity #constraints #first-order
- Complexity Results for First-Order Theories of Temporal Constraints (MK), pp. 379–390.
- KR-1994-KuipersS #logic #reasoning
- Reasoning in Logic about Continuous Systems (BK, BS), pp. 391–402.
- KR-1994-LakemeyerM #decidability #first-order #power of
- Enhancing the Power of a Decidable First-Order Reasoner (GL, SM), pp. 403–414.
- KR-1994-LamarreS
- Knowledge, Certainty, Belief, and Conditionalisation (Abbreviated Version) (PL, YS), pp. 415–424.
- KR-1994-LinR #database #how #logic #why
- How to Progress a Database (and Why) I. Logical Foundations (FL, RR), pp. 425–436.
- KR-1994-McCarty
- Modalities Over Actions, I. Model Theory (LTM), pp. 437–448.
- KR-1994-McIlraith #abduction #generative #testing #using
- Generating Tests Using Abduction (SAM), pp. 449–460.
- KR-1994-MoinardR
- Preferential Entailments for Circumscriptions (YM, RR), pp. 461–472.
- KR-1994-Niemela #reasoning
- A Decision Method for Nonmomotonic Reasoning Based on Autoepistemic Reasoning (IN), pp. 473–484.
- KR-1994-PadghamL #framework #logic
- A Framework for Part-of Hierarchies in Terminological Logics (LP, PL), pp. 485–496.
- KR-1994-Rao #formal method #recognition #towards
- Means-End Plan Recognition — Towards a Theory of Reactive Recognition (ASR), pp. 497–508.
- KR-1994-Schild #calculus
- Terminological Cycles and the Propositional µ-Calculus (KS), pp. 509–520.
- KR-1994-Selman
- Near-Optimal Plans, Tractability, and Reactivity (BS), pp. 521–529.
- KR-1994-TanP #evaluation #nondeterminism #specification
- Specification and Evaluation of Preferences Under Uncertainty (SWT, JP), pp. 530–539.
- KR-1994-Teege #difference #logic
- Making the Difference: A Subtraction Operation for Description Logics (GT), pp. 540–550.
- KR-1994-Val #compilation #database #how
- Tractable Databases: How to Make Propositional Unit Resolution Complete Through Compilation (AdV), pp. 551–561.
- KR-1994-BaalenF #representation
- The Role of Reversible Grammars in Translating Between Representation Languages (JVB, RF), pp. 562–571.
- KR-1994-BeekD #consistency #constraints
- Constraint Tightness versus Global Consistency (PvB, RD), pp. 572–582.
- KR-1994-HoekJT #logic
- Honesty in Partial Logic (WvdH, JJ, ET), pp. 583–594.
- KR-1994-Meyden
- Mutual Belief Revision (RvdM), pp. 595–606.
- KR-1994-DamasioNP #knowledge base #logic programming #named
- REVISE: An Extended Logic Programming System for Revising Knowledge Bases (CVD, WN, LMP), pp. 607–618.
- KR-1994-Williams
- Transmutations of Knowledge Systems (MAW), pp. 619–629.
- KR-1994-Carbonell #information management #learning #representation
- Knowledge Representation Issues in Integrated Planning and Learning Systems (JGC), p. 633.
- KR-1994-DuboisP94a #information management #nondeterminism #reasoning #representation #standard
- Non-Standard Theories of Uncertainty in Knowledge Representation and Reasoning (DD, HP), pp. 634–645.
- KR-1994-Woods
- Beyond Ignorance-Based Systems (WAW), p. 646.
- KR-1994-Padghamd #research
- Systems vs. Theory vs. ... : KR&R Research Methodologies (LP), p. 649.
- KR-1994-Schubert #information management #natural language #reasoning #representation
- Exploiting Natural Language for Knowledge Representation and Reasoning (LKS), pp. 650–651.

14 ×#logic

13 ×#reasoning

7 ×#representation

4 ×#framework

4 ×#nondeterminism

4 ×#on the

3 ×#algorithm

3 ×#how

3 ×#information management

2 ×#complexity

13 ×#reasoning

7 ×#representation

4 ×#framework

4 ×#nondeterminism

4 ×#on the

3 ×#algorithm

3 ×#how

3 ×#information management

2 ×#complexity