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

@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)

11 ×#reasoning
9 ×#logic
7 ×#representation
6 ×#research
5 ×#calculus
5 ×#implementation
4 ×#approach
4 ×#bound
4 ×#constraints
4 ×#question

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.