Selection of references for the ETAI area

Reasoning about Actions and Change

Formal and Applied Practical Reasoning

FAPR-96

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

c-fapr-96-May

Wolfgang May, Peter Schmitt:
A Tableau Calculus for First-Order Branching Time Logic.

c-fapr-96-Yi

Choong-Ho Yi:
Towards the Assessment of Logics for Concurrent Actions.

c-fapr-96-Wooldridge

Michael Wooldridge:
Practical Reasoning with Procedural Knowledge.

c-fapr-96-Reiter

Ray Reiter:
Cognitive Robotics.

c-fapr-96-Radzikowska

Anna Radzikowska:
Formalization of Reasoning about Default Action.

c-fapr-96-Prendinger

Helmut Prendinger:
Modal Logic for Modelling Actions and Agents.

c-fapr-96-Pollock

John L Pollock:
Reason in a Changing World.

c-fapr-96-Omelyanchyk

Valentyn Omelyanchyk:
How to Reason about Akratic Action Practically?.

c-fapr-96-Errico

Bruno Errico, Luigia Aiello:
Intelligent Agents in the Situation Calculus: an Application to User Modelling.

c-fapr-96-Girle

Roderic A Girle:
Commands in Dialogue Logic.

c-fapr-96-Fisher

Michael Fisher, Michael Wooldridge:
A Resolution-Based Proof Method for Temporal Logics of Knowledge and Belief.

c-fapr-96-Doherty

Patrick Doherty, Witold Lukaszewicz and Andrzej Szalas:
General Domain Circumscription and its First-Order Reduction.

c-fapr-96-Doc

Ho Ngoc Duc:
Reasoning about Rational, but not Omniscient Agents.