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 𝒮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
Automated Inference of Rules with Exception from Past Legal Cases Using ASP	2015-11-04	Paper
Characterising and Explaining Inconsistency in Logic Programs	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ken Satoh