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

Luigia Carlucci Aiello, Jon Doyle, Stuart C. Shapiro
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning
KR, 1996.

KER
DBLP
Scholar
Full names Links ISxN
@proceedings{KR-1996,
	address       = "Cambridge, Massachusetts, USA",
	editor        = "Luigia Carlucci Aiello and Jon Doyle and Stuart C. Shapiro",
	isbn          = "1-55860-421-9",
	publisher     = "{Morgan Kaufmann}",
	title         = "{Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning}",
	year          = 1996,
}

Contents (63 items)

KR-1996-Reiter #calculus #concurrent
Natural Actions, Concurrency and Continuous Time in the Situation Calculus (RR), pp. 2–13.
KR-1996-Lakemeyer #calculus
Only Knowing in the Situation Calculus (GL), pp. 14–25.
KR-1996-Kelley #calculus #case study #modelling #problem #using
Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem (TGK), pp. 26–37.
KR-1996-Herzig #revisited
The PMA Revisited (AH), pp. 40–50.
KR-1996-Thielscher #problem
Causality and the Qualification Problem (MT), pp. 51–62.
KR-1996-MillerS #calculus #reasoning
Reasoning about Discontinuities in the Event Calculus (RM, MS), pp. 63–74.
KR-1996-Giunchiglia #calculus
Determining Ramifications in the Situation Calculus (EG), pp. 76–86.
KR-1996-GustafssonD #specification
Embracing Occlusion in Specifying the Indirect Effects of Actions (JG, PD), pp. 87–98.
KR-1996-Sandewall #constraints
Assessments of Ramification Methods that Use Static Domain Constraints (ES), pp. 99–110.
KR-1996-Myers
Strategic Advice for Hierarchical Planners (KLM), pp. 112–123.
KR-1996-SmirnovV #contest #integer #performance #programming #representation
Efficiency Competition through Representation Changes: Pigeonhole Principle vs. Integer Programming Methods (YVS, MMV), pp. 124–134.
KR-1996-KambhampatiY #constraints #on the #refinement
On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning (SK, XY), pp. 135–146.
KR-1996-CrawfordGLR #problem #symmetry
Symmetry-Breaking Predicates for Search Problems (JMC, MLG, EML, AR), pp. 148–159.
KR-1996-JonssonG #constraints #reasoning
Procedural Reasoning in Constraint Satisfaction (AKJ, MLG), pp. 160–171.
KR-1996-GoldenW #representation #revisited
Representing Sensing Actions: The Middle Ground Revisited (KG, DSW), pp. 174–185.
KR-1996-Ginsberg #algorithm #generative
A New Algorithm for Generative Planning (MLG), pp. 186–197.
KR-1996-GiacomoINR #approach
Moving a Robot: The KR&R Approach at Work (GDG, LI, DN, RR), pp. 198–209.
KR-1996-Lemon #logic #semantics
Semantical Foundations of Spatial Logics (OL), pp. 212–219.
KR-1996-Borgo #congruence
A Pointless Theory of Space Based on Strong Connection and Congruence (SB, NG, CM), pp. 220–229.
KR-1996-CohnG #approach #representation
Representing Spatial Vagueness: A Mereological Approach (AGC, NMG), pp. 230–241.
KR-1996-LeshE #recognition #scalability
Scaling Up Goal Recognition (NL, OE), pp. 244–255.
KR-1996-TeijeH #approximate #using
Computing Approximate Diagnoses By Using Approximate Entailment (AtT, FvH), pp. 256–265.
KR-1996-Morgenstern #network #semantics
Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network (LM), pp. 268–279.
KR-1996-Sharma #inheritance #partial order
Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context) (NS), pp. 280–290.
KR-1996-Calvanese #finite #logic #reasoning
Finite Model Reasoning in Description Logics (DC), pp. 292–303.
KR-1996-GiunchigliaS #satisfiability
A SAT-based Decision Procedure for ALC (FG, RS), pp. 304–314.
KR-1996-GiacomoL #logic #reasoning
TBox and ABox Reasoning in Expressive Description Logics (GDG, ML), pp. 316–327.
KR-1996-BaaderS #logic #strict
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report (FB, US), pp. 328–339.
KR-1996-BorgidaM #query
Asking Queries about Frames (AB, DLM), pp. 340–349.
KR-1996-JonssonDB #algebra #classification #subclass
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification (PJ, TD, CB), pp. 352–363.
KR-1996-CadoliDLS #information management #performance #representation
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms (MC, FMD, PL, MS), pp. 364–373.
KR-1996-KautzMS #encoding #logic
Encoding Plans in Propositional Logic (HAK, DAM, BS), pp. 374–384.
KR-1996-BasinMV #framework #implementation #logic
Implementing Modal and Relevance Logics in a Logical Framework (DAB, SM, LV), pp. 386–397.
KR-1996-Brafman #first-order #statistics
“Statistical” First Order Conditionals (RIB), pp. 398–409.
KR-1996-Williams #approach #towards
Towards a Practical Approach to Belief Revision: Reason-Based Change (MAW), pp. 412–420.
KR-1996-FriedmanH
Belief Revision: A Critique (NF, JYH), pp. 421–431.
KR-1996-Costello #modelling #using
Modeling Belief Change using Counterfactuals (TC), pp. 432–443.
KR-1996-MonteiroW #logic #multi
Preferential Multi-Agent Nonmonotonic Logics: Preliminary Report (AMM, JW), pp. 446–452.
KR-1996-SiegelF #logic #representation #theorem
A Representation Theorem for Preferential Logics (PS, LF), pp. 453–460.
KR-1996-Jaeger #independence #representation
Representation Independence of Nonmonotonic Inference Relations (MJ), pp. 461–472.
KR-1996-BaralGP
Value Minimization in Circumscription (CB, AG, AP), pp. 474–481.
KR-1996-Bochman #reasoning
Biconsequence Relations for Nonmonotonic Reasoning (AB), pp. 482–492.
KR-1996-AmatiP #logic #question #reasoning
Is There a Logic of Provability for Nonmonotonic Reasoning? (GA, FP), pp. 493–503.
KR-1996-DungS #approach #reasoning
An Argumentation-theoretic Approach to Reasoning with Specificity (PMD, TCS), pp. 506–517.
KR-1996-CholewinskiMT #reasoning
Default Reasoning System DeReS (PC, VWM, MT), pp. 518–528.
KR-1996-BrassDP #logic programming #source code
Super Logic Programs (SB, JD, TCP), pp. 529–540.
KR-1996-BacchusG #independence
Utility Independence in a Qualitative Decision Theory (FB, AJG), pp. 542–552.
KR-1996-Tennenholtz #equilibrium #on the #social
On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents (MT), pp. 553–561.
KR-1996-Leong #multi #reasoning
Multiple Perspective Reasoning (TYL), pp. 562–573.
KR-1996-LeeG #parallel #reasoning #relational #transitive
Parallel Transitive Reasoning in Mixed Relational Hierarchies (YL, JG), pp. 576–587.
KR-1996-Rychtyckyj #evaluation #industrial #named
DLMS: An Evaluation of KL-ONE in the Automobile Industry (NR), pp. 588–596.
KR-1996-Ghallab #learning #on the #online #recognition #representation
On Chronicles: Representation, On-line Recognition and Learning (MG), pp. 597–606.
KR-1996-VogelT #constraints #inheritance #reasoning
Psychological Constraints on Plausible Default Inheritance Reasoning (CV, JT), pp. 608–619.
KR-1996-Ginsberg96a #question
Do Computers Need Common Sense? (MLG), pp. 620–626.
KR-1996-Sloman
Actual Possibilities (AS), pp. 627–638.
KR-1996-McCarthy
From Here to Human-Level AI (JM0), pp. 640–646.
KR-1996-Gottlob #complexity #power of
Complexity and Expressive Power of KR Formalisms (GG), pp. 647–649.
KR-1996-Fikes #named #ontology #question #research #what
Ontologies: What Are They, and Where’s The Research? (RF), pp. 652–653.
KR-1996-Mark #named #ontology #question #research #what
Ontologies: What Are They, and Where’s The Research? (WSM), pp. 654–655.
KR-1996-MacGregor #bound #implementation #research
Implementations and Research: Discussions at the Boundary (RMM), pp. 657–658.
KR-1996-Hendler #bound #implementation #research
Implementations and Research: Discussions at the Boundary (JAH), pp. 659–660.
KR-1996-Schubert #bound #implementation #research
Implementations and Research: Discussions at the Boundary (LKS), pp. 661–662.
KR-1996-Shapiro #bound #implementation #research
Implementations and Research: Discussions at the Boundary (SCS), pp. 663–664.

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.