Ken Satoh

• Contact Information:
  
  • Surface Mail Address:
    Principles of Informatics Research Division, National Institute of Informatics
    Chiyoda-ku, 2-1-2, Hitotsubashi, Tokyo 101-8430, Japan
  • Tel: +81-3-4212-2000
  • Fax: +81-3-3556-1916
    
  • E-mail: ksatoh at nii.ac.jp
  • Home Page: http://research.nii.ac.jp/~ksatoh
    
    
• I am currently investigating juris-informatics (aiming at amalmagation of informatics and law, as bio-informatics amalmagates informatics and biology). You can find my publications about juris-informatics here. I am a member of steering committee of JURISIN workshops (International Workshop on Juris-informatics), JURISIN 2007, JURISIN 2008, JURISIN 2009, JURISIN 2010, and JURISIN 2011 and JURISIN 2012.
  Anyone who are interested in the area are very welcome to join our research group.
  
  
• Research interests
  
  Juris-informatics
  Logical Foundation of Artificial Intelligence
  Nonmonotonic Reasoning
  Preference-based Reasoning
  Logic Programming
  Case-based Reasoning
  Machine Learning
  Discovery Science
  Software Engineering
  Multi-Agent Systems
  Multimedia Retrieval
  
  
  
• List of Publications (as of 1 December 2012)
  If you are interested in any papers below, please send a request to: "ksatoh at nii.ac.jp". I will send the papers to you by email within 24 hours.
  
  • Journal Papers
    

    2011
    28		Nishigai, Y., Asai, K., Kubota, M., Kogawa, T., Satoh, K., Shirakawa, K., Takano, C., Nakamura, M., "PROLEG: the Presupposed Ultimate Fact Theory by PROLOG Technology", Information Network Law Review, Volume 10, pp. 54 -- 89 (2011) (in Japanese).
    27		Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K., "Normative Design Using Inductive Learning", Theory and Practice of Logic Programming (TPLP), Volume 11(Number 4-5), pp. 783 -- 799 (2011).
    2010
    26		Hosobe, H., Satoh, K., Ma, J., Russo, A., Broda, K., "Speculative Constraint Processing for Hierarchical Agents," in AI Communications, Volume 23, Number 4, pp. 373-388, IOS Press (2010). A preliminary version appeared as Hosobe, H., Satoh, K., Ma, J., Russo, A., Broda, K., "Speculative Constraint Processing for Hierarchical Agents", Proc. of European Workshop on Multi-Agent Systems 2009 (2009).
    25		Kaneiwa, K., Satoh, K., "On the Complexities of Consistency Checking for Restricted UML Class Diagrams", Theor. Comput. Sci. 411(2): 301-323 (2010)
    2009
    24		Satoh, K., "Formalization of Burden of Proof and Its Surrounding Concepts by Logic Programming", The University of Tokyo Law Review, vol. 4, 46-57 (2009) (in Japanese).
    23		Nakamura, S., Nagai, T., Iwahashi,N., Satoh, K. and Asoh, H., "Learning of Abstract Concepts and Words Based on Model Structure Selection Using Variational Bayes", IEICE Transactions on Information and Systems, J92-D(4):467-479 (2009) (in Japanese).
    2007
    22		Hosobe, H., Satoh, K., and Codognet, P., ``Agent-Based Speculative Constraint Processing'', IEICE Transactions on Information and Systems, E90-D(9):1354-1362 (2007). A preliminary version appeared as Satoh, K., Codognet, P., Hosobe, H., ``Speculative Constraint Processing in Multi-agent Systems'', Proc. of Sixth Pacific Rim International Workshop on Multi-Agents (PRIMA2003), LNAI 2891, pp. 133 -- 144, Seoul Korea (2003) (Best Paper Award)
    2005
    21		Satoh, K., ``Learning Taxonomic Relation by Case-based Reasoning'', Theoretical Computer Science, Vol. 348, pp. 58 -- 69 (2005). A preliminary version appeared as Satoh, K., ``Learning Taxonomic Relation by Case-based Reasoning'', Proceedings of the Eleventh International Conference on Algorithmic Learning Theory, LNAI1968 pp. 179 -- 193 (2000).
    20		Satoh, K., ``Speculative Computation and Abduction for an Autonomous Agent, IEICE transactions on Information and Systems'', Vol. E88-D, No. 9, pp. 2031 -- 2038 (2005). A preliminary version appeared as Satoh, K., ``Speculative Computation and Abduction for an Autonomous Agent'', Proceedings of the Ninth International Workshop on Non-Monotonic Reasoning, pp. 191 -- 199, Toulouse, France (2002).
    2003
    19		Satoh, K., Inoue, K., Iwanuma, K., Sakama, C., ``Speculative Computation by Abduction in Agent Communication'', Computer Software, Vol. 20 No.1, pp. 27 -- 35 (2003) (in Japanese). A preliminary English version appeared as Satoh, K., Inoue, K., Iwanuma, K., Sakama, C., ``Speculative Computation by Abduction under Incomplete Communication Environments'', Proceedings of the Fourth International Conference on Multi-Agent Systems, pp. 263 -- 270, Boston, USA (2000).
    2001
    18		Satoh, K., ``Polynomial PAC Learnability of Learning Weights of Multi-objective Functions by Pairwise Comparison'', IPSJ Transactions on Mathematical Modeling and Its Applications, Vol. 42, No.SIG 5 (TOM 4) pp. 1 -- 8 (2001). A preliminary abstract appeared as ``PAC-Learning of Weights in Multi-objective Function by Pairwise Comparison'', Proceedings of the Workshop on Applied Learning Theory, DOI-TR-154, pp. 27 -- 37, Kaiserslautern, Germany (1998).
    17		Nakagoshi, T., Satoh, K., ``User-dependent Similar Image Retrieval Based on Image Grouping and Group Similarity'', IPSJ Transactions on Databases, Vol. 42, No.SIG 1 (TOD 8) pp. 21 -- 31 (2001) (in Japanese).
    2000
    16		Satoh, K., ``Minimal Revised Specification by Abductive Logic Programming -- Computation and Application'', Journal of Japan Society for Software Science and Technology, T. Katayama (eds), Special Issue on Software Evolution, pp. 109 -- 121 (2000) (in Japanese). A preliminary English version appeared as Satoh, K., ``Consistency Management in Software Engineering by Abduction'', Proceedings of the ICSE-2000 Workshop on Intelligent Software Engineering, pp. 90 -- 99, Limerick, Ireland (2000).
    15		Okamoto, H., Satoh, K., ``An Algorithm to Compute Minimal Models in Prioritized Circumscription by 0-1 Integer Programming'' Journal of Japanese Society of Artificial Intelligence, Vol. 15, No.3, pp. 511 -- 517 (2000) (in Japanese).
    14		Iwayama, N., Satoh, K., ``Computing Abduction by Using TMS with Top-Down Expectation'', Journal of Logic Programming, Vol. 44 No.1-3, pp. 179 -- 206 (2000).
    1999
    13		Wakaki, T., Satoh, K., ``Computing Prioritized Circumscription by Compiling into Extended Logic Programs based on the Semantic Relationship'', Journal of Japanese Society of Artificial Intelligence, Vol. 14, No.3, pp. 466 -- 472 (1999) (in Japanese). A preliminary English version appeared as Wakaki, T., Satoh, K., ``Compiling Prioritized Circumscription into Extended Logic Programs'', Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, pp. 182 -- 187, Nagoya, Japan (1997).
    1998
    12		Wakaki, T., Satoh, K., Nitta, K., Sakurai, S., ``Finding Priorities of Circumscription Policy as a Skeptical Explanation in Abduction'', IEICE Transactions on Information and Systems, Vol. E81-D, No. 10, pp. 1111 -- 1120 (1998).
    1997
    11		Wakaki, T., Satoh, K., Nitta, K., ``Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming'', Journal of Advanced Computational Intelligence, Vol. 1, No.2, pp. 121 -- 129 (1997).
    10		Satoh, K., ``Statutory Interpretation by Case-based Reasoning through Abductive Logic Programming'', Journal of Advanced Computational Intelligence, Vol. 1, No.2, pp. 94 -- 103 (1997).
    9		Satoh, K., ``Implementing Dynamic Similarity in Case-Based Reasoning by Abductive Logic Programming'', Journal of Japanese Society of Artificial Intelligence, Vol. 12, No.6, pp. 901 -- 910 (1997) (in Japanese). A preliminary English version appeared as Satoh, K., ``Translating Case-Based Reasoning into Abductive Logic Programming'', Proceedings of the Twelfth European Conference on Artificial Intelligence, pp. 142 -- 146, Budapest, Hungary (1996).
    8		Satoh, K., Okamoto, S., ``Learning Dynamic Similarity Metric Based on Relative Distance Information and Estimates of Its Retrieval Error'', Journal of Japanese Society of Artificial Intelligence, Vol. 12, No.4, pp. 600 -- 607 (1997) (in Japanese).
    1996
    7		Wakaki, T., Satoh, K., ``Computing Prioritized Circumscription via Compilation into Logic Programs'', Journal of Japanese Society of Artificial Intelligence, Vol. 11, No.5, pp. 786 -- 794 (1996) (in Japanese). A preliminary English version appeared as Wakaki, T. and Satoh, K., ``Computing Prioritized Circumscription by Logic Programming'', Proceedings of the Twelfth International Conference on Logic Programming, pp. 283 -- 297, Tokyo, Japan (1995).
    6		Satoh, K., ``A Goal-directed Procedure for an Extension Membership Problem in Propositional Arbitrary Default Theories'', Journal of Japanese Society of Artificial Intelligence, Vol. 11, No.2, pp. 290 -- 299 (1996). A preliminary version appeared as Satoh, K., ``A Top Down Proof Procedure for Default Logic by Using Abduction'', Proceedings of the Eleventh European Conference on Artificial Intelligence, pp. 65 -- 69, Amsterdam, the Netherlands (1994).
    5		Satoh, K., Okamoto, S., ``Learning Weights in a Similarity Function from Distance Information'', Journal of Japanese Society of Artificial Intelligence, Vol. 11, No.2, pp. 238 -- 245 (1996) (in Japanese). A preliminary English version appeared as Satoh, K. and Okamoto, S., ``Toward PAC-Learning of Weights from Qualitative Distance Information'', Proceedings of 1994 AAAI Case-Based Reasoning Workshop, pp. 128 -- 132, Seatle, USA (1994).
    4		Satoh, K., Iwayama, N., ``A Query Evaluation Method for Abductive Logic Programming Based on Generalized Stable Models'', Journal of Japanese Society of Artificial Intelligence, Vol. 11, No.1, pp. 137 -- 147 (1996). A preliminary version appeared as Satoh, K. and Iwayama, N., ``A Query Evaluation Method for Abductive Logic Programming'', Proceedings of the Joint International Conference and Symposium on Logic Programming, pp. 671 -- 685, Washington D.C., USA (1992).
    1993
    3		Satoh, K. and Aiba, A., ``Computing Soft Constraints by Hierarchical Constraint Logic Programming'', Transactions of Information Processing Society of Japan Vol. 34, No.7, pp. 1555 -- 1569 (1993).
    1992
    2		Satoh, K., ``A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning'', Journal of Information Processing, Vol. 15, pp. 29 -- 39 (1992), A preliminary version appeared as ``A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning'', Proceedings of the Eighth American Conference on Aritificial Intelligence, pp. 659 -- 664, Boston, Massachusetts, USA (1990).
    1990
    1		Satoh K., ``Formalizing Soft Constraints by Interpretation Ordering'', Transactions of Information Processing Society of Japan, Vol. 31, No.6, pp. 772 -- 782 (1990) (in Japanese). An English version appeared as ``Formalizing Soft Constraints by Interpretation Ordering'', Proceedings of the Ninth European Conference on Artificial Intelligence, pp. 585 -- 590, Stockholm, Sweden (1990).

  • Book Chapters
    

    2012
    22		De Vos, M., Padget, J., Satoh, K., "Legal Modelling and Reasoning using Institutions", K. Nakakoji, Y. Murakami, E. McCready (eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, Revised Selected Papers, LNAI 6797, pp. 129-140 (2012). A preliminary version appeared as De Vos, M., Padget, J., Satoh, K., "Legal Modelling and Reasoning using Institutions", Proceedings of the 4th International Workshop on Juris-informatics (JURISIN 2010), pp.73-84, Tokyo, Japan (2010).
    21		Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C., "PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology", K. Nakakoji, Y. Murakami, E. McCready (eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, Revised Selected Papers, LNAI 6797, pp. 153-164 (2012). A preliminary version appeared as Satoh, K., Asai, K., Kogawa, T., Kubota, M., Nakamura, M., Nishigai, Y., Shirakawa, K., Takano, C., "PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology", Proceedings of the 4th International Workshop on Juris-informatics (JURISIN 2010), pp.29-40, Tokyo, Japan (2010).
    2011
    20		Corapi, D., De Vos, M., Padget, J., Russo, A., Satoh, K., "Norm Refinement and Design through Inductive Learning", 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, pp.77 - 94 (2011). A preliminary version appeared as Corapi, D., De Vos, M., Padget, J., Russo, A., Satoh, K., "Norm Refinement and Design through Inductive Learning", Proc. of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@MALLOW2010), pp.33-48., Domaine Valpre in Lyon, France (2010).
    2010
    19		Ma, J., Russo, A., Broda, K., Hosobe, H., Satoh, K., "On the Implementation of Speculative Constraint Processing", Computational Logic in Multi-Agent Systems: 10th International Workshop, CLIMA X, Hamburg, Germany, September 2009, Revised Selected and Invited Papers, LNAI 6214, pp. 178 - 195 (2010). A preliminary version appeared as Ma, J., Russo, A., Broda, K., Hosobe, H., Satoh, K., "On the Implementation of Speculative Constraint Processing", Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems, pp.105-120, Hamburg, Germany (2009).
    18		Satoh, K., "Computing Minimal Models by Minimal DNF formula", K. Nakakoji, Y. Murakami, E. McCready (eds.), New Frontiers in Artificial Intelligence: JSAI-isAI Workshops, Revised Selected Papers, LNAI 6284, pp. 358-371 (2010). A preliminary version appeared as Satoh, K., "Computing Minimal Models by Minimal DNF formula", Proceedings of the 6th Workshop on Learning with Logics and Logics for Learning, pp.72-79, Kyoto, Japan (2009).
    2006
    17		Satoh, K., Uno, T.,``Enumerating Minimally Revised Specifications Using Dualization'' , T. Washio, A. Sakurai, K. Nakajima, H. Takeda, S. Tojo, M. Yokoo (eds.), New Frontiers in Artificial Intelligence: Joint JSAI 2005 Workshop Post-Proceedings, LNAI 4012, pp. 182 - 189 (2006). A preliminary version appeared as Satoh, K., Uno, T.,``Enumerating Minimal Revised Specification using Dualization'', Proc. of Workshop on Learning with Logics and Logics for Learning, pp. 19 -- 23, Kita-kyushu, Japan (2005).
    16		Ceberio, M., Hosobe, H., Satoh, K.,``Speculative Constraint Processing with Iterative Revision for Disjunctive Answers'', F. Toni and P.Torroni (eds.), Computational Logic in Multi-Agent Systems: 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers, LNAI 3900, pp. 340 - 357 (2006). A preliminary version appeared as Ceberio, M., Hosobe, H., Satoh, K.,``Speculative Constraint Processing with Iterative Revision for Disjunctive Answers'', Proc. of CLIMA-VI, pp. 119 -- 134, London, UK (2005).
    2005
    15		Satoh, K., ``Algorithm'', in ``Key Technologies of Internet Telephone'', Marzuen Libarary, pp 167 -- 198 (2005).
    14		Satoh, K. ``An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report -'', J. Leite and P. Torroni (eds.), Computational Logic in Multi-Agent Systems: 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers, LNAI3487, pp. 213 -- 229 (2005). A preliminary version appeared as Satoh, K. ``An Application of Global Abduction to an Information Agent which Modifies a Plan upon Failure - Preliminary Report -'', Proceedings of CLIMA-V, pp. 150 -- 165, Lisbon, Portugal (2004).
    13		Satoh, K., ``Formalizing Retrieval Goal Change by Prioritized Abduction'', G. Grieser and Y. Tanaka (eds.), Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets: International Workshop, Dagstuhl Castle, Germany, March 1-5, 2004, Revised Selected Papers, LNAI 3359, pp. 215 -- 232 (2005).
    2002
    12		Satoh, K., ``Nonmonotonic Reasoning and Consistency Management in Software Engineering'', Shi-Kuo Chang (ed.), Handbook of Software Engineering and Knowledge Engineering, Vol. 2, World Scientific, pp. 629 -- 644 (2002).
    11		Satoh, K., ``Constructing a Critical Casebase to Represent a Lattice-Based Relation'', Setsuo Arikawa, Ayumi Shinohara (Eds.)., Progress in Discovery Science 2002, LNCS 2281, pp. 214 -- 223 (2002).
    2000
    10		Satoh, K., ``PAC-learning of Preference Relation over Interpretations in Lazy Nonmonotonic Reasoning'', H. Motoda and S. Muggleton (eds)., Machine Intelligence 15, Oxford University Press, pp. 285 -- 297 (2000).
    1998
    9		Satoh, K., ``Automated Reasoning'', a chapter in CD-ROM Heibon-sha World Encyclopedia, Hitachi Digital Heibon-sha (1998) (in Japanese).
    1995
    8		Katsuno, H., and Satoh, K., ``A Unified View of Consequence Relation, Belief Revision, and Conditional Logic'', G. Crocco, L. Farinas del Cerro and A. Herzig (eds.), Conditionals: from Philosophy to Computer Science, pp. 33 -- 65, Oxford Science Publications (1995). A preliminary version appeared in Proceedings of the Twelfth International Conference on Artificial Intelligence, pp. 406 -- 412, Sydney, Australia (1991).
    7		Okamoto, S. and Satoh, K., ``An Average-Case Prediction of the Nearest Neighbor Classifier'', P. J. Haton, M. Keane, and M. Manago (eds.), Advances in Case-Based Reasoning, LNAI 984, pp. 101 -- 112, Springer-Verlag (1995). A preliminary version appeared as ``A Mathematical Predictive Accuracy for the Nearest Neighbor Classifier'', Proceedings of the Second European Workshop on Case-Based Reasoning, pp. 347 -- 355 (1994).
    1993
    6		Satoh, K. ``Logic and Reasoning'', Compact Encyclopedia for Information Processing, Section 7.3, pp. 258 -- 259 (1993) (in Japanese).
    5		Satoh, K. and Iwayama, N., ``A Correct Goal-Directed Proof Procedure for a General Logic Program with Integrity Constraints'', E. Lamma and P. Mello (eds.), Extensions of Logic Programming, LNAI 660, pp. 24 -- 44, Springer-Verlag (1993).
    1990
    4		Satoh, K., ``Minimal Change -- A Criterion for Choosing between Competing Models'', P. Brazdil and K. Konolige (eds.), Machine Learning, Meta-Reasoning and Logics, pp. 257 -- 276, Kluwer Academic Publishers (1990).
    1989
    3		Satoh, K., ``Relative Plausibility based on Model Ordering: Preliminary Report'', Z. W. Ras (ed.), Methodologies for Intelligent Systems, Vol. 4, pp. 17 -- 24, North-Holland (1989).
    1988
    2		Arima, J., Satoh, K., ``Nonmonotonic Reasoning'', K. Furukawa and F. Mizoguchi (eds.), Knowledge-based Programming, pp. 189 -- 214, Kyouritsu Shuppan (1988) (in Japanese).
    1986
    1		Sohma, Y., Satoh, K., Kumon, K., Masuzawa, H. and Itashiki, A., ``A New Parallel Inference Mechanism Based on Sequential Processing'', J. V. Woods (ed.), Fifth Generation Computer Architectures, pp. 3 -- 14, Elsevier Science Publishers (1986).

  • Conference Papers and Workshop Papers
    

    2012
    56		Satoh, K., Kogawa, T., Okada, N., Omori, K., Omura, S., and Tsuchiya, K., "On Generality of PROLEG Knowledge Representation", Proceedings of the 6th International Workshop on Juris-informatics (JURISIN 2012), pp. 115 -- 128, Miyazaki, Japan (2012).
    55		Li, T., Balke, T., De Vos, M., Satoh, K., and Padget, J., "Detecting Conflicts in Legal Systems" Proceedings of the 6th International Workshop on Juris-informatics (JURISIN 2012), pp. 73 -- 86, Miyazaki, Japan (2012).
    54		De Vos, M., Balke, T., and Satoh, K., "Modelling Legitimate Expectations", Proceedings of the 6th International Workshop on Juris-informatics (JURISIN 2012), pp. 87 -- 100, Miyazaki, Japan (2012).
    53		Anan, Y., Hatano, K., Bannai, H., Takeda, M., Satoh, K., "Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions", Proceedings of the 13th International Society for Music Information Retrieval Conference (ISMIR-12), pp. 229-234, Porto, Portugal (2012).
    52		Li, T., Balke, T., De Vos, M., Satoh, K., Padget J., "Conflict Detection in Composite Institutions", Proc. of the Second International Workshop on Agent-based Modeling for Policy Engineering (AMPLE 2012), pp. 75-89, Montpellier, France (2012).
    51		Lam, H, Governatori, G., Satoh, K., Hosobe, H., "Distributed Defeasible Speculative Reasoning in Ambient Environment", Computational Logic in Multi-Agent Systems, 13th International Workshop, CLIMA XIII, LNCS 7486, pp. 43-60, Montpellier, France (2012).
    50		Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K., "Handling Change in Normative Specifications", Proceedings of International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp. 1369-1370, Valencia, Spain (2012).
    2011
    49		Satoh, K., Takahashi, K., "A Semantics of Argumentation under Incomplete Information", Proceedings of the 5th International Workshop on Juris-informatics (JURISIN 2011), pp. 86 -- 97, Takamatsu, Japan (2011).
    2010
    48		Ma, J., Broda, K., Goebel, R., Hosobe, H., Russo, A., Satoh, K., "Speculative Abductive Reasoning for Hierarchical Agent Systems", Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, LNCS 6245, pp.49-64, Lisbon, Portugal (2010).
    2009
    47		Satoh, K., Kubota, M., Nishigai, Y., Takano, C., "Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming", Proceedings of the 22nd Annual Conference on Legal Knowledge and Information Systems (JURIX 2009), pp.162-171, Rotterdam, the Netherlands (2009).
    46		Satoh, K., "A Formalization for Burden of Production in Logic Programming", Proceedings of the 3rd International Workshop on Juris-informatics (JURISIN 2009), pp. 107-117, Tokyo, Japan (2009).
    2008
    45		Fukuta, N., Satoh, K., Yamaguchi, T., "Towards Kiga-kiku Services on Speculative Computation ", Proceedings of the 7th International Conference on Practical Aspects of Knowledge Management (PAKM 2008), LNCS 5345, pp. 256-267, Springer-Verlag, Yokohama, Japan (2008).
    44		Satoh, K., Tojo, S., Suzuki, Y., "Abductive Reasoning for Burden of Proof", Proceedings of the 2nd International Workshop on Juris-informatics (JURISIN 2008), pp. 93-102, Asahikawa, Japan (2008).
    2007
    43		Brain, M., De Vos, M, Satoh, K., "Smodels-ie : Improving the Cache Utilisation of Smodels", Proceedings of the 4th International Workshop on Answer Set Programming (ASP07), Porto, Portugal (2007).
    42		Akaishi, M., Kato, Y., Satoh, K., Hori, K., "Narrative based Topic Visualization for Chronological Data", Proceedings of the 11th International Conference Information Visualization (IV '07), pp. 139-144, Zurich, Switzerland (2007).
    41		Tojo, S., Satoh, K., "Occam's Razor by Minimal Negation", Proceedings of the 1st International Workshop on Juris-informatics (JURISIN 2007), pp. 41-51, Miyazaki, Japan (2007).
    40		Satoh, K., Tojo, S., Suzuki, Y., "Formalizing a Switch of Burden of Proof by Logic Programming", Proceedings of the 1st International Workshop on Juris-informatics (JURISIN 2007), pp. 76-85, Miyazaki, Japan (2007).
    39		Minato, S., Satoh, K., Sato, T., "Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs", Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp. 2550-2555, Hyderabad, India (2007).
    2006
    38		Satoh, K., Tojo, S., "Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of 'Conditio Sine Qua Non' using Minimal Abduction", Legal Knowledge and Information Systems, JURIX 2006: The Nineteenth Annual Conference, pp. 163 -- 168, Paris, France (2006).
    37		Satoh, K., Kaneiwa, K., Uno, T., "Contradiction Finding and Minimal Recovery for UML Class Diagrams", 21st IEEE/ACM International Conference on Automated Software Engineering (ASE2006), pp 277 -- 280, Tokyo, Japan (2006).
    36		Satoh, K., Uno, T., "Enumerating Minimal Explanations by Minimal Hitting Set Computation", Proceedings of the First International Conference on Knowledge Science, Engineering and Management (KSEM'06), LNAI 4092, pp. 354 -- 365, Guilin, China (2006).
    35		Akaishi, M., Hori, K., Satoh, K., "Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set", Proceedings of the 10th International Conference on Information Visualisation (IV06), pp. 101 -- 106, London, UK (2006).
    34		Kaneiwa, K., Satoh, K., "Consistency Checking Algorithms for Restricted UML Class Diagrams", Proceedings of the Fourth International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2006), LNCS 3861, pp. 219 -- 239, Budapest, Hungary (2006).
    2005
    33		Satoh, K.,``Speculative Constraint Processing (Extended Abstract)'', Invited Paper, Workshop Proceedings of Distributed and Speculative Constraint Processing, pp. 3 -- 6, Sitges, Spain (2005).
    2004
    32		Akaishi, M., Satoh, K., Tanaka. Y.,``An Associative Information Retrieval based on the Dependency of Term Co-occurrence'', Proc. of 7th International Conference on Discovery Science (DS2004), LNAI 3245, pp. 195 -- 206, Padova, Italy (2004).
    31		Satoh, K. ``"All's Well that Ends Well" - A Proposal of Global Abduction -'', Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning, pp. 360 -- 367, Whislter, Canada (2004).
    2003
    30		Uno, T., Satoh, K., ``Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization'', Online CEUR Workshop Proceedings of the ICDM 2003 Workshop on Frequent Itemset Mining Implementations (FIMI 2003), Melbourne, Florida, USA (2003).
    29		Satoh, K., Uno, T., ``Enumerating Maximal Frequent Sets using Irredundant Dualization'', Proc. of 6th International Conference on Discovery Science (DS2003), LNAI 2843, pp. 256 -- 268, Sapporo, Japan (2003)
    28		Satoh, K., ``Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report -'', Cooperative Information Agents VII, LNAI 2872, pp. 324 -- 335, Helsinki, Finland (2003).
    27		Satoh, K., ``Computing Minimal Revised Specifications by Default Logic'', Proc. of Workshop on Intelligent Technologies in Software Engineering (WITSE2003) pp. 7 -- 12, Helsinki, Finland (2003).
    2002
    26		Satoh, K., ``Computing Minimal Revised Specification without Minimality Check'', Proc. of FOSE'02, pp. 143 -- 150 (2002) (in Japanese).
    25		Satoh, K., ``Speculative Computation with Multi-Agent Belief Revision'', Proceedings of the First International Conference on Autonomous Agents and Multi-Agent Systems, pp. 897 -- 904, Bologna, Italy (2002).
    2001
    24		Satoh, K., ``Computing Minimal Belief Revision by Extended Logic Programming without Minimality Check'', Proceedings of IJCAI-01 Workshop on Abductive Reasoning, pp. 48 -- 55 (2001).
    2000
    23		Satoh, K., ``Formalizing Prioritized Consistency Management in Requirement Engineering'', T. Katayama, T. Tamai, and N. Yonezaki (eds), Proceedings of the International Symposium on Principles of Software Evolution, IEEE Computer Society, pp. 184 -- 188 (2000).
    22		Satoh, K., Okamoto, H., ``Computing Circumscriptive Databases by Integer Programming: Revisited'', Proceedings of the Seventeenth American Conference on Aritificial Intelligence, pp. 429 -- 435, Austin, Texas, USA (2000). An extended abstract appeared in Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA (2000).
    21		Sawada, T., Satoh, K., ``Composer Classification based on Patterns of Short Note Sequences'', Proceedings of the AAAI-2000 Workshop on AI and Music, pp. 24 -- 27, Austin, Texas, USA (2000).
    20		Sakama, C., Inoue, K., Iwanuma, K., Satoh, K., ``A Defeasible Reasoning System in Multi-Agent Environments'', Proceedings of the CL2000 Workshop on Computational Logic in Multi Agent Systems, pp. 1 -- 6, London UK (2000).
    19		Iwanuma, K., Inoue, K., Satoh, K., ``Completeness of Pruning Methods for Consequence Finding Procedure SOL'', Proceedings of the Third International Workshop on First order Theorem Proving, pp. 89-100, St. Andrews, Scotland, UK (2000).
    18		Satoh, K., ``Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure'', Proceedings of the Eighth International Workshop on Non-Monotonic Reasoning, Breckenridge, Colorado, USA (2000).
    17		Satoh, K., Nakagawa, R., ``Discovering Critical Cases in Case-Based Reasoning'', Online Proceedings of the Sixth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, USA (2000).
    1999
    16		Satoh, K., ``Minimal Revision of Logical Specification Using Extended Logic Programming: Preliminary Report'', Proceedings of the AAAI-99 Workshop on Intelligent Software Engineering, pp. 61 -- 65, Orlando, Florida, USA (1999).
    15		Satoh, K., ``Consistency Management by Prioritized Minimal Revision'', Proceedings of the International Workshop on the Principles of Software Evolution, IWPSE99, pp. 125 -- 129, Fukuoka, Japan (1999).
    1998
    14		Satoh, K., ``Adding and Deleting Pollution Marker by Abductive Logic Programming (extended abstract)'', Proceedings of the First Asia-Pacific Workshop on Intelligent Software Engineering, pp. 48 -- 53, Singapore, Singapore (1998).
    13		Satoh, K., ``Analysis of Case-Based Representability of Boolean Functions by Monotone Theory'', Proceedings of the Ninth International Conference on Algorithmic Learning Theory, LNAI1501 pp. 179 -- 190 (1998).
    12		Satoh, K., ``Using Two Level Abduction to Decide Similarity of Cases'', Proceedings of the Thirteenth European Conference on Artificial Intelligence, pp. 398 -- 402, Brighton, UK (1998).
    11		Satoh, K., ``Computing Minimal Revised Logic Program by Abduction'', Proceedings of the International Workshop on the Principles of Software Evolution, IWPSE98, pp. 177 -- 182, Kyoto, Japan (1998).
    1996
    10		Satoh, K., ``Disambiguation by Prioritized Circumscription'', Proceedings of the Sixteenth International Conference on Computational Linguistics, pp. 901 -- 906, Copenhagen, Denmark (1996).
    1995
    9		Okamoto, S., Satoh K., ``An Average-case Analysis of k-Nearest Neighbor Classifier'', Proceedings of The First International Conference on Case-Based Reasoning, LNAI 1010, pp. 253 -- 264, Springer-Verlag (1995).
    1992
    8		Terasaki, S., Hawley, D. J., Sawada, H., Satoh, K., Menju, S., Kawagishi, T., Iwayama, N., Aiba, A., ``Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers'', Proceedings of the Fifth Generation Computer Systems '92, pp. 330 -- 346, Tokyo, Japan (1992).
    7		Iwayama, N., Satoh, K. and Arima, J. ``A Formalization of Generalization-based Analogy in General Logic Programs'', Proceedings of the Tenth European Conference on Artificial Intelligence, pp. 129 -- 133, Vienna, Austria (1992).
    1991
    6		Satoh, K. and Iwayama, N., ``Computing Abduction by Using the TMS'', Proceedings of the Eighth International Conference on Logic Programming, pp. 505 -- 518, Paris, France (1991).
    1990
    5		Satoh, K., ``Formalizing Nonmonotonic Reasoning by Preference Order'', Proceedings of the International Conference organized by the IPSJ to Commemorate the 30th Anniversary, Part II, pp. 155 -- 162, Tokyo, Japan (1990).
    1988
    4		Satoh, K., ``Nonmonotonic Reasoning by Minimal Belief Revision'', Proceedings of the International Conference on Fifth Generation Computer Systems 1988, pp. 455 -- 462, Tokyo, Japan (1988).
    1986
    3		Foster, I., Gregory, S., Ringwood, G. and Satoh, K., ``A Sequential Implementation of PARLOG'', Proceeding of the Third International Conference on Logic Programming, LNCS 225, pp. 149 -- 156, London, UK (1986).
    2		Masuzawa, H., Kumon, K., Itashiki, A., Satoh, K. and Sohma, Y., ``KABU-WAKE'' Parallel Inference Mechanism and Its Evaluation'', Proceedings of FJCC86, pp. 955 -- 962 (1986).
    1		Kumon, K., Masuzawa, H., Itashiki, A., Satoh, K. and Sohma, Y., ``KABU-WAKE: A New Parallel Inference Method and Its Evaluation'', Proceedings of COMPCON86 Spring, pp. 168 -- 172 (1986).

  • Survey Papers
    

    2012
    10		Satoh, K., ``Logic Programming and Burden of Proof in Logic Programming'', New Generation Computing, Vol. 30, No.4, pp.297-326 (2012).
    2010
    9		Satoh, K., ``Applications of Logic-based AI to Juris-informatics'', Journal of Japan Society for Software Science and Technology, Vol. 27, No.3, pp.36-44 (2010) (in Japanese).
    8		Satoh, K., Sadri, F., "Logic Programming in Multi-Agent Systems", Journal of the Japanese Society for Artificial Intelligence, Vol.25, No.3, pp.429-439 (2010) (in Japanese).
    2008
    7		Satoh, K., De Vos, M., ``Logic Computing'', Journal of Japanese Society of Artificial Intelligence, Vol. 23, No.5, pp. 677 -- 686 (2008) (in Japanese).
    2006
    6		Washio, T., Higuchi, T., Imoto, S., Tamada, Y., Satoh, K., and Motoda, H., ``Graph Mining and Its Application to Statistical Modeling'', Proceedings of the Institute of Statistical Mathematics, Vol. 54, No. 2, pp. 315 -- 331 (2006) (in Japanese).
    2003
    5		Satoh, K., ``Current Status of Symbolic Processing - Logical Knowledge Representation and Reasoning'', Journal of the Society of Instrument and Control Engineering, Vol. 42, No.6, pp. 463 -- 467 (2003) (in Japanese).
    4		Kaneiwa, K., Satoh, K., ``DL: Description Logics'', Journal of Japanese Society of Artificial Intelligence, Vol. 18, No.1, pp. 73 -- 82 (2003) (in Japanese).
    2001
    3		Iwayama, N., Satoh, K., ``Proof Procedures of Answer Set Semantics for Logic Programming'', Journal of Japanese Society of Artificial Intelligence, Vol. 16, No.5, pp. 655 -- 660 (2001) (in Japanese).
    1989
    2		Matsumoto, Y., Satoh, K., ``Nonmonotonic Logic and Commonsense Reasoning'', Journal of Information Processing Society of Japan, Vol. 30, No.6, pp. 674 -- 683 (1989) (in Japanese).
    1988
    1		Satoh, K., ``Approaches for Yale Shooting Problem'', Journal of Japanese Society of Artificial Intelligence, Vol. 3, No.2, pp. 132 -- 138 (1988) (in Japanese).

  • Essays
    

    2007
    2		Satoh, K., ``Making a Clever Frame'', Information and Communication Journal, Denki Tsushin Shinkokai, Vol. 25, No. 4, pp. 30 -- 31 (2007) (in Japanese).
    2003
    1		Satoh, K., ``Logical Approach to AI using Learning'', Journal of Japanese Society of Artificial Intelligence, Vol. 18, No.5, pp. 546 -- 549 (2003) (in Japanese).