Author of the publication

A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.

, , , and . DEON, volume 7393 of Lecture Notes in Computer Science, page 170-183. Springer, (2012)

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

Individual Resource Games and Resource Redistributions.. CoRR, (2018)Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)., , , , and . CoRR, (2023)Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency., , and . J. Log. Comput., 16 (5): 559-578 (2006)Logical Operators for Ontological Modeling., , and . FOIS, volume 267 of Frontiers in Artificial Intelligence and Applications, page 23-36. IOS Press, (2014)Concept Combination in Weighted Logic., , , , and . JOWO, volume 2969 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Towards an ontology of agency and action From STIT to OntoSTIT+., , and . FOIS, volume 150 of Frontiers in Artificial Intelligence and Applications, page 179-190. IOS Press, (2006)Succinctness and Complexity of ALC with Counting Perceptrons., , and . KR, page 291-300. (2023)Weighted Description Logic for Classification Problems., , , , , and . GCAI, volume 65 of EPiC Series in Computing, page 108-112. EasyChair, (2019)Rich Coalitional Resource Games.. AAAI, page 1242-1249. AAAI Press, (2018)Knowing how to play: uniform choices in logics of agency., and . AAMAS, page 209-216. ACM, (2006)