( en | de | ru )

 

Disambiguation of "Satoh, Ken"

Author of the publication

copydeleteadd this publication to your clipboard
An alert mechanism for orientation systems based on Speculative computation.

, , , , and . INISTA, page 1-8. IEEE, (2015)

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.

Ken Lau

Ken Endo

Ken Herrmann

Ken Heydolph

Ken Eckstein

 

Other publications of authors with the same name

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)Characterising and Explaining Inconsistency in Logic Programs., , and . LPNMR, volume 9345 of Lecture Notes in Computer Science, page 467-479. Springer, (2015)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)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)Overview of JURISIN 2008., , and . JSAI, volume 5447 of Lecture Notes in Computer Science, page 211-212. Springer, (2008)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)Logic-based and robust desicion making for robots in real world., , , , and . AAMAS, page 1685-1686. IFAAMAS/ACM, (2014)