Bernhard Nebel, Charles Rich, William R. Swartout
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning
KR, 1992.

@proceedings{KR-1992,
	editor        = "Bernhard Nebel and Charles Rich and William R. Swartout",
	isbn          = "1-55860-262-3",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 1992,
}

Contents (69 items)

14 ×#reasoning
13 ×#logic
11 ×#representation
6 ×#information management
5 ×#semantics
3 ×#approximate
3 ×#concept
3 ×#constraints
2 ×#approach
2 ×#architecture

KR-1992-Gibert #declarative #information management #representation #scheduling

Declarative Knowledge Representation in Planning and Scheduling (JG), pp. 3–13.

KR-1992-XiongSS #backtracking #scheduling

Intelligent Backtracking Techniques for Job Shop Scheduling (YX, NMS, KPS), pp. 14–23.

KR-1992-Koubarakis #constraints #exclamation

Dense Time and Temporal Constraints with != (MK), pp. 24–35.

KR-1992-SchragBC #reasoning

Managing Disjunction for Practical Temporal Reasoning (RS, MB, JC), pp. 36–46.

KR-1992-Davis #finite #infinity

Infinite Loops in Finite Time: Some Observations (ED), pp. 47–58.

KR-1992-McCartyM #reasoning

Reasoning About Indefinite Actions (LTM, RvdM), pp. 59–70.

KR-1992-HaddawyH

Representations for Decision-Theoretic Planning: Utility Functions for Deadline Goals (PH, SH), pp. 71–82.

KR-1992-MintonDBP #partial order #performance

Total Order vs. Partial Order Planning: Factors Influencing Performance (SM, MD, JLB, ABP), pp. 83–92.

KR-1992-Haas

A Reactive Planner that Uses Explanation Closure (ARH), pp. 93–102.

KR-1992-PenberthyW #named #partial order

UCPOP: A Sound, Complete, Partial Order Planner for ADL (JSP, DSW), pp. 103–114.

KR-1992-EtzioniHWDLW #approach

An Approach to Planning with Incomplete Information (OE, SH, DSW, DD, NL, MW), pp. 115–125.

KR-1992-Backstrom #equivalence

Equivalence and Tractability Results for SAS+ Planning (CB), pp. 126–137.

KR-1992-ZhangP #diagrams

Stepwise-Decomposable Influence Diagrams (NLZ, DLP), pp. 141–152.

KR-1992-KollerH #approximate #logic #reasoning

A Logic for Approximate Reasoning (DK, JYH), pp. 153–164.

KR-1992-RandellCC #logic

A Spatial Logic based on Regions and Connection (DAR, ZC, AGC), pp. 165–176.

KR-1992-Davis92a #axiom #process

Axiomatizing Qualitative Process Theory (ED), pp. 177–188.

KR-1992-MyersK #reasoning

Reasoning with Analogical Representations (KLM, KK), pp. 189–200.

KR-1992-Nayak #order #reasoning #using

Order of Magnitude Reasoning using Logarithms (PPN), pp. 201–210.

KR-1992-Grove #communication #semantics

Semantics for Knowledge and Communication (AJG), pp. 213–224.

KR-1992-ShohamT #multi

Emergent Conventions in Multi-Agent Systems: Initial Experimental Results and Observations (YS, MT), pp. 225–231.

KR-1992-Maida #communication #information management #representation #requirements

Knowledge Representation Requirements for Description-Based Communication (ASM), pp. 232–243.

KR-1992-Brachman #information management #representation

“Reducing” CLASSIC to Practice: Knowledge Representation Theory Meets Reality (RJB), pp. 247–258.

KR-1992-Borgida #development #logic #towards

Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed (AB), pp. 259–269.

KR-1992-BaaderHNPF #analysis #empirical #optimisation #representation

An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or Making KRIS Get a Move On (FB, BH, BN, HJP, EF), pp. 270–281.

KR-1992-WeidaL #constraints #network #reasoning #recognition

Terminological Reasoning with Constraint Networks and an Application to Plan Recognition (RAW, DJL), pp. 282–293.

KR-1992-QuantzR #logic #semantics

A Preference Semantics for Defaults in Terminological Logics (JQ, VR), pp. 294–305.

KR-1992-BaaderH #information management #representation

Embedding Defaults into Terminological Knowledge Representation Formalisms (FB, BH), pp. 306–317.

KR-1992-Hanschke #concept #interactive #specification

Specifying Role Interaction in Concept Languages (PH), pp. 318–329.

KR-1992-CadoliS #approximate #concept

Approximation in Concept Description Languages (MC, MS), pp. 330–341.

KR-1992-DoniniLNSN #concept

Adding Epistemic Operators to Concept Languages (FMD, ML, DN, AS, WN), pp. 342–353.

KR-1992-Iwanska #natural language #representation #semantics

A General Semantic Model of Negation in Natural Language: Representation and Inference (LI), pp. 357–368.

KR-1992-Poesio

Conversational Events and Discourse State Change: A Preliminary Report (MP), pp. 369–380.

KR-1992-GreinerS #approximate #learning

Learning Useful Horn Approximations (RG, DS), pp. 383–392.

KR-1992-Dalal #deduction #information management #representation

Tractable Deduction in Knowledge Representation Systems (MD), pp. 393–402.

KR-1992-GivanM

New Results on Local Inference Relations (RG, DAM), pp. 403–412.

KR-1992-BollingerP #constraints #logic #order

An Order-Sorted Logic with Sort Literals and Disjointness Constraints (TB, UP), pp. 413–424.

KR-1992-GabbayO #higher-order #logic #quantifier

Quantifier Elimination in Second-Order Predicate Logic (DMG, HJO), pp. 425–435.

KR-1992-RaoG #architecture

An Abstract Architecture for Rational Agents (ASR, MPG), pp. 439–449.

KR-1992-Delgrande #logic

Accessibility in Logics of Explicit Belief (JPD), pp. 450–461.

KR-1992-Sadek #case study #logic

A Study in the Logic of Intention (MDS), pp. 462–473.

KR-1992-Jang #feedback #hybrid #information management #representation

Knowledge Representation and Incorporation in a Hybrid System with Feedback (YJ), pp. 477–488.

KR-1992-FriedrichN #modelling

Choosing Observations and Actions in Model-Based Diagnosis/Repair Systems (GF, WN), pp. 489–498.

KR-1992-NgM #abduction #empirical #evaluation #recognition

Abductive Plan Recognition and Diagnosis: A Comprehensive Empirical Evaluation (HTN, RJM), pp. 499–508.

KR-1992-Konolige #reasoning #using

Using Default and Causal Reasoning in Diagnosis (KK), pp. 509–520.

KR-1992-FreitagF #independence #problem

Focusing on Independent Diagnosis Problems (HF, GF), pp. 521–531.

KR-1992-RaimanK #maintenance

A Minimality Maintenance System (OR, JdK), pp. 532–538.

KR-1992-Rymon #set

Search through Systematic Set Enumeration (RR), pp. 539–550.

KR-1992-Arlo-CostaS #logic

Maps Between Nonmonotonic and Conditional Logic (HLAC, SJS), pp. 553–564.

KR-1992-CroccoL #logic #on the

On the Connection between Non-monotonic Inference Systems and Conditional Logics (GC, PL), pp. 565–571.

KR-1992-Lamarre #proving #theorem proving

A Promenade from Monotonicity to Non-Monotonicity Following a Theorem Prover (PL), pp. 572–580.

KR-1992-Schwarz #bound #logic

Bounding Introspection in Nonmonotonic Logic (GS), pp. 581–590.

KR-1992-Dix #framework #logic programming #representation #semantics #source code

A Framework for Representing and Characterizing Semantics of Logic Programs (JD), pp. 591–602.

KR-1992-LifschitzW #reasoning #set

Answer Sets in General Nonmonotonic Reasoning (VL, TYCW), pp. 603–614.

KR-1992-Simonet #exception #inheritance

RS Theory: A Really Skeptical Theory of Inheritance with Exceptions (GS), pp. 615–626.

KR-1992-NiemelaR #complexity #on the #reasoning

On the Impact of Stratification on the Complexity of Nonmonotonic Reasoning (IN, JR), pp. 627–638.

KR-1992-Lakemeyer #afraid to ask

All You Ever Wanted to Know about Tweety (But Were Afraid to Ask) (GL), pp. 639–648.

KR-1992-Ryan #representation

Representing Defaults as Sentences with Reduced Priority (MR), pp. 649–660.

KR-1992-GoldszmidtP #approach #reasoning

Rank-based Systems: A Simple Approach to Belief Revision, Belief Update, and Reasoning about Evidence and Actions (MG, JP), pp. 661–672.

KR-1992-BenferhatDP #logic #representation

Representing Default Rules in Possibilistic Logic (SB, DD, HP), pp. 673–684.

KR-1992-Boutilier

Normative, Subjunctive, and Autoepistemic Defaults: Adopting the Ramsey Test (CB), pp. 685–696.

KR-1992-NejdlB #query #semantics

Asking About Possibilities — Revision and Update Semantics for Subjunctive Queries (WN, MB), pp. 697–708.

KR-1992-PinkasL #consistency #nondeterminism #reasoning #taxonomy

Reasoning from Inconsistency: A Taxonomy of Principles for Resolving Conflict (GP, RPL), pp. 709–719.

KR-1992-Lownie #logic

A Contraction Operator For Classical Propositional Logic (TML), pp. 720–731.

KR-1992-CordierS #reasoning

A Temporal Revision Model for Reasoning about World Change (MOC, PS), pp. 732–739.

KR-1992-Val #knowledge base

Computing Knowledge Base Updates (AdV), pp. 740–750.

KR-1992-SkinnerL #architecture #paradigm #reasoning

An Architecture for Integrating Reasoning Paradigms (JMS, GFL), pp. 753–761.

KR-1992-ChaudhriHM #concurrent #knowledge base

Concurrency Control for Knowledge Bases (VKC, VH, JM), pp. 762–773.

KR-1992-PatilFPMFGN

The DARPA Knowledge Sharing Effort: A Progress Report (RSP, RF, PFPS, DPM, TWF, TRG, RN), pp. 777–788.

KR-1992-Reiter #reasoning #research #what

Twelve Years of Nonmonotonic Reasoning Research: Where (and What) Is the Beef (RR), p. 789.