Author of the publication

Detecting Conflicts in Legal Systems.

, , , , and . JSAI-isAI Workshops, volume 7856 of Lecture Notes in Computer Science, page 174-189. 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

Anton - A Rule-Based Composition System., , , and . ICMC, Michigan Publishing, (2011)The Significance of Memory Costs in Answer Set Solver Implementation., and . J. Log. Comput., 19 (4): 615-641 (2009)Legal Modelling and Reasoning Using Institutions., , and . JSAI-isAI Workshops, volume 6797 of Lecture Notes in Computer Science, page 129-140. Springer, (2010)Answer Set Programming for Representing and Reasoning About Virtual Institutions., , and . CLIMA, volume 4371 of Lecture Notes in Computer Science, page 60-79. Springer, (2006)Generating Optimal Code Using Answer Set Programming., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 554-559. Springer, (2009)ANTON: Composing Logic and Logic Composing., , , and . LPNMR, volume 5753 of Lecture Notes in Computer Science, page 542-547. Springer, (2009)ASTREA: Answer Sets for a Trusted Reasoning Environment for Agents., and . Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, volume 6565 of Lecture Notes in Computer Science, page 490-509. Springer, (2011)Implementing Ordered Choice Logic Programming using Answer Set Solvers.. FoIKS, volume 2942 of Lecture Notes in Computer Science, page 59-77. Springer, (2004)A Fast and Fair Algorithm for Distributed Subcarrier Allocation Using Coalitions and the Nash Bargaining Solution., , , and . VTC Fall, page 1-5. IEEE, (2011)An Interactive Approach to Answer Set Programming., , and . Answer Set Programming, volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, (2005)