Ken Satoh

• Contact Information:
  
  • Surface Mail Address:
    Center for juris-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, JURISIN 2011, JURISIN 2012, JURISIN 2013, JURISIN 2014, JURISIN 2015, JURISIN 2016. JURISIN 2017, JURISIN 2018, JURISIN 2019, JURISIN 2020, JURISIN 2021, JURISIN 2022 JURISIN 2023 and JURISIN 2024
  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 December 28, 2023)
  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
    

    2023
    49		Robaldo, L., Batsakis, S., Calegari, R., Calimeri, F., Fujita, M., Governatori, G., Morelli, M. C., Pacenza, F., Pisano, G., Satoh, K., Tachmazidis, I., Zangari, J., "Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies", Artificial Intelligence and Law (2023). https://doi.org/10.1007/s10506-023-09360-z
    2022
    48		Fungwacharakorn, W., Satoh, K., "Toward a practical legal rule revision in legal debugging", Computer Law & Security Review 46 (2022). https://doi.org/10.1016/j.clsr.2022.105696
    47		Vuong, Y. T.-H., Bui, Q. M., Nguyen, H.-T., Nguyen, T.-T.-T., Tran, V., Phan, X.-H., Satoh, K., Nguyen, L.-M., "SM-BERT-CR: a deep learning approach for case law retrieval with supporting model", Artificial Intelligence and Law Vol. 30 pp. 1-28 (2022). https://doi.org/10.1007/s10506-022-09319-6
    46		Arisaka, R., Dauphin, J., Satoh, K., van der Torre, L., "Multi-agent Argumentation and Dialogue", Journal of Applied Logics - IfCoLog Journal 9(4), pp. 921-954 (2022).
    45		Vu, S. T., Nguyen, M. L., Satoh, K., "Abstract meaning representation for legal documents: an empirical research on a human-annotated dataset", Artificial Intelligence and Law 30(2), pp. 221-243 (2022). https://doi.org/10.1007/s10506-021-09292-6
    44		Fungwacharakorn, W., Tsushima, K., Satoh, K., "Diagnosing and Treating Effect of Legal Rule-Based Revision", New Generation Computing, 40(1), pp. 25-45 (2022). https://doi.org/10.1007/s00354-022-00157-3
    43		Rabelo, J., Goebel, R., Kim, M.-Y., Kano, Y., Yoshioka, M., Satoh, K., "Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021", The Review of Socionetwork Strategies (2022). https://doi.org/10.1007/s12626-022-00105-z
    42		Nguyen, H.-T., Nguyen, M.-P., Vuong, T.-H.-Y, Bui, M.-Q., Nguyen, M.-C., Dang, T.-B., Tran, V., Nguyen, L.-M., Satoh, K., "Transformer-Based Approaches for Legal Text Processing", The Review of Socionetwork Strategies, 16(1), pp. 135-155 (2022). https://10.1007/s12626-022-00102-2
    2021
    41		Fungwacharakorn, W., Tsushima, K., Satoh, K., "Resolving Counterintuitive Consequences in Law Using Legal Debugging", Artificial Intelligence and Law (2021). https://doi.org/10.1007/s10506-021-09283-7
    2020
    40		Walton, D., Oliveira, T., Satoh, K. and Mebane, W., "Argumentation Analytics for Treatment Deliberations in Multimorbidity Cases: An Introduction to Two Artificial Intelligence Approaches", Topoi (2020). https://doi.org/10.1007/s11245-020-09701-6
    39		Tran, V., Le Nguyen, M., Tojo, S., Satoh, K., "Encoded Summarization: Summarizing Documents into Continuous Vector Space for Legal Case Retrieval", Artif Intell Law (2020). https://doi.org/10.1007/s10506-020-09262-4
    38		Alberti, M., Gavanelli, M., Lamma, E., Riguzzi, F., Satoh, K., Zese, R., "Dischargeable Obligations in the 𝒮CIFF Framework", Fundam. Informaticae, 176(3-4): 321-348 (2020). https://doi.org/10.3233/FI-2020-1976
    2019
    37		Bellodi, E., Satoh, K., Sugiyama, M., "Summarizing Sinificant Subgraphs by Probablisitic Logic Programming", Intelligent Data Analysis, 23(6): 1299-1312 (2019). https://doi.org/10.3233/IDA-184339
    36		Oliveira, T., Gonçalves, F., Novais, P., Satoh, K., Neves, J., "OWL-based Acquisition and Editing of Computer-Interpretable Guidelines with the CompGuide", Expert Systems 36(3) (2019)
    35		Pooksook, J., Phan Minh Dung, P. M., Satoh K., Sartor G., ``Modelling Last-act Attempted Crime in Criminal Law'', Journal of Applied Non-Classical Logics, Volume 29, Issue 4, Pages 327-357 (2019). https://doi.org/10.1080/11663081.2019.1647652 A preliminary version appeared as Pooksook, J., Dung, P. M., Satoh, K., "Modeling Attempted Crime in Criminal Law", Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016), pp. 59 -- 72, Yokohama, Japan (2016).
    2018
    34		Ramos, J., Oliveira, T., Novais, P., Neves, J., Satoh, K., ``Cognitive Assistants - An Analysis and Future Trends Based on Speculative Default Reasoning'', Applied Science, 8(5), 742; https://doi.org/10.3390/app8050742 (2018).
    33		Nguyen, T. S., Nguyen, L-M, Tojo, S., Satoh, K., Shimazu, A., "Recurrent Neural Network-based Models for Recognizing Requisite and Effectuation Parts in Legal Texts", Artificial Intelligence and Law, Vol. 26, No. 2,pp. 169-199 (2018).
    32		Kowalski, R., and Satoh, K., "Obligation as Optimal Goal Satisfaction", Journal of Philosophical Logic, Vol 47. No. 4, pp. 579-609, https://doi.org/10.1007/s10992-017-9440-3 (2018).
    31		Oliveira, T., Silva, A., Satoh, K., Julian, V., Leao, P., Novais P., "Survivability Prediction of Colorectal Cancer Patients: A System with Evolving Features for Continuous Improvement", Sensors, Vol. 18 No.9, E2983 (2018).
    2017
    30		Fujita, M., Goto, Y. Nide, N., Satoh, K. and Hosobe, H., "Toward a Robot that Acquires Logical Recognition of Space" Information Engineering Express, Vol. 3, No. 4, pp. 1 -- 10 (2017).
    2016
    29		Oliveira, T., Satoh, K., Novais, P., Neves, J., and Hosobe, H., "A Dynamic Default Revision Mechanism for Speculative Computation", Autonomous Agents and Multi-Agent Systems, Vol. 31 pp. 656-695, doi:10.1007/s10458-016-9341-9 (2016).
    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., v``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
    

    2023
    46		Satoh, K., "PROLEG: Practical Legal Reasoning System", Prolog: The Next 50 Years, Lecture Notes in Computer Science, vol 13900, pp. 277-283 (2023). https://10.1007/978-3-031-35254-6_23
    45		Kim, M.-Y., Rabelo, J., Goebel, R., Yoshioka, M., Kano, Y., Satoh, K., "COLIEE 2022 Summary: Methods for Legal Document Retrieval and Entailment", New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science, vol 13859, pp. 51-67 (2023). https://doi.org/10.1007/978-3-031-29168-5_4
    44		Fungwacharakorn, W., Tsushima, K., Satoh, K., "On Complexity and Generality of Contrary Prioritized Defeasible Theory", New Frontiers in Artificial Intelligence, Lecture Notes in Computer Science, vol 13859, pp. 23-35 (2023). https://doi.org/10.1007/978-3-031-29168-5_2
    2022
    43		Ramos, J., Oliveira, T., Carneiro, D., Satoh, K., Novais, P., "Speculative Computation: Application Scenarios", Handbook of Abductive Cognition, pp.1-22 (2022). https://doi.org/10.1007/978-3-030-68436-5_24-1
    2021
    42		Fungwacharakorn, W., Tsushima, K., Satoh, K., "On the Legal Revision in PROLEG Program", Advances in Intelligent Systems and Computing, pp. 25-36 (2021). https://doi.org/10.1007/978-3-030-73113-7_3
    2020
    41		Nitta, K., Satoh, K., and Nishigai, Y., "Legal Expert System and Legal Reasoning Model" (in Japanese), pp. 179-213, Shozo Ohta (ed), "Introduction of Law in AI Era", Kobundo (2020).
    40		Shishido, T., Oya, T., Kozuka, S, Satoh, I., Kasaki, E., Satoh, K. "Alternatives: Will AI and Robot replace human labour?" (in Japanese), Shishido, T., Oya, T., Kozuka, S, Satoh, I. (eds.), "AI, Society and Law - Would paradigm shift happen?" pp. 217-254, Yuhikaku (2020).
    39		Serrano, E., Satoh, K., "An ABM for Exploring Pension Law and Social Security Policies", M. Sakamoto et al. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2019 Workshops, Revised Selected Papers, LNAI 12331, pp. 50 -- 63 (2020). A Preliminary version appeared as Serrano, E., Satoh, K., "An ABM for Exploring Pension Law and Social Security Policies", Proceedings of JURISIN-2019, pp. 103 - 116 (2019).
    38		Rabelo, J., Kim, M.-Y., Goebel, R., Yoshioka, M., Kano, Y., Satoh, K., "A Summary of the COLIEE 2019 Competition", M. Sakamoto et al. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2019 Workshops, Revised Selected Papers, LNAI 12331, pp. 34 -- 49 (2020). A Preliminary version appeared as Rabelo, J., Kim, M.-Y., Goebel, R., Yoshioka, M., Kano, Y., Satoh, K., "A Summary of the COLIEE 2019 Competition", Proceedings of JURISIN-2019, pp. 69 - 82 (2019).
    2019
    37		Fungwacharakorn, W., and Satoh, K., "On the Legal Debugging in PROLEG Program", K. Kojima et al. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2018 Workshops, Revised Selected Papers, LNAI 11717, pp. 146 -- 159 (2019). A Preliminary version appeared as Fungwacharakorn, W., and Satoh, K., "On the Legal Debugging in PROLEG program", Proceedings of the 12th International Workshop on Juris-Informatics (JURISIN 2018), pp. 4 -- 15 (2018).
    36		"ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law", Navas-Loro, M., Satoh, K., Rodríguez-Doncel, V., K. Kojima et al. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2018 Workshops, Revised Selected Papers, LNAI 11717, pp. 101 -- 114 (2019). A Preliminary version appeared as Navas-Loro, M., Satoh, K., Rodríguez-Doncel, V., "ContractFrames: Bridging the Gap Between Natural Language and Logics in Contract Law", Proceedings of the 12th International Workshop on Juris-Informatics (JURISIN 2018), pp. 71 -- 84 (2018).
    2018
    35		Van der Torre, L., Arisaka, R., Satoh, K., "Anything You Say May Be Used against You in a Court of Law - Legal Abstract Agent Argumentation (Legal Triple-A)", Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (Eds.), AI Approaches to the Complexity of Legal Systems - AICOL International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers. Lecture Notes in Computer Science 1079, pp. 427-442 (2018). A preliminary version appeared as Van der Torre, L., Arisaka, R., Satoh, K., "Anything You Say May Be Used against You in a Court of Law - Legal Abstract Agent Argumentation (Legal Triple-A)", Proceedings of the 11th International Workshop on Juris-Informatics (JURISIN 2017), pp. 116 -- 127, Tokyo, Japan (2017).
    34		Novais, P., Oliveira, T., Satoh, K., Neves, J., "The Role of Ontologies and Decision Frameworks in Computer-Interpretable Guideline Execution", Grzegorz J. Nalepa, Joachim Baumeister (eds), Synergies Between Knowledge Engineering and Software Engineering, Advances in Intelligent Systems and Computing 626, ISBN 978-3-319-64160-7, pp. 197 -- 216 (2018).
    2017
    33		Silva, A., Oliveira, T., Neves, J., Satoh, K., and Novais P., "A System for the Management of Clinical Tasks Throughout the Clinical Process with Notification Features", Montagna S., Abreu P., Giroux S., Schumacher M. (eds), Agents and Multi-Agent Systems for Health Care, A2HC 2017, AHEALTH 2017, LNCS10685, pp. 76 -- 93, DOI https://doi.org/10.1007/978-3-319-70887-4_5 (2017).
    32		Novais, P., Oliveira, T., Satoh K., Neves, J., "The Role of Ontologies and Decision Frameworks in Computer-Interpretable Guideline Execution", Grzegorz J. NalepaJoachim Baumeister (Eds.), Synergies Between Knowledge Engineering and Software Engineering, AISC 626, pp. 197 -- 216 (2017)
    31		Arisaka, R., and Satoh, K., ``Voluntary Manslaughter? A Case Study with Meta-Argumentation with Supports'', S. Kurahashi et al. (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops, Revised Selected Papers, LNAI 10247, pp. 216 -- 242 (2017). A preliminary version appeared as Arisaka, R., and Satoh, K., "Voluntary Manslaughter? Intention-to-Kill in Meta-Argumentation with Supports", Proceedings of the 10th International Workshop on Juris-Informatics (JURISIN 2016), pp. 45 -- 58, Yokohama, Tokyo (2016).
    2015
    30		Shams, Z., de Vos, M., Oren, N., Padget, J., and Satoh, K., ``Argumentation-based Normative Practical Reasoning'', Elizabeth Black, Sanjay Modgil, Nir Oren (eds.), Theory and Applications of Formal Argumentation Third International Workshop, TAFA 2015, Buenos Aires, Argentina, July 25-26, 2015, Revised Selected Papers, LNAI 9524, pp. 226 -- 242 (2015). A preliminary version appeared as Shams, Z., de Vos, M., Oren, N., Padget, J., and Satoh, K., ``Argumentation-based Normative Practical Reasoning'', Proceedings of the 1st nternational Workshop on Theory and Applications of Formal Argument (TAFA 2015) (2015).
    29		Athakravi, D., Alrajeh, D., Law, M., Broda, K., Russo, A., and Satoh, K.,, "Inductive Learning Using Constraint-Driven Bias", Jesse Davis, Jan Ramon (eds.) Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, Revised Selected Papers, LNAI 9046, pp. 16 -- 32 (2015).
    2014
    28		Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K., "Answering Yes/No Questions in Legal Bar Exams", Y. Nakano, K. Satoh, D. Bekki (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, Revised Selected Papers, LNAI 8417, pp. 199 -- 213 (2014). A preliminary version appeared as Kim, M-Y., Xu, Y., Goebel, R., and Satoh, K., "Answering Yes/No Questions in Legal Bar Exams", Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013), pp. 65 -- 78, Yokohama, Japan (2013).
    27		Shams, Z., De Vos, M., and Satoh K., "ArgPROLEG: A Normative Framework for The JUF Theory", New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, Revised Selected Papers, LNAI 8417, pp. 183 -- 198 (2014). A preliminary version appeared as Shams, Z., De Vos, M., and Satoh K., "ArgPROLEG: A Normative Framework for The JUF Theory", Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013), pp. 121 -- 134, Yokohama, Japan (2013).
    2013
    26		Satoh, K., Takahashi, K., "Decision Making in Knowledge Integration with Dynamic Creation of Argumentation", Y. Tanaka, N. Spyratos, T. Yoshida, C. Meghini (Eds.), Information Search, Integration and Personalization, ISIP 2012: Revised Selected Paeprs, Communications in Computer and Information Science 146, pp. 41 -- 50 (2013). A preliminary version appeared as 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).
    25		De Vos, M., Balke, T., and Satoh, K., "Modelling Legitimate Expectations", Y. Motomura, A. Bulter, D. Bekki (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI 7856, pp. 141 -- 156 (2013). A preliminary version appeared as 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).
    24		Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A., "Detecting Conflicts in Legal Systems", Y. Motomura, A. Bulter, D. Bekki (Eds.), New Frontiers in Artificial Intelligence: JSAI-isAI 2012 Workshops, Revised Selected Papers, LNAI 7856, pp. 174 -- 189 (2013). A preliminary version appeared as Li, T., Balke, T., De Vos, M., Satoh, K., and Padget, J. A., "Detecting Conflicts in Legal Systems" Proceedings of the 6th International Workshop on Juris-informatics (JURISIN 2012), pp. 73 -- 86, Miyazaki, Japan (2012).
    23		Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., and Satoh, K., "Handling Change in Normative Specifications", Invited paper, M. Baldoni, L. A. Dennis, V. Mascardi, W Vasconcelos (Eds.), Declarative Agent Languages and Technologies X - 10th International Workshop, DALT 2012, Revised Selected Papers, LNAI 7784, pp 1 -- 19 (2013). A preliminary version appeared as Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J. A., Satoh, K., "Handling Change in Normative Specifications", Proceedings of 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp. 1369-1370, Valencia, Spain (2012).
    2012
    22		De Vos, M., Padget, J. A., 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. A., 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 in Proceedings of the 4th International Workshop on Juris-informatics (JURISIN 2010), Tokyo, Japan (2010).
    2011
    20		Corapi, D., De Vos, M., Padget, J. A., 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, LNAI 6541, pp.77 - 94 (2011). A preliminary version appeared in Proc. of 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@MALLOW2010), 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, LNAI 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
    

    2023
    127		Nguyen, H.T., Goebel, R., Toni, F., Stathis, K., Satoh, K., "LawGiBa – Combining GPT, Knowledge Bases, and Logic Programming in a Legal Assistance System", pp. 371 - 374 (2023). https://doi.org/10.3233/FAIA230991
    126		Nguyen, H.T., Fungwacharakorn, W., Satoh, K., "LogiLaw: Dataset Towards Reinforcement Learning from Logical Feedback (RLLF)", Proc. of JURIX 2023, Frontiers in Artificial Intelligence and Applications, Volume 379: Legal Knowledge and Information Systems, pp. 217 - 226 (2023). https://doi.org/10.3233/FAIA230967
    125		Zin, M.M., Nguyen, H.T., Satoh, K., Sugawara, S., Nishino, F., "Information Extraction from Lengthy Legal Contracts: Leveraging Query-Based Summarization and GPT-3.5", Proc. of JURIX 2023, Frontiers in Artificial Intelligence and Applications, Volume 379: Legal Knowledge and Information Systems, pp. 177 - 186 (2023). https://doi.org/10.3233/FAIA230963
    124		Fungwacharakorn, W., Tsushima, K., Hosobe, H., Takeda, H., Satoh, K., "Connecting Rule-Based and Case-Based Representations of Soft-Constraint Norms", Proc. of JURIX 2023, Frontiers in Artificial Intelligence and Applications, Volume 379: Legal Knowledge and Information Systems, pp. 149 - 154 (2023). https://doi.org/10.3233/FAIA230959
    123		Goebel, R., Kano, Y., Kim, M.-Y., Rabelo, J., Satoh, K., Yoshioka, M., "Summary of the Competition on Legal Information, Extraction/Entailment (COLIEE) 2023", Proceedings of ICAIL 2023, pp. 472-480 (2023).
    122		May Myo Zin, Nguyen, H. T., Satoh, K., Sugawara, S., Nishino, F., "Improving Translation of Case Descriptions into Logical Fact Formulas using LegalCaseNER", Proceedings of ICAIL 2023, pp. 462-466 (2023).
    121		Fungwacharakorn, W., Satoh, K., and Verheij, B., "Constructing and Explaining Case Models: A Case-based Argumentation Perspective", Proc. of JURISIN 2023, pp.149-162 (2023).
    120		Fungwacharakorn, W., Takeda, H., and Satoh, K., "Using WikiData for Handling Legal Rule Exceptions: Proof of Concept", Proc. of JURISIN 2023, pp. 53-63 (2023).
    119		Truong Do, T., Nguyen, C., V. Tran, Satoh, K., Matsumoto, Y., Nguyen, L.-M., "CovRelex-SE: Adding Semantic Information for Relation Search via Sequence Embedding", Proc. of EACL (System Demonstrations) pp. 35-42 (2023). https://aclanthology.org/2023.eacl-demo.5/
    118		Hayashi, H., Satoh, K., "Online HTN Planning for Data Transfer and Utilization Considering Legal and Ethical Norms: Case Study", Proc. of ICAART pp. 154-164 (2023). https://doi.org/10.5220/0011603000003393
    117		Hosobe, H., Satoh, K., "Hierarchical Constraint Logic Programming for Multi-Agent Systems", Proc. of ICAART, pp. 289-296 (2023). https://doi.org/10.5220/0011698000003393
    116		Nguyen, H.-T., Tran, V., Nguyen, M.-P., Nguyen, L.-M., Satoh, K., "How Fine Tuning Affects Contextual Embeddings: A Negative Result Explanation", proc. of ICAART, pp. 586-591 (2023). https://doi.org/10.5220/10.5220/0011714200003393
    2022
    115		Nguyen, H.-T., Fungwacharakorn, W., Nishino, F., Satoh, K., "A Multi-Step Approach in Translating Natural Language into Logical Formula", Proc. of JURIX 2022, Frontiers in Artificial Intelligence and Applications pp. 103-112 (2022). https://doi.org/10.3233/faia220453
    114		Fungwacharakorn, W., Tsushima, K., Satoh, K., "Fundamental Revisions on Constraint Hierarchies for Ethical Norms", Proc. of JURIX 2022, Frontiers in Artificial Intelligence and Applications pp. 182-187 (2022). https://doi.org/10.3233/faia220464
    113		Nguyen, H.-T., Nishino, F., Fujita, M., Satoh, K., "An Interactive Natural Language Interface for PROLEG", Proc. of JURIX 2022, Frontiers in Artificial Intelligence and Applications pp. 294-297 (2022). https://doi.org/10.3233/faia220484
    112		Nishioka, S., Mori, Y., Satoh, K., "Consumer Dispute Resolution System Based on PROLEG", Proc. of JURIX 2022, Frontiers in Artificial Intelligence and Applications pp. 298-301 (2022). https://doi.org/10.3233/faia220485
    111		Nguyen, H.-T., Tran, V., Le, N.-C., Le, T. T., Huy, Q., Minh, N.L, Satoh, K., "Law to Binary Tree - An Formal Interpretation of Legal Natural Language", Proceedings of the International Workshop on Methodologies for Translating Legal Norms into Formal Representations (LN2FR 2022). https://doi.org/10.48550/arXiv.2305.12203
    110		Nguyen, M.-P., Nguyen, T.-T.-T., Tran, V., Nguyen, H.-T., Le-Minh Nguyen, L.-M., Satoh, K., "Learning to Map the GDPR to Logic Representation on DAPRECO-KB", Intelligent Information and Database Systems, ACIIDS 2022, Lecture Notes in Computer Science 13757, pp. 442-454 (2022). https://doi.org/10.1007/978-3-031-21743-2_35
    109		Sawasaki, T, Satoh, K, Troussel, A. C., "A Use Case on GDPR of Modular-PROLEG for Private International Law", Proceedings of the 3th International Workshop on Artificial Intelligence Technologies for Legal Documents (AI4LEGAL 2022) pp. 1-11 (2022). https://ceur-ws.org/Vol-3257/paper1.pdf
    108		Hayashi, H., Satoh, K., "Towards Legally and Ethically Correct Online HTN Planning for Data Transfer", Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, pp. 4-15 (2022). https://ceur-ws.org/Vol-3197/paper1.pdf
    107		Nguyen, H.-T., Nguyen, L.-M., Satoh, K., "A Survey of Pretrained Embeddings for Japanese Legal Representation", Proc. of IEA/AIE 2022, Advances and Trends in Artificial Intelligence, Theory and Practices in Artificial Intelligence, pp. 363-369 (2022). https://doi.org/10.1007/978-3-031-08530-7_30
    106		Satoh, K., "A Query Evaluation Method for ASP with Abduction", Proceedings of the ICLP 2022 Workshop on Goal-directed Execution of Answer Set Programs (2022). https://ceur-ws.org/Vol-3193/short4GDE.pdf
    2021
    105		Satoh, K., Ganascia, J.-G., Bourgne, G., Paschke, A., "Overview of RECOMP project", Proc. of International Workshop on Computational Machine Ethics (CME 2021), (2021). https://www.cse.unsw.edu.au/~cme2021/CME2021_paper_Satoh.pdf
    104		Satoh, K., Giordano, K., Baldoni, M., "Implementation of Choice of Jurisdiction and Law in Private International Law by PROLEG Meta-interpreter", Proc. of Logic and Argumentation: 4th International Conference, CLAR 2021, pp. 60-75 (2021). https://doi.org/10.1007/978-3-030-89391-0_4
    103		Satoh, K., Takahashi, K., Kawasaki, T., "Interactive system for arranging issues based on PROLEG in civil litigation", Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, pp. 273–274 (2021). https://doi.org/10.1145/3462757.3466096
    102		Fungwacharakorn, W., Tsushima, K., Satoh, K., "On semantics-based minimal revision for legal reasoning", Proceedings of the Eighteenth International Conference on Artificial Intelligence and Law, pp. 50–59 (2021). https://doi.org/10.1145/3462757.3466075
    101		Tran, V., Tran, V.-H., Nguyen, P., Nguyen, C., Satoh, K., Matsumoto, Y., Nguyen, L.-M., "CovRelex: A COVID-19 Retrieval System with Relation Extraction", Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: System Demonstrations, https://doi.org/10.18653/v1/2021.eacl-demos.4
    2020
    100		Fungwacharakorn, W., Satoh, K., "Generalizing Culprit Resolution in Legal Debugging with Background Knowledge", Prof. of JURIX 2020, pp. 52-62 (2020).
    99		Satoh, K., Baldoni, M., Giordano, L., "Reasoning about Applicable Law in Private International Law in Logic Programming", Prof. of JURIX 2020, pp. 281-285 (2020).
    98		Rabelo, J., Kim, M.-Y., Goebel, R., Yoshioka, M., Kano, Y., Satoh, K., "A Summary of the COLIEE 2020 Competition", Proceedings of JURISIN-2020, pp. 114 - 127 (2020).
    97		Nguyen, H.-T., Vuong, H.-Y. T., Nguyen, P. M., Dang, B. T., Bui, Q. M., Vu, S. H., Nguyen, C. M., Tran, V., Satoh, K., Nguyen, M. L., "JNLP Team: Deep Learning for Legal Processing in COLIEE 2020", Proceedings of JURISIN-2020, pp. 195 - 208 (2020).
    96		Fungwacharakorn, W., Tsushima, K., Satoh, K., "On the Legal Revision in PROLEG program" , Proc. of the 34th Annual Conference of JSAI, online proceedings, https://doi.org/10.11517/pjsai.JSAI2020.0_3G5ES104 (2020). JSAI 2020 Excellence Award for International Session Presentation
    95		Shao, Y., Mao, J., Liu, Y., Ma, W., Satoh, K., Zhang, M., Ma, S., "BERT-PLI: Modeling Paragraph-Level Interactions for Legal Case Retrieval", Proc. of IJCAI-PRICAI 2020, pp. 3501-3507 (2020).
    94		Oliveira, T., Dauphin, J., Satoh, K., Tsumoto, S., Novais, P., "Goal-Driven Structured Argumentation for Patient Management in a Multimorbidity Setting", Proceedings of the Third International Conference on Logic and Argumentation (CLAR 2020), LNCS 12061, pp.166-183 (2020).
    93		Koshimura, M., Satoh, K., "A Simple yet Efficient MCSes Enumeration with SAT Oracles", Proceedings of the 12th Asian Conference on Intelligent Information and Database Systems (ACIIDS 2020) (1), LNCS 12033, pp. 191-201 (2020).
    2019
    92		Sinh, V.T, Nguyen, L.M, Satoh, K., "Legal Text Generation from Abstract Meaning Representation", Proceedings of JURIX-2019, pp. 229 - 234 (2019).
    91		Baldoni, M., Giordano, L., Satoh, K., "Renvoi in Private International Law: A Formalization with Modal Contexts", Proceedings of JURIX-2019, pp. 157 - 162 (2019).
    90		Fungwacharakorn, W., Satoh, K., "Culprit Resolution for Legal Debugging in First-Order PROLEG", Proceedings of JURISIN-2019, pp. 117 - 130 (2019).
    89		Nomura, S., Tran, V. D, Nguyen, M. L, Satoh, K., Automated Summarization System for Japanese Legal Documents and Its Web-application, Proceedings of PACLING-2019 (2019).
    88		Tran, V. D., Nguyen, M. L., Shirai, K., Satoh, K., "An Approach of Rhetorical Status Recognition for Judgments in Court Documents using Deep Learning Models", Proceedings of KSE-2019 pp. 1 - 6 (2019).
    87		Dauphin, J, Satoh, K., "Explainable ASP", Proceedings of PRIMA-2019, pp. 610 - 617 (2019).
    86		De Vos, M, Kirrane, S, Padget, J.A, Satoh, K., "ODRL Policy Modelling and Compliance Checking", Proceedings of RuleML+RR-2019, pp. 36 - 51 (2019).
    85		Satoh, K., Nishigai, Y., "Implementation of Criminal Procedure using PROLEG Technology" (In Japanese), Proc. of the 33rd Annual Conference of JSAI, online proceedings, https://doi.org/10.11517/pjsai.JSAI2019.0_4E3OS7b05 (2020). JSAI 2019 Excellence Award for Organized Session Presentation
    84		Tran, V. D, Nguyen, M. L, Satoh, K., "Building Legal Case Retrieval Systems with Lexical Matching and Summarization using A Pre-Trained Phrase Scoring Model", Proceedings of ICAIL-2019, pp. 275 - 282 (2019).
    83		Silva, A., Oliveira, T., Satoh, K., Novais, P., "Providing Alternative Measures for Addressing Adverse Drug-Drug Interactions", Proceedings of WorldCIST (2) 2019, pp. 567 - 576 (2019).
    2018
    82		Oliveira, T., Dauphin, J., Satoh, K., Tsumoto, S., Novais, P., "Argumentation with Goals for Clinical Decision Support in Multimorbidity", Proceedings of AAMAS 2018, pp.2031-2033 (2018).
    81		Wang, B., Osawa, H., Satoh, K., "How Implicit Communication Emerges during Conversation Game" Proceedings of AAMAS 2018, pp. 2118-2120 (2018).
    80		Valvoda, J., Ray, O., Satoh, K., "Using Agreement Statements to Identify Majority Opinion in UKHL Case Law", Proc. of JURIX 2018, pp 141-150 (2018).
    79		Silva, A., Oliveira, T., Satoh, K., Novais, P., "Automatically Identifying Drug Conflicts in Clinical Practice Guidelines", Proceedings of MedRACER+WOMoCoE@KR 2018, pp. 23-28 (2018).
    78		Tran, V., D., Nguyen, L.-M., Satoh, K., "Encoding Local Contexts of Sentences with Convolutions on pq-Gram Representations of Dependency Trees", Proceedings of 10th International Conference on Knowledge and Systems Engineering (KSE2018), pp.329-334 (2018).
    77		Arisaka, R., Satoh, K., "Abstract Argumentation / Persuasion / Dynamics", Proceedings of 21th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), LNAI 11224, pp.331-343 (2018).
    76		Dauphin, J., Satoh, K., "Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal", Proceedings of 21th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), LNAI 11224, pp.449-457 (2018).
    75		Silva, A., Oliveira, T., Goncalves, F., Neves, J., Satoh, K., Novais, P., "A Unified System for Clinical Guideline Management and Execution", WorldCIST (2), in Alvaro Rocha, Hojjat Adeli, Luis Paulo Reis, Sandra Costanzo: Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]. Advances in Intelligent Systems and Computing 746, pp. 810-819, Springer 2018, ISBN 978-3-319-77711-5 (2018).
    2017
    74		Kano, Y., Kim, M-Y., Goebel, R., Satoh, K., "Overview of COLIEE 2017", Proceedings of 4th Competition on Legal Information Extraction and Entailment (COLIEE@ICAIL 2017), EPiC Series in Computing 47, EasyChair, pp. 1 -- 8, London, UK (2017).
    73		Arisaka, R., Satoh, K., "Coalition Formability Semantics with Conflict-Eliminable Sets of Arguments", Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems(AAMAS 2017), pp. 1469 -- 1471, Sao Paulo, Brazil (2017).
    2016
    72		Thompson, M., Julian Padget, J., Satoh, K., "Describing Legal Policies as Story Tropes in Normative Systems", Proceedings of the 29th Annual Conference on Legal Knowledge and Information Systems (JURIX 2016), pp. 207 -- 210, Nice, France (2016).
    71		Cyras, K., Satoh, K., Toni, F., "Explanation for Case-Based Reasoning via Abstract Argumentation", Computational Models of Argument - Proceedings of COMMA 2016, Frontiers in Artificial Intelligence and Applications 287, Potsdam, Germany, pp 243 -- 254 (2016).
    70		Arisaka, R., Satoh, K., "Balancing Rationality and Utility in Logic-Based Argumentation with Classical Logic Sentences and Belief Contraction", Proceedings of 19th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), LNAI 9862, pp 168--180, Phuket, Thai (2016).
    69		Ramos, J., Oliveira, T., Satoh, K., Neves, J., Novais, P., "Orientation System Based on Speculative Computation and Trajectory Mining", in Highlights of Practical Applications of Scalable Multi-Agent Systems, The PAAMS Collection, Javier Bajo, Maria Jose Escalona, Sylvain Giroux, Patrycja Hoffa-Dabrowska, Vicente Julian, Paulo Novais, Nayat Sanchez-Pi, Rainer Unland, Ricardo Azambuja-Silveira (eds)., CCIS 616, pp 250 -- 261, Sevilla, Spain (2016).
    68		Cyras, K., Satoh, K., Toni, F., "Abstract Argumentation for Case-Based Reasoning", Proceedings of the Fifteenth International Conference (KR 2016), pp. 549-552, Cape Town, South Africa (2016).
    2015
    67		Ramos, J., Oliveira, T., Novais, P., Neves, J., Satoh, K., "An Alert Mechanism for Orientation Systems based on Speculative Computation", Proceedings of 2015 International Symposium on INnovations in Intelligent SysTems and Applications (INISTA 2015), pp. 1 -- 8, Madrid, Spain (2015).
    66		Athakravi, D., Satoh, K.,, Law, M., Broda, K., and Russo, A., ``Automated Inference of Rules with Exception from Past Legal Cases Using ASP'', Proceedings of 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015), LNAI 9395, pp. 83 -- 96, Lexington, USA (2015).
    65		Schulz, C., Satoh, K., and Toni, F., ``Characterising and Explaining Inconsistency in Logic Programs'', Proceedings of 13th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2015), LNAI 9395, LPNMR 2015: pp. 467 -- 479, Lexington, USA (2015).
    64		Oliveira, T., Satoh, K., Novais, P., Neves, J., Lietao, P., and Hosobe H., ``A Reasoning Module for Distributed Clinical Decision Support Systems'', Proceedings of 9th International Symposium on Intelligent Distributed Computing (IDC'2015), pp. 387 -- 397, Guimaraes, Portugal (2015).
    63		Li, T., De Vos, M., Padget, J., Satoh, K., and Balke, T., ``Debugging ASP using ILP'', Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland (2015).
    2014
    62		Miyao Y., and Satoh, K., "A Logic-based System for Recognizing Textual Entailment Applied to the Bar Exam Competition", Proceedings of the 8th International Workshop on Juris-informatics (JURISIN 2014), pp. 130 -- 138, Yokohama, Japan (2014).
    61		Oliveira, T., Neves, J., Novais, P., Satoh, K., "Speculative Computation with Constraint Processing for the Generation of Clinical Scenarios", Proceedings of the Applied Computing 2014 (AC2014), 11th International Conference, pp. 143 -- 150, Porto, Portugal (2014).
    60		Fujita, M., Goto, Y., Nide, N., Satoh, K., and Hosobe, H., "Logic-based and Robust Decision Making for Robots in Real World", Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), pp. 1685 -- 1686, Paris, France (2014).
    59		Oliveira, T., Neves, J., Novais, P., Satoh, K., "Applying Speculative Computation to Guideline-Based Decision Support Systems", Proceedings of the International Symposium on Computer-Based Medical Systems (CBMS 2014), pp. 42 -- 47, New York, USA (2014).
    58		Ramos, J., Satoh, K., Novais, P., Neves, J., "Modelling an Orientation System Based on Speculative Computation", Proceedings of the 12th International Symposium on Distributed Computing and Artificial Intelligence (DCAI 2014), pp. 319 -- 326, Salamanca, Spain (2014).
    57		Tantisripreecha, T., Satoh, K., and Nuanwan, S., "Legal Reasoning Engine for Civil Court Procedure", Proceedings of The 10th International Conference on Intelligent Computing (ICIC 2014), pp. 500 -- 512, Taiyuan, Chain (2014).
    56		Padget, J., Elakehal, E. E., Satoh, K., Ishikawa, F., "On Requirements Representation and Reasoning Using Answer Set Programming", The 1st International Workshop on Artificial Intelligence for Requirements Engineering (AIRE 2014), pp. 35 -- 42, Karlskrona, Sweden (2014).
    2013
    55		Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K., "Legal Conflict Detection in Interacting Legal Systems", Proceedings of the 26th Annual Conference on Legal Knowledge and Information Systems (JURIX 2013), pp. 107 -- 116, Bologna, Italy (2013).
    54		Padget, J. A., Satoh, K., and Ishikawa, F., "Normative Approach to Exploring Multi-Agency Privacy and Transparency", Proceedings of the 7th International Workshop on Juris-informatics (JURISIN 2013), pp. 9-22, Yokohama, Japan (2013).
    53		Fujita, M., Goto, Y., Nide, N., Satoh, K., and Hosobe, H., "An Architecture for Autonomously Controlling Robot with Embodiment in Real World", Proceedings of the ICLP 2013 workshop on Knowledge Representation and Reasoning in Robotics (KRR-ICLP2013), CoRR abs/1307.7129, Istanbul, Turkey (2013).
    52		Li, T., Balke, T., De Vos, M., Padget, J. A., and Satoh K., "A Model-Based Approach to the Automatic Revision of Secondary Legislation", Proceedings of the 14th International Conference on Artificial Intelligence & Law (ICAIL 2013), pp. 202 -- 206, Rome, Italy (2013).
    51		De Vos, M., Balke, T., Satoh, K., "Combining Event- and State-based Norms", Proceedings of the 12th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2013), pp. 1157 -- 1158, Saint Paul, Minnesota, USA (2013).
    2012
    50		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).
    49		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).
    48		Li, T., Balke, T., De Vos, M., Satoh, K., Padget, J. A., "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).
    47		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, LNAI 7486, pp. 43-60, Montpellier, France (2012).
    2010
    46		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, LNAI 6245, pp.49-64, Lisbon, Portugal (2010).
    2009
    45		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).
    44		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
    43		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), LNAI 5345, pp. 256-267, Springer-Verlag, Yokohama, Japan (2008).
    42		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
    41		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).
    40		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).
    39		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).
    38		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).
    37		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
    36		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).
    35		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).
    34		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).
    33		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).
    32		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).
    2004
    31		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).
    30		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
    29		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).
    28		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).
    27		Satoh, K., ``Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report -'', Cooperative Information Agents VII, LNAI 2872, pp. 324 -- 335, Helsinki, Finland (2003).
    26		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
    25		Satoh, K., ``Computing Minimal Revised Specification without Minimality Check'', Proc. of FOSE'02, pp. 143 -- 150 (2002) (in Japanese).
    24		Satoh, K., Yamamoto, 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
    23		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
    22		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).
    21		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).
    20		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).
    19		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).
    18		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).
    17		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).
    16		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
    15		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).
    14		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
    13		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).
    12		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).
    11		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).
    10		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
    9		Satoh, K., ``Disambiguation by Prioritized Circumscription'', Proceedings of the Sixteenth International Conference on Computational Linguistics, pp. 901 -- 906, Copenhagen, Denmark (1996).
    1995
    8		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
    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
    

    2019
    12		Nitta, K., Satoh, K., "Application of Artificial Intelligence to Law - Background and Summary -", Journal of Japanese Society of Artificial Intelligence, Vol. 34, No.6, pp. 870 -- 875 (2019). (in Japanese)
    11		Satoh, K., Nitta, K., Ashley, K. D., "Application of AI to Law Domain", Japanese Law & Society Review, Vol.4, pp.177-196 (2019). (in Japanese)
    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).
    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)

  • Miscellaneous Publications
    

    2020
    9		Nishigai, Y., Satoh, K., "Programming of "Japanese Presupposed Ultimate Fact Theory" in criminal law using PROLEG", (in Japanese) Information Network Law Review, Vol. 19, pp. 81-120 (2021). https://doi.org/10.34374/inlaw.19.0_81
    8		Kano, Y., Yoshioka, M., Rabelo, J., Kim, M.-Y., Goebal, R., Satoh, K., "COLIEE: Competition for Legal Information Extraction and Entailment", (in Japanese) Journal of Japanese Society of Artificial Intelligence, Vol. 35, No.3, pp. 377-384 (2020).
    2019
    7		Shishido, T., Oya, T., Kozuka, S, Satoh, I., Kasaki, E., Satoh, K. "Alternatives: Will AI and Robot replace human labour?" (in Japanese), Shishido, T., Oya, T., Kozuka, S, Satoh, I. (eds.), Ronkyu JURISIT, Vol. 31, pp. 174-193 (2019).
    6		Satoh, K., "PROLEG: An Implementation of the Presupposed Ultimate Fact Theory in Civil Ligation by Logic Programming", THINK, Vol. 117, pp. 61-70 (2019). (in Japanese)
    5		Satoh, K., "Recent Advances of AI Applications to AI", Ronza (2019). (in Japanese) https://webronza.asahi.com/science/articles/2019071700006.html
    4		Satoh, K., "Development of Judgement Reasoning Software: AI Application to Law", Business Legal Management, Vol 19, No 3, pp. 4 - 5 (2019). (in Japanese)
    2018
    3		Satoh, K., "Exaplantion by AI of Judgement", Newton Separate Issue, pp. 122 - 129 (2018). (in Japanese)
    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)