Author of the publication

Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.

, , and . J. Log. Comput., 16 (5): 559-578 (2006)

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

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)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)Individual Resource Games and Resource Redistributions.. CoRR, (2018)Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning (Extended Version)., , , , and . CoRR, (2023)Concept Combination in Weighted Logic., , , , and . JOWO, volume 2969 of CEUR Workshop Proceedings, CEUR-WS.org, (2021)Rich Coalitional Resource Games.. AAAI, page 1242-1249. AAAI Press, (2018)Weighted Description Logic for Classification Problems., , , , , and . GCAI, volume 65 of EPiC Series in Computing, page 108-112. EasyChair, (2019)Succinctness and Complexity of ALC with Counting Perceptrons., , and . KR, page 291-300. (2023)Asymmetric Hybrids: Dialogues for Computational Concept Combination., , , , , and . FOIS, volume 344 of Frontiers in Artificial Intelligence and Applications, page 81-96. IOS Press, (2021)