Author of the publication

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

Removing irrelevant information in temporal resolution proofs.. J. Exp. Theor. Artif. Intell., 11 (1): 95-121 (1999)Clausal Temporal Resolution, , and . CoRR, (1999)Local is Best: Efficient Reductions to Modal Logic K., , , and . J. Autom. Reason., 66 (4): 639-666 (2022)Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal., , , , and . IFM, volume 13274 of Lecture Notes in Computer Science, page 39-44. Springer, (2022)Local Reductions for the Modal Cube., , , and . IJCAR, volume 13385 of Lecture Notes in Computer Science, page 486-505. Springer, (2022)Theorem Proving Using Clausal Resolution: From Past to Present.. RP, volume 13035 of Lecture Notes in Computer Science, page 19-27. Springer, (2021)Updating Action Descriptions and Plans for Cognitive Agents., , , , and . AAMAS, page 2370-2372. ACM, (2023)Temporal Resolution: A Breadth-First Search Approach.. TIME, page 120-127. IEEE Computer Society, (1996)Temporal Resolution: Removing Irrelevant Information.. TIME, page 4-11. IEEE Computer Society, (1997)Resolution-Based Proof for Multi-Modal Temporal Logics of Knowledge., and . TIME, page 69-78. IEEE Computer Society, (2000)