Author of the publication

Legal Modelling and Reasoning Using Institutions.

, , and . JSAI-isAI Workshops, volume 6797 of Lecture Notes in Computer Science, page 129-140. Springer, (2010)

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

Logic-based and robust desicion making for robots in real world., , , , and . AAMAS, page 1685-1686. IFAAMAS/ACM, (2014)Characterising and Explaining Inconsistency in Logic Programs., , and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 467-479. Springer, (2015)Using Two Level Abduction to Decide Similarity of Cases.. ECAI, page 398-402. John Wiley and Sons, (1998)Legal Debugging in Propositional Legal Representation., and . JSAI-isAI Workshops, volume 11717 of Lecture Notes in Computer Science, page 146-159. Springer, (2018)Explainable ASP., and . PRIMA, volume 11873 of Lecture Notes in Computer Science, page 610-617. Springer, (2019)Diagnosing and Treating Effect of Legal Rule-Based Revision., , and . New Gener. Comput., 40 (1): 25-45 (2022)Multi-agent Argumentation and Dialogue., , , and . FLAP, 9 (4): 921-954 (2022)A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints., and . ELP, volume 660 of Lecture Notes in Computer Science, page 24-44. Springer, (1992)Overview of JURISIN 2008., , and . JSAI, volume 5447 of Lecture Notes in Computer Science, page 211-212. Springer, (2008)Legal Modelling and Reasoning Using Institutions., , and . JSAI-isAI Workshops, volume 6797 of Lecture Notes in Computer Science, page 129-140. Springer, (2010)