4 citations · 4 across the 1 of their papers we have counts for
5 papers
Modeling Complex Domains of Actions and Change
Antonis Kakas, Loizos Michael
This paper studies the problem of modeling complex domains of actions and change within high-level action description languages. We investigate two main issues of concern: (a) can…
Information Integration and Computational Logic
Yannis Dimopoulos, Antonis Kakas
Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. It stands at the crossroad of…
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)…
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…
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…