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)

14 ×#logic
13 ×#reasoning
7 ×#representation
4 ×#framework
4 ×#nondeterminism
4 ×#on the
3 ×#algorithm
3 ×#how
3 ×#information management
2 ×#complexity

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.