4 citations · 4 across the 1 of their papers we have counts for
Showing 2000Show all
3 papers · 1 filter
cs.AI2000
ACLP: Integrating Abduction and Constraint Solving
Antonis Kakas
ACLP is a system which combines abductive reasoning and constraint solving by integrating the frameworks of Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP)…
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…