The following pages link to Ken Satoh (Q468585):
Displayed 27 items.
- Logic programming and burden of proof in legal reasoning (Q468586) (← links)
- On the complexities of consistency checking for restricted UML class diagrams (Q1044829) (← links)
- Obligation as optimal goal satisfaction (Q1670486) (← links)
- Learning taxonomic relation by case-based reasoning (Q2581362) (← links)
- Implementation of choice of jurisdiction and law in private international law by PROLEG meta-interpreter (Q2695506) (← links)
- Argumentation-based Normative Practical Reasoning (Q2792421) (← links)
- Distributed Defeasible Speculative Reasoning in Ambient Environment (Q2915041) (← links)
- Speculative constraint processing for hierarchical agents (Q3000378) (← links)
- (Q3044497) (← links)
- On the Implementation of Speculative Constraint Processing (Q3055681) (← links)
- Normative design using inductive learning (Q3087460) (← links)
- Automated Inference of Rules with Exception from Past Legal Cases Using ASP (Q3449193) (← links)
- Characterising and Explaining Inconsistency in Logic Programs (Q3449230) (← links)
- Speculative Abductive Reasoning for Hierarchical Agent Systems (Q3582735) (← links)
- Enumerating Minimally Revised Specifications Using Dualization (Q3617032) (← links)
- Speculative Constraint Processing with Iterative Revision for Disjunctive Answers (Q3623980) (← links)
- (Q4012234) (← links)
- (Q4247006) (← links)
- (Q4473241) (← links)
- Computing abduction by using TMS with top-down expectation (Q4484728) (← links)
- Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction (Q4571144) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- Modelling last-act attempted crime in criminal law (Q5243395) (← links)
- Discovery Science (Q5464534) (← links)
- Computational Logic in Multi-Agent Systems (Q5706840) (← links)
- (Q5880829) (← links)
- Foundations of Information and Knowledge Systems (Q5898546) (← links)