Formal and Applied Practical Reasoning
FAPR-96Held 3-7.6.1996, 1996 in Bonn.
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.
The selection of what articles are to be considered relevant
is by its very nature subjective. Suggestions for additions
or removals from this list are welcomed.
|