Searching for "Temporal Reasoning with Abductive Event Calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

Temporal reasoning with Abductive Event Calculus
by Marc Denecker, Lode Missiaen, Maurice Bruynooghe — 1992 — In Proc. of the European Conference on Artificial Intelligence
…Temporal reasoning with Abductive Event Calculus Marc Denecker Lode Missiaen Maurice Bruynooghe…
Cited by 58 (18 self) – Add To MetaCart

SLDNFA: an abductive procedure for normal abductive programs
by Marc Denecker, Danny De Schreye — 1992 — Proc. of the International Joint Conference and Symposium on Logic Programming
… abductive procedures for temporal reasoning with abductive event calculus have been presented ([8], [20…
Cited by 54 (15 self) – Add To MetaCart

Verifiable agent interaction in Abductive Logic Programming: the SCIFF framework
by Marco Alberti, Marco Alberti, Federico Chesani, Federico Chesani, Marco Gavanelli, Marco Gavanelli, Evelina Lamma, Evelina Lamma, Paola Mello, Paola Mello, Paolo Torroni, Paolo Torroni — 2006 — ACM Transactions on Computational Logic
… to implement core agent reasoning functionalities, such as temporal reasoning and abductive event calculus…
Cited by 12 (12 self) – Add To MetaCart

Showing 1 through 3.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB