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

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)PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology., , , , , , , and . JSAI-isAI Workshops, volume 6797 of Lecture Notes in Computer Science, page 153-164. Springer, (2010)Characterising and Explaining Inconsistency in Logic Programs., , and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 467-479. Springer, (2015)Legal Reasoning Engine for Civil Court Procedure., , and . ICIC (2), volume 8589 of Lecture Notes in Computer Science, page 500-512. Springer, (2014)Using Two Level Abduction to Decide Similarity of Cases.. ECAI, page 398-402. John Wiley and Sons, (1998)Abstract Argumentation for Case-Based Reasoning., , and . KR, page 549-552. AAAI Press, (2016)Combining event-and state-based norms., , and . AAMAS, page 1157-1158. IFAAMAS, (2013)Argumentation with Goals for Clinical Decision Support in Multimorbidity., , , , and . AAMAS, page 2031-2033. International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM, (2018)