Author of the publication

Some Alternative Formulations of the Event Calculus.

, and . Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 452-490. Springer, (2002)

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

Some Alternative Formulations of the Event Calculus., and . Computational Logic: Logic Programming and Beyond, volume 2408 of Lecture Notes in Computer Science, page 452-490. Springer, (2002)On the Effects of Knowledge-Augmented Data in Word Embeddings., , , , and . CoRR, (2020)WebSPHINX, a personal, customizable Web crawler. http://www-2.cs.cmu.edu/\$\sim\$rcm/websphinx, (2004)An Argumentation Framework of Reasoning about Actions and Change., , and . LPNMR, volume 1730 of Lecture Notes in Computer Science, page 78-91. Springer, (1999)Cognitive-Based Visualization of Semantically Structured Cultural Heritage Data., , and . VOILA@ISWC, volume 1456 of CEUR Workshop Proceedings, page 61. CEUR-WS.org, (2015)Cognitive Programming., , , and . AIC, volume 1510 of CEUR Workshop Proceedings, page 3-18. CEUR-WS.org, (2015)An Abductive Approach for Handling Inconsistencies in SCR Specifications., , , and . ICSE2000 Workshop on Intelligence Software Engineering, (2000)Associating the visual representation of user interfaces with their internal structures and metadata., , and . UIST, page 245-256. ACM, (2011)An Introduction to the Imperative Part of C++, , , and . Online, (1996-2007)Available at: http://www.doc.ic.ac.uk/~wjk/C++Intro/.Modular-epsilon: An Elaboration Tolerant Approach to the Ramification and Qualification Problems., , and . LPNMR, volume 3662 of Lecture Notes in Computer Science, page 211-226. Springer, (2005)