Selection of references for the ETAI area

Reasoning about Actions and Change

International Joint Conference on Artificial Intelligence

IJCAI-97

The following papers at the conference addressed some aspect(s) of Reasoning about Actions and Change.

c-ijcai-97-Baral

Baral, Lobo:
Defeasible specifications in action theories.

c-ijcai-97-Bjareland

Bjäreland, Karlsson:
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change with Nondeterminism.

c-ijcai-97-Costello

Costello:
"Change, Change, Change: three approaches".

c-ijcai-97-DeGiacomo

DeGiacomo, Lesperance and Levesque:
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus.

c-ijcai-97-delVal

Alvaro Val, Maynard-Reid II and Shoham:
Qualitative Reasoning about Perception and Belief.

c-ijcai-97-Drakengren_1

Drakengren, Jonsson:
Towards a Complete Classification of Tractability in Allen's Algebra.

c-ijcai-97-Drakengren_2

Drakengren, Bjäreland:
Reasoning about Action in Polynomial Time.

c-ijcai-97-Foo

Foo, Zhang, Peppas, Pagnucco, and Nayak:
"Action Localness, Genericity and Invariants in STRIPS".

c-ijcai-97-Freed

Freed:
Managing decision resources in plan execution.

c-ijcai-97-Friedman_2

Friedman, Weld and Kwok:
Efficiently Executing Information-Gathering Plans.

c-ijcai-97-Geffner

Geffner:
"Causality, Constraints and the Indirect Effect of Actions".

c-ijcai-97-Givan

Givan, Dean:
"Model Minimization, Regression, and Propositional STRIPS Planning".

c-ijcai-97-Karlsson

Karlsson:
Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus.

c-ijcai-97-Kitamura

Kitamura, Ikeda and Mizoguchi:
A Causal Time Ontology for Qualitative Reasoning.

c-ijcai-97-Labrou

Labrou, Finin:
Semantics and Conversations for an Agent Communication Language.

c-ijcai-97-Lamperti

Lamperti, Pogliano:
Event-Based Reasoning for Short Circuit Diagnosis in Power Transmission Networks.

c-ijcai-97-Lin

Lin:
Applications of the Situation Calculus To Formalizing Control and Strategic Information: The Prolog Cut Operator.

c-ijcai-97-Lukaszewicz

Lukaszewicz, Madalinska-Bugaj:
Reasoning about Plans.

c-ijcai-97-Pell

Pell, Gat, Keesing, Muscettola, and Smith:
Plan Execution for Autonomous Spacecraft.

c-ijcai-97-Penders

Penders, Braspenning:
Situated Actions and Cognition.