Ken Satoh Last updated: 12/04/20 15:55
Name
Ken Satoh E-mail
ksatoh
Papers
PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG technology
Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano
New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, Revised Selected Papers, LNAI 6797 153-164 Jan 2012 [Refereed]
Legal Modelling and Reasoning using Institutions
Marina De Vos, Julian Padget, Ken Satoh
New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, Revised Selected Papers, LNAI 6797 129-140 Jan 2012 [Refereed]
A Semantics of Argumentation under Incomplete Information
Ken Satoh, Kazuko Takahashi
Proceedings of the 5th International Workshop on Juris-informatics 86-97 Dec 2011 [Refereed]
Norm Refinement and Design through Inductive Learning
Domenico Corapi, Marina De Vos, Julian Padget, Alessandra Russo, Ken Satoh
Coordination, Organizations, Institutions, and Norms in Agent Systems VI - COIN 2010 International Workshops, COIN@AAMAS 2010, Toronto, Canada, May 2010, COIN@MALLOW 2010, Lyon, France, August 2010, Revised Selected Papers, LNCS 6541 77-94 Oct 2011 [Refereed]
PROLEG: the Presupposed Ultimate Fact Theory by PROLOG Technology
Yoshiaki Nishigai, Kento Asai, Masahiro Kubota, Takamune Kogawa, Ken Satoh, Kei Shirakawa, Chiaki Takano, Megumi Nakamura
Information Network Law Review 10 54-89 Aug 2011 [Refereed]
Normative Design Using Inductive Learning
Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
Theory and Practice of Logic Programming 11(4-5) 783-799 Jul 2011 [Refereed]
Speculative Abductive Reasoning for Hierarchical Agent Systems
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, LNCS 6245 49-64 Aug 2010 [Refereed]
Speculative Constraint Processing for Hierarchical Agents
Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, and Krysia Broda
AI communications 23(4) 373-388 2010 [Refereed]
On the Implementation of Speculative Constraint Processing
Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe and Ken Satoh
Computational Logic in Multi-Agent Systems, CLIMA X, LNAI 6214 178-195 2010 [Refereed]
Computing Minimal Models by Minimal DNF formula
Ken Satoh
New Frontiers in Artificial Intelligence, JSAI-isAI 2009, LNAI 6284 358-371 2010 [Refereed]
On the Complexities of Consistency Checking for Restricted UML Class Diagrams
Ken Kaneiwa, Ken Satoh
Theoretical Computer Science 411(2) 301-323 2010 [Refereed]
Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming
Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, and Chiaki Takano
Proc. of 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009) 162-171 Dec 2009 [Refereed]
A Formalization for Burden of Production in Logic Programming
Ken Satoh
Proc. of the 3rd International Workshop on Juris-Informatics 107-117 Nov 2009 [Refereed]
Towards Kiga-kiku Services on Speculative Computation
Naoki Fukuta, Ken Satoh, Takahira Yamaguchi
Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management Nov 2008 [Refereed][Invited]
Abducitive Reasoning for Burden of Proof
Ken Satoh, Satoshi Tojo, Yoshitaka Suzuki
Proceedings of the 2nd International WOrkshop on Juris-Informatics Jun 2008 [Refereed][Invited]
Smodels-ie : Improving the Cache Utilisation of Smodels
Brain, M., De Vos, M, Satoh K.
Proceedings of the 4th International Workshop on Answer Set Programming (ASP07) Sep 2007 [Refereed][Invited]
Agent-Based Speculative Constraint Processing
Hiroshi Hosobe, Ken Satoh, and Philippe Codognet
IEICE Transactions on Information and Systems E90-D(9) 1354-1362 Sep 2007 [Refereed]
Narrative based Topic Visualization for Chronological Data
Akaishi, M., Kato, Y., Satoh, K., Hori, K.
Proceedings of the 11th International Conference Information Visualization (IV '07) 139-144 Jul 2007 [Refereed][Invited]
Occam's Razor by Minimal Negation
Tojo, S., Satoh, K.
Proceedings of the 1st International Workshop on Juris-informatics (JURISIN 2007) 41-51 Jun 2007 [Refereed][Invited]
Formalizing a Switch of Burden of Proof by Logic Programming (jointly worked)
Satoh, K., Tojo, S., Suzuki, Y.
Proceedings of the 1st International Workshop on Juris-informatics (JURISIN 2007) 76-85 Jun 2007 [Refereed][Invited]
Bibliography
Handbook of Software Engineering and Knowledge Engineering, Vol. 2
Shi-Kuo Chang (ed.)
World Scientific Jan 2002
Machine Learning, Meta-Reasoning and Logics
P. Brazdil and K. Konolige (eds.)
Kluwer Academic Publishers Jan 1990
Methodologies for Intelligent Systems
Z. W. Ras (ed.)
North-Holland Jan 1989
nii.ac.jp