Proceedings of the Third 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

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

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

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.

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.