Author of the publication

Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings

, , and (Eds.) volume 5858 of Lecture Notes in Computer Science, Springer, (2009)

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

An Argumentation-Theoretic Characterization of Defeasible Logic., and . ECAI, page 469-473. IOS Press, (2000)KED: A Deontic Theorem Prover., , and . ICLP Workshop: Legal Application of Logic Programming, (1994)Burden of Compliance and Burden of Violation.. JURIX, volume 279 of Frontiers in Artificial Intelligence and Applications, page 31-40. IOS Press, (2015)Annotated Defeasible Logic., and . CoRR, (2017)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)A formal approach to negotiating agents development, , , and . Electronic Commerce Research and Applications, 1 (2): 193--207 (2002)Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic., and . NORMAS, page 112-127. (2008)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)Advancements in Resource-Driven Substructural Defeasible Logic., , and . JELIA, volume 11468 of Lecture Notes in Computer Science, page 247-258. Springer, (2019)