KR'96 Conference Program

• Monday Evening Opening Reception
• Tuesday, November 5, 1996
  • Grand Ballroom A
    • Plenary Session: Invited Talk
    • Session 1: Planning
    • Session 3: Situation Calculus
    • Panel on Ontologies
  • Grand Ballroom B
    • Plenary Session: Invited Talk
    • Session 2: Belief Revision
    • Session 4: Description Logics: Expressivity & Complexity
    • Reports on Related Conferences, Workshops, and Symposia
• Wednesday, November 6, 1996
  • Grand Ballroom A
    • Session 5: Constraints
    • Session 7: Reports on Implementations
    • Session 9: Psychological and Philosophical Connections
    • KR'96 Conference Banquet
  • Grand Ballroom B
    • Session 6: Description Logics: Reasoning Techniques
    • Session 8: Nonmonotonic Reasoning
    • Biconsequence Relations for Nonmonotonic Reasoning
    • Session 10: Ramification
    • KR'96 Conference Banquet
• Thursday, November 7, 1996
  • Grand Ballroom A
    • Session 11: Deductive Systems
    • Session 13: Spatial Representation & Reasoning
    • Session 15: Decision Theory
    • Plenary Session: Panel
  • Grand Ballroom B
    • Session 12: Inheritance
    • Session 14: Preference Logic
    • Session 16: Nonmonotonic Logics & Logic Programming
    • Plenary Session: Panel
• Friday, November 8, 1996
  • Grand Ballroom A
    • Plenary Session: Invited Talk
    • Session 17: Robotics
    • Session 19: Actions & Events
  • Grand Ballroom B
    • Plenary Session: Invited Talk
    • Session 18: Complexity Measures
    • Session 20: Recognition & Diagnosis

Grand Ballrooms A and B

Opening Reception (7:00 - 9:00 PM)

Grand Ballroom A

Plenary Session: Invited Talk

From Here to Human-Level AI
John McCarthy

Coffee Break (10:10 - 10:30)

Session 1: Planning (10:30 - 12:15)

Strategic Advice for Hierarchical Planners
Karen L. Myers

Representation Changes in Combinatorial Problems: Pigeonhole Principle versus Integer Programming Relaxation
Yury V. Smirnov and Manuela M. Veloso

On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning
Subbarao Kambhampati and Xiuping Yang

Lunch Break (12:15 - 1:45)

Session 3: Situation Calculus (1:45 - 3:30)

Natural Actions, Concurrency and Continuous Time in the Situation Calculus
Ray Reiter

Only Knowing in the Situation Calculus
Gerhard Lakemeyer

Modeling Complex Systems in the Situation Calculus: A Case Study Using the Dagstuhl Steam Boiler Problem
T. G. Kelley

Coffee Break (3:30 - 4:00)

Panel (4:00 - 5:45)

Panel: Ontologies: What Are They, and Where's The Research?
Richard P. Fikes, Chair
Mark Fox, Nicola Guarino, William Mark, panelists

Grand Ballroom B

Plenary Session: Invited Talk (9:00 - 10:10)

From Here to Human-Level AI
John McCarthy

Coffee Break (10:10 - 10:30)

Session 2: Belief Revision (10:30 - 12:15)

A Practical Approach to Belief Revision: Reason-based Change
M. A. Williams

Belief Revision: A Critique
Nir Friedman and Joseph Y. Halpern

Modeling Belief Change Using Counterfactuals
Tom Costello

Lunch Break (12:15 - 1:45)

Session 4: Description Logics: Expressivity & Complexity (1:45 - 3:30)

TBox and ABox Reasoning in Expressive Description Logics
Giuseppe De Giacomo and Maurizio Lenzerini

Number Restrictions on Complex Roles in Description Logics: A Preliminary Report
Franz Baader and Ulrike Sattler

Asking Queries about Frames
Alexander Borgida and Deborah L. McGuinness

Coffee Break (3:30 - 4:00)

Reports (4:00 - 5:45)

Reports on Related Conferences, Workshops, and Symposia
Ronald P. Loui, Chair

Grand Ballroom A

Session 5: Constraints (9:00 - 10:10)

Symmetry-Breaking Predicates for Search Problems
James Crawford, Matthew L. Ginsberg, Eugene Luck, and Amitabha Roy

Procedural Reasoning in Constraint Satisfaction
Ari K. Jonsson and Matthew L. Ginsberg

Coffee Break (10:10 - 10:30)

Session 7: Reports on Implementations (10:30 - 12:15)

Parallel Transitive Reasoning in Mixed Relational Hierarchies
Eunice (Yugyung) Lee and James Geller

DLMS: An Evaluation of KL-ONE in the Automobile Industry
Nestor Rychtyckyj

On Chronicles: Representation, On-line Recognition and Learning
Malik Ghallab

Lunch Break (12:15 - 1:45)

Session 9: Psychological and Philosophical Connections (1:45 - 3:30)

Psychological Constraints on Plausible Default Inheritance Reasoning
Carl Vogel and Judith Tonhauser

Do Computers Need Common Sense?
Matthew L. Ginsberg

Actual Possibilities
Aaron Sloman

KR'96 Conference Banquet (6:00 - 10:00)

The KR'96 Conference Banquet
New England Aquarium

Grand Ballroom B

Session 6: Description Logics: Reasoning Techniques (9:00 - 10:10)

Finite Model Reasoning in Description Logics
Diego Calvanese

A SAT-based Decision Procedure for ALC
Fausto Giunchiglia and Roberto Sebastiani

Coffee Break (10:10 - 10:30)

Session 8: Nonmonotonic Reasoning (10:30 - 12:15)

Value Minimization in Circumscription
Chitta Baral, Alfredo Gabaldon, and Alessandro Provetti

Biconsequence Relations for Nonmonotonic Reasoning
Alexander Bochman

Is There a Logic of Provability for Nonmonotonic Reasoning?
Gianni Amati and Fiora Pirri

Lunch Break (12:15 - 1:45)

Session 10: Ramification (1:45 - 3:30)

Determining Ramifications in the Situation Calculus
Enrico Giunchiglia

Embracing Occlusion in Specifying the Indirect Effects of Actions
Joakim Gustafsson and Patrick Doherty

Comparative Assessments of Ramification Methods that Use Static Domain Constraints
Erik Sandewall

KR'96 Conference Banquet (6:00 - 10:00)

The KR'96 Conference Banquet
New England Aquarium

Grand Ballroom A

Session 11: Deductive Systems (9:00 - 10:10)

Implementing Modal and Relevance Logics in a Logical Framework
David Basin, Sean Matthews, Luca Viganò

"Statistical" First Order Conditionals
Ronen I. Brafman

Coffee Break (10:10 - 10:30)

Session 13: Spatial Representation & Reasoning (10:30 - 12:15)

Semantical Foundations of Spatial Logics
Oliver Lemon and Ian Pratt

A Pointless Theory of Space Based on Strong Connection and Congruence
Stefano Borgo, Nicola Guarino, and Claudio Masolo

Representing Spatial Vagueness: A Mereological Approach
Anthony G. Cohn and Nicholas Mark Gotts

Lunch Break (12:15 - 1:45)

Session 15: Decision Theory (1:45 - 3:30)

Using Notions of Utility Independence in Qualitative Decision Theory
Fahiem Bacchus and Adam J. Grove

On Stable Social Laws and Qualitative Equilibrium for Risk-Averse Agents
Moshe Tenneholtz

Multiple Perspective Reasoning
Tze-Yun Leong

Coffee Break (3:30 - 4:00)

Plenary Session: Panel (4:00 - 5:45)

Implementations and Research: Discussions at the Boundary
Robert MacGregor, Chair

Grand Ballroom B

Session 12: Inheritance (9:00 - 10:10)

Inheriting Well-formed Formulae in a Formula-Augmented Semantic Network
Leora Morgenstern

Partial Orders of Sorts and Inheritances (or Placing Inheritance in Context)
Nirad Sharma

Coffee Break (10:10 - 10:30)

Session 14: Preference Logic (10:30 - 12:15)

Preferential Multi-agent Nonmonotonic Logics
Ana Maria Monteiro and Jacques Wainer

A Representation Theorem for Preferential Logics
Pierre Siegel and Lionel Forget

Representation Independence of Nonmonotonic Inference Relations
Manfred Jaeger

Lunch Break (12:15 - 1:45)

Session 16: Nonmonotonic Logics & Logic Programming (1:45 - 3:30)

An Argumentation-theoretic Approach to Reasoning with Specificity
Phan Minh Dung and Tran Cao Son

Default Reasoning System DeReS
Pawel Cholewinski, Victor W. Marek, and Miroslaw Truszczynski

Super Logic Programs
Stefan Brass, Jurgen Dix, and Teodor C. Przymusinski

Coffee Break (3:30 - 4:00)

Plenary Session: Panel (4:00 - 5:45)

Implementations and Research: Discussions at the Boundary
Robert MacGregor, Chair

Grand Ballroom A

Plenary Session: Invited Talk (9:00 - 10:10)

Complexity and Expressive Power of KR Formalisms
Georg Gottlob

Coffee Break (10:10 - 10:30)

Session 17: Robotics (10:30 - 12:15)

Representing Sensing Actions: The Middle Ground Revisited
Keith Golden and Daniel Weld

A New Algorithm for Generative Planning
Matthew L. Ginsberg

Moving a Robot: The KR&R Approach at Work
Giuseppe De Giacomo, Luca Iocchi, Daniele Nardi, and Riccardo Rosati

Lunch Break (12:15 - 1:45)

Session 19: Actions & Events (1:45 - 3:30)

The PMA Revisited
Andreas Herzig

Causality and the Qualification Problem
Michael Thielscher

Reasoning about Discontinuities in the Event Calculus
Rob Miller and Murray Shanahan

Grand Ballroom B

Plenary Session: Invited Talk (9:00 - 10:10)

Complexity and Expressive Power of KR Formalisms
Georg Gottlob

Coffee Break (10:10 - 10:30)

Session 18: Complexity Measures (10:30 - 12:15)

Tractable Subclasses of the Point-Interval Algebra: A Complete Classification
Peter Jonsson, Thomas Drakengren and Christer Bäckstrom

Comparing Space Efficiency of Propositional Knowledge Representation Formalisms
Marco Cadoli, Francesco M. Donini, Paolo Liberatore and Marco Schaerf

Encoding Plans in Propositional Logic
Henry Kautz, David McAllester, and Bart Selman

Lunch Break (12:15 - 1:45)

Session 20: Recognition & Diagnosis (1:45 - 2:55)

Scaling up Goal Recognition
Neal Lesh and Oren Etzioni

Computing Approximate Diagnoses by Using Approximate Entailment
Annette ten Teije and Frank van Harmelen

Back to KR Home Page

Last modified: Mon Apr 7 11:13:13 EDT 1997