Author of the publication

A Linear Meta-Interpreter for Reasoning About States and Actions.

. Logic Journal of the IGPL, 9 (5): 631-676 (2001)

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

Synthetic Ground Truth Generation for Evaluating Generative Policy Models., , and . CoRR, (2019)Intensionality and circumscription.. NMR, page 372-379. (2002)Contexts for Human Action.. BCS Int. Acad. Conf., page 51-59. British Computer Society, (2008)The Frame Problem and the Semantics of Classical Proofs.. Turing-100, volume 10 of EPiC Series in Computing, page 415-429. EasyChair, (2012)A Linear Meta-Interpreter for Reasoning About States and Actions.. Logic Journal of the IGPL, 9 (5): 631-676 (2001)Semantics, hermeneutics, statistics: some reflections on the semantic web.. BCS HCI, page 24-28. ACM, (2011)A Comparison Between Statistical and Symbolic Learning Approaches for Generative Policy Models., , , , , and . ICMLA, page 1314-1321. IEEE, (2019)Investigating the Characteristics of the Response Waiting Time in a Chat Room., , and . SAI (1), volume 283 of Lecture Notes in Networks and Systems, page 548-562. Springer, (2021)Federated AI for the Enterprise: A Web Services Based Implementation., , and . ICWS, page 20-27. IEEE, (2019)Look, Who's Talking: Simulations of Agent Clusters., and . PAAMS, volume 8473 of Lecture Notes in Computer Science, page 375-378. Springer, (2014)