2 papers
cs.AI2000
Planning with Incomplete Information
Antonis Kakas, Rob Miller, Francesca Toni
Planning is a natural domain of application for frameworks of reasoning about actions and change. In this paper we study how one such framework, the Language E, can form the basis…
cs.AI2000
E-RES: A System for Reasoning about Actions, Events and Observations
Antonis Kakas, Rob Miller, Francesca Toni
E-RES is a system that implements the Language E, a logic for reasoning about narratives of action occurrences and observations. E's semantics is model-theoretic, but this implemen…