List of contents of
the Proceedings of the
International Conf on Knowledge Representation and Reasoning,
1996 (KR-96)
- c-kr-96-2
- Ray Reiter:
Natural Actions, Concurrency and Continuous Time in the Situation Calculus.
Pages 2-13.
- c-kr-96-14
- Gerhard Lakemeyer:
Only Knowing in the Situation Calculus.
Pages 14-25.
- c-kr-96-26
- Todd G. Kelley:
Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem.
Pages 26-39.
- c-kr-96-40
- Andreas Herzig:
The PMA Revisited.
Pages 40-50.
- c-kr-96-51
- Michael Thielscher:
Causality and the Qualification Problem.
Pages 51-62.
- c-kr-96-63
- Rob Miller and Murray Shanahan:
Reasoning about Discontinuities in the Event Calculus.
Pages 63-75.
- c-kr-96-76
- Enrico Giunchiglia:
Determining Ramifications in the Situation Calculus.
Pages 76-86.
- c-kr-96-87
- Joakim Gustafsson and Patrick Doherty:
Embracing Occlusion in Specifying the Indirect Effects of Actions.
Pages 87-98.
- c-kr-96-99
- Erik Sandewall:
Assessment of ramification methods that use static domain constraints.
Pages 99-110.
- c-kr-96-112
- Karen L. Myers:
Strategic Advice for Hierarchical Planners.
Pages 112-123.
- c-kr-96-124
- Yury V. Smirnov and Manuela M. Veloso:
Efficiency Competition through Representation Changes: Pigeonhole Principle vs.
Pages 124-134.
- c-kr-96-135
- Subbarao Kambhampati and Xiuping Yang:
On the role of Disjunctive Representations and Constraint Propagation in Refinement Planning.
Pages 135-146.
- c-kr-96-148
- James Crawford, Matthew Ginsberg, Eugene Luks, and Amitabha Roy:
Symmetry-Breaking Predicates for Search Problems.
Pages 148-159.
- c-kr-96-160
- Ari K. Jónsson and Matthew Ginsberg:
Procedural Reasoning in Constraint Satisfaction.
Pages 160-171.
- c-kr-96-174
- Keith Golden and Daniel Weld:
Representing Sensin Actions: The Middle Ground Revisited.
Pages 174-185.
- c-kr-96-186
- Matthew Ginsberg:
A New Algorithm for Generative Planning.
Pages 186-197.
- c-kr-96-198
- Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati:
Moving a Robot: The KR&R Approach at Work.
Pages 198-209.
- c-kr-96-212
- Oliver Lemon:
Semantical Foundations of Spatial Logics.
Pages 212-219.
- c-kr-96-220
- Stefano Borgo, Nicola Guarino, and Claudio Masolo:
A Pointless Theory of Space Based on Strong Connection and Congruence.
Pages 220-229.
- c-kr-96-230
- Anthony G. Cohn and Nicholas Mark Gotts:
Representing Spatial Vagueness: A Mereological Approach.
Pages 230-241.
- c-kr-96-244
- Neal Lesh and Oren Etzioni:
Scaling up goal recognition.
Pages 244-255.
- c-kr-96-256
- Annette ten Teije and Frank van Harmelen:
Computing approximate diagnoses by using approximate entailment.
Pages 256-265.
- c-kr-96-268
- Leora Morgenstern:
Inheriting Well-formed Formulae in a Formula-Agumented Semantic Network.
Pages 268-279.
- c-kr-96-280
- Nirad Sharma:
Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context).
Pages 280-290.
- c-kr-96-292
- Diego Calvanese:
Finite Model Reasoning in Description Logics.
Pages 292-303.
- c-kr-96-304
- Fausto Giunchiglia and Roberto Sebastiani:
A SAT-based decision procedure for ALC.
Pages 304-314.
- c-kr-96-316
- Giuseppe De Giacomo and Maurizio Lenzerini:
TBox and ABox Reasoning in Expressive Description Logics.
Pages 316-327.
- c-kr-96-328
- Franz Baader and Ulrike Sattler:
Number Restrictions on Complex Roles in Description Logics: A Preliminary Report.
Pages 328-339.
- c-kr-96-340
- Alexander Borgida and Deborah L. McGuinness:
Asking Queries about Frames.
Pages 340-349.
- c-kr-96-352
- Peter Jonsson, Thomas Drakengren, and Christer Bäckström:
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification.
Pages 352-363.
- c-kr-96-364
- Marco Cadoli, Francesco M. Donini, Paolo Liberatore, and Marco Schaerf:
Comparing Space Efficiency of Propositional Knowledge Representation Formalisms.
Pages 364-373.
- c-kr-96-374
- Henry Kautz, David McAllester, and Bart Selman:
Encoding Plans in Propositional Logic.
Pages 374-384.
- c-kr-96-386
- David Basin, Seán Matthews, and Luca Viganò:
Implementing Modal and Relevance Logics in a Logical Framework.
Pages 386-397.
- c-kr-96-398
- Ronen I. Brafman:
"Statistical" First Order Conditionals.
Pages 398-409.
- c-kr-96-412
- Mary-Anne Williams:
Towards a Practical Approach to Belief Revision: Reason-Based Change.
Pages 412-420.
- c-kr-96-421
- Nir Friedman and Joseph Y. Halpern:
Belief Revision: A Critique.
Pages 421-431.
- c-kr-96-432
- Tom Costello:
Modeling Belief Change using Counterfactuals.
Pages 432-443.
- c-kr-96-446
- Ana Maria Monteiro and Jacques Wainer:
Preferential multi-agent nonmonotonic logics: Preliminary report.
Pages 446-452.
- c-kr-96-453
- Pierre Siegel and Lionel Forget:
A representation theorem for preferential logics.
Pages 453-460.
- c-kr-96-461
- Manfred Jaeger:
Representation Independence of Nonmonotonic Inference Relation.
Pages 461-472.
- c-kr-96-474
- Chitta Baral, Alfredo Gabaldon, and Alessandro Provetti:
Value Minimization in Circumscription.
Pages 474-481.
- c-kr-96-482
- Alexander Bochman:
Bioconsequences Relations for Nonmonotonic Reasoning.
Pages 482-492.
- c-kr-96-493
- Gianni Amati and Fiora Pirri:
Is there a logic of provability for nonmonotonic reasoning?.
Pages 493-503.
- c-kr-96-506
- Phan Minh Dung and Tran Cao Son:
An Argumentation-theoretic Approach to Reasoning with Specificity.
Pages 506-517.
- c-kr-96-518
- Pawel Cholewinski, Victor W. Marek, and Miroslaw Truszczynski:
Default Reasoning System DeReS.
Pages 518-528.
- c-kr-96-529
- Stefan Brass, Jürgen Dix, and Teodor C. Przymusinski:
Super Logic Programs.
Pages 529-540.
- c-kr-96-542
- Fahiem Bacchus and Adam J. Grove:
Utility Independence in a Qualitative Decision Theory.
Pages 542-552.
- c-kr-96-553
- Moshe Tenneholtz:
On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents.
Pages 553-561.
- c-kr-96-562
- Tze-Yun Leong:
Multiple Perspective Reasoning.
Pages 562-573.
- c-kr-96-576
- Eunice (Yugyung) Lee and James Geller:
Parallel Transitive Reasoning in Mixed Relational Hierarchies.
Pages 576-587.
- c-kr-96-588
- Nestor Rychtyckyj:
DLMS: An Evaluation of KL-ONE in the Automobile Industry.
Pages 588-596.
- c-kr-96-597
- Malik Ghallab:
On Chronicles: Representation, On-line Recognition and Learning.
Pages 597-606.
- c-kr-96-608
- Carl Vogel and Judith Tonhauser:
Psychological Constraints on Plausible Default Inheritance Reasoning.
Pages 608-619.
- c-kr-96-620
- Matthew Ginsberg:
Do Computers Need Common Sense?.
Pages 620-626.
- c-kr-96-627
- Aaron Sloman:
Actual Possibilities.
Pages 627-638.
- c-kr-96-640
- John McCarthy:
From Here to Human-Level AI.
Pages 640-646.
- c-kr-96-647
- Georg Gottlob:
Complexity and Expressive Power of KR Formalisms (abstract only).
Pages 647-649.
- c-kr-96-652
- Richard P. Fikes:
Position papers by William S. Mark
Ontologies: What Are They, and Where's The Research?.
Pages 652-655.
- c-kr-96-656
- Robert MacGregor:
Position papers by James Hendler, Lenhart Schubert, and Stuart C. Shapiro
Implementations and Research: Discussions at the Boundary.
Pages 656-664.
11-Sep-97 17:44