Author of the publication

Temporal Reasoning with iff-Abduction.

, and . Handbook of Temporal Reasoning in Artificial Intelligence, volume 1 of Foundations of Artificial Intelligence, Elsevier, (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Combining Situation Calculus and Event Calculus., , and . ICLP, page 83-97. MIT Press, (1995)Using Event Calculus for Protocol Specification: An Experiment., , , , and . Deductive Databases / Abduction in Deductive Databases, volume 266 of GMD-Studien, page 187-201. Gesellschaft für Mathematik und Datenverarbeitung MbH, (1995)A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification., , , , and . JICSLP, page 170-184. MIT Press, (1996)The Abductive Event Calculus as a General Framework for Temporal Databases., , and . ICTL, volume 827 of Lecture Notes in Computer Science, page 301-316. Springer, (1994)An Inductive Definition Approach to Ramifications., , and . Electron. Trans. Artif. Intell., (1998)A Strong Correspondence between Description Logics and Open Logic Programming., , and . ICLP, page 346-360. MIT Press, (1997)Representing Continuous Change in the Abductive Event Calculus., , and . ICLP, page 225-239. MIT Press, (1994)On the Relation Between Situation Calculus and Event Calculus., , and . J. Log. Program., 31 (1-3): 3-37 (1997)Temporal Reasoning with iff-Abduction., and . Handbook of Temporal Reasoning in Artificial Intelligence, volume 1 of Foundations of Artificial Intelligence, Elsevier, (2005)