Ken Satoh

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter	2023-03-31	Paper
https://portal.mardi4nfdi.de/entity/Q5880829	2023-03-06	Paper
Dischargeable obligations in the \(\mathcal{S}\)CIFF framework	2021-05-20	Paper
Modelling last-act attempted crime in criminal law	2019-11-18	Paper
Obligation as optimal goal satisfaction	2018-09-05	Paper
Balancing rationality and utility in logic-based argumentation with classical logic sentences and belief contraction	2018-07-06	Paper
Argumentation-based normative practical reasoning	2016-03-10	Paper
Characterising and explaining inconsistency in logic programs	2015-11-04	Paper
Automated inference of rules with exception from past legal cases using ASP	2015-11-04	Paper
Logic programming and burden of proof in legal reasoning	2014-11-07	Paper
Distributed defeasible speculative reasoning in ambient environment	2012-09-21	Paper
Normative design using inductive learning	2011-08-16	Paper
Speculative constraint processing for hierarchical agents	2011-05-18	Paper
On the Implementation of Speculative Constraint Processing	2010-11-09	Paper
Speculative abductive reasoning for hierarchical agent systems	2010-08-24	Paper
On the complexities of consistency checking for restricted UML class diagrams	2009-12-15	Paper
Speculative Constraint Processing with Iterative Revision for Disjunctive Answers	2009-04-28	Paper
Enumerating Minimally Revised Specifications Using Dualization	2009-03-26	Paper
Foundations of Information and Knowledge Systems	2007-02-12	Paper
Learning taxonomic relation by case-based reasoning	2006-01-10	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Discovery Science	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q3044497	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4473241	2004-08-04	Paper
Computing abduction by using TMS with top-down expectation	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4247006	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4012234	1992-09-27	Paper

Research outcomes over time

This page was built for person: Ken Satoh