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

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms., , and . MIWAI, volume 7080 of Lecture Notes in Computer Science, page 63-74. Springer, (2011)Sending Messages in Social Networks., , , and . KES-AMSTA, volume 96 of Smart Innovation, Systems and Technologies, page 123-133. Springer, (2018)KED: A Deontic Theorem Prover., , and . ICLP Workshop: Legal Application of Logic Programming, (1994)A Compact Argumentation System for Agent System Specification., and . STAIRS, volume 142 of Frontiers in Artificial Intelligence and Applications, page 26-37. IOS Press, (2006)Induction of Defeasible Logic Theories in the Legal Domain., and . ICAIL, page 204-213. ACM, (2003)Detecting Regulatory Compliance for Business Process Models through Semantic Annotations., , , and . Business Process Management Workshops, volume 17 of Lecture Notes in Business Information Processing, page 5-17. Springer, (2008)RuleRS: a rule-based architecture for decision support systems., and . Artif. Intell. Law, 26 (4): 315-344 (2018)On Constructing Fibred Tableaux for BDI Logics., and . PRICAI, volume 4099 of Lecture Notes in Computer Science, page 150-160. Springer, (2006)Affective Web Service Design., and . PRICAI, volume 4099 of Lecture Notes in Computer Science, page 71-80. Springer, (2006)Deontic Meta-Rules., , , , and . CoRR, (2022)