Service Communautaire d'Information sur la Recherche et le Développement - CORDIS


SOCS Résumé de rapport

Project ID: IST-2001-32530
Financé au titre de: FP5-IST
Pays: Cyprus

Temporal reasoning with Incomplete and partial information via a variant of the abductive event calculus

This work has developed a framework for temporal reasoning of an agent allowing it to draw conclusions about properties of its world from known events and observations, as it perceives them.

This framework is based on an extended version of the Abductive Event Calculus drawn from the Language E. A computational model for this is developed based on the standard computational model of abduction in Abductive Logic Programming and can be implemented by any sound and complete proof procedure for ALP theories.


Antonis KAKAS
Tél.: +357-2-2892706
Fax: +357-2-2892701