Ken Satoh

Ken Satoh: Logic Programming and Burden of Proof in Legal Reasoning. New Generation Comput. 30(4): 297-326 (2012)

Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Handling change in normative specifications. AAMAS 2012: 1369-1370

Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe: Distributed Defeasible Speculative Reasoning in Ambient Environment. CLIMA 2012: 43-60

Yoko Anan, Kohei Hatano, Hideo Bannai, Masayuki Takeda, Ken Satoh: Polyphonic Music Classification on Symbolic Data Using Dissimilarity Functions. ISMIR 2012: 229-234

Manabu Okumura, Daisuke Bekki, Ken Satoh (Eds.): New Frontiers in Artificial Intelligence - JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7258, Springer 2012, isbn 978-3-642-32089-7

Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. TPLP 11(4-5): 783-799 (2011)

Shozo Ota, Ken Satoh, Makoto Nakamura: The Fifth International Workshop on Juris-Informatics (JURISIN 2011). JSAI-isAI Workshops 2011: 110-111

Domenico Corapi, Alessandra Russo, Marina De Vos, Julian A. Padget, Ken Satoh: Normative design using inductive learning. CoRR abs/1107.4967 (2011)

Hiroshi Hosobe, Ken Satoh, Jiefei Ma, Alessandra Russo, Krysia Broda: Speculative constraint processing for hierarchical agents. AI Commun. 23(4): 373-388 (2010)

Ken Kaneiwa, Ken Satoh: On the complexities of consistency checking for restricted UML class diagrams. Theor. Comput. Sci. 411(2): 301-323 (2010)

Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. COIN@AAMAS&MALLOW 2010: 77-94

Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hosobe, Alessandra Russo, Ken Satoh: Speculative Abductive Reasoning for Hierarchical Agent Systems. CLIMA 2010: 49-64

Marina De Vos, Julian A. Padget, Ken Satoh: Legal Modelling and Reasoning Using Institutions. JSAI-isAI Workshops 2010: 129-140

Ken Satoh, Kento Asai, Takamune Kogawa, Masahiro Kubota, Megumi Nakamura, Yoshiaki Nishigai, Kei Shirakawa, Chiaki Takano: PROLEG: An Implementation of the Presupposed Ultimate Fact Theory of Japanese Civil Code by PROLOG Technology. JSAI-isAI Workshops 2010: 153-164

Domenico Corapi, Marina De Vos, Julian A. Padget, Alessandra Russo, Ken Satoh: Norm Refinement and Design through Inductive Learning. MALLOW 2010

Jiefei Ma, Alessandra Russo, Krysia Broda, Hiroshi Hosobe, Ken Satoh: On the Implementation of Speculative Constraint Processing. CLIMA 2009: 178-195

Ken Satoh: Computing Minimal Models by Positively Minimal Disjuncts. JSAI-isAI Workshops 2009: 358-371

Ken Satoh, Masahiro Kubota, Yoshiaki Nishigai, Chiaki Takano: Translating the Japanese Presupposed Ultimate Fact Theory into Logic Programming. JURIX 2009: 162-171

Katsumi Nitta, Ken Satoh, Satoshi Tojo: Overview of JURISIN 2008. JSAI 2008: 211-212

Naoki Fukuta, Ken Satoh, Takahira Yamaguchi: Towards "Kiga-kiku" Services on Speculative Computation. PAKM 2008: 256-267

Fariba Sadri, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5056, Springer 2008, isbn 978-3-540-88832-1

Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura (Eds.): New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4914, Springer 2008, isbn 978-3-540-78196-7

Hiroshi Hosobe, Ken Satoh, Philippe Codognet: Agent-Based Speculative Constraint Processing. IEICE Transactions 90-D(9): 1354-1362 (2007)

Shin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555

Mina Akaishi, Yoshikiyo Kato, Ken Satoh, Koichi Hori: Narrative based Topic Visualization for Chronological Data. IV 2007: 139-144

Katsumi Nitta, Ken Satoh, Satoshi Tojo: First International Workshop on Juris-Informatics. JSAI 2007: 347-348

Katsumi Inoue, Ken Satoh, Francesca Toni (Eds.): Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4371, Springer 2007, isbn 978-3-540-69618-6

Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi (Eds.): New Frontiers in Artificial Intelligence, JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers. Lecture Notes in Computer Science 4384, Springer 2007, isbn 3-540-69901-5

Ken Kaneiwa, Ken Satoh: Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239

Mina Akaishi, Koichi Hori, Ken Satoh: Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set. IV 2006: 101-106

Akihiro Yamamoto, Kouichi Hirata, Ken Satoh: The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). JSAI 2006: 249-250

Ken Satoh, Satoshi Tojo: Disjunction of Causes and Disjunctive Cause: a Solution to the Paradox of Conditio Sine Qua Non using Minimal Abduction. JURIX 2006: 163-168

Ken Satoh, Ken Kaneiwa, Takeaki Uno: Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280

Ken Satoh, Takeaki Uno: Enumerating Minimal Explanations by Minimal Hitting Set Computation. KSEM 2006: 354-365

Ken Satoh: Speculative Computation and Abduction for an Autonomous Agent. IEICE Transactions 88-D(9): 2031-2038 (2005)

Ken Satoh: Learning taxonomic relation by case-based reasoning. Theor. Comput. Sci. 348(1): 58-69 (2005)

Martine Ceberio, Hiroshi Hosobe, Ken Satoh: Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. CLIMA 2005: 340-357

Ken Satoh, Takeaki Uno: Enumerating Minimally Revised Specifications Using Dualization. JSAI Workshops 2005: 182-189

Jürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)

Ken Satoh: An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. CLIMA 2004: 213-229

Ken Satoh: Formalizing Retrieval Goal Change by Prioritized Abduction. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 215-232

Mina Akaishi, Ken Satoh, Yuzuru Tanaka: An Associative Information Retrieval Based on the Dependency of Term Co-occurrence. Discovery Science 2004: 195-206

Ken Satoh: "All's well that ends well" - a proposal of global abduction. NMR 2004: 360-367

Jürgen Dix, Fariba Sadri, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003)

Ken Satoh: Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report. CIA 2003: 324-335

Ken Satoh, Takeaki Uno: Enumerating Maximal Frequent Sets Using Irredundant Dualization. Discovery Science 2003: 256-268

Takeaki Uno, Ken Satoh: Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization. FIMI 2003

Ken Satoh, Philippe Codognet, Hiroshi Hosobe: Speculative Constraint Processing in Multi-agent Systems. PRIMA 2003: 133-144

Jürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): 204-206 (2002)

Ken Satoh, Keiji Yamamoto: Speculative computation with multi-agent belief revision. AAMAS 2002: 897-904

Ken Satoh: Constructing a Critical Casebase to Represent a Lattice-Based Relation. Progress in Discovery Science 2002: 214-223

Ken Satoh: Speculative computation and abduction for an autonomous agent. NMR 2002: 191-199

Jürgen Dix, João Alexandre Leite, Ken Satoh (Eds.): Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings. Datalogiske Skrifter 93, Roskilde University 2002

Steffen Lange, Ken Satoh, Carl H. Smith (Eds.): Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings. Lecture Notes in Computer Science 2534, Springer 2002, isbn 3-540-00188-3

Brian Drabble, Laurent Chaudron, Catherine Tessier, Sue Abu-Hakima, Steven Willmott, Jim Austin, Boi Faltings, Eugene C. Freuder, Gerhard Friedrich, Alex Alves Freitas, Ulises Cortés, Miquel Sànchez-Marrè, David W. Aha, Irma Becerra-Fernandez, Héctor Muñoz-Avila, Aditya Ghose, Tim Menzies, Ken Satoh, Mary Elaine Califf, Michael T. Cox, Sandip Sen, Patrick Brézillon, Jean-Charles Pomerol, Roy M. Turner, Elise H. Turner: Reports on the AAAI 1999 Workshop Program. AI Magazine 21(1): 95-100 (2000)

Noboru Iwayama, Ken Satoh: Computing abduction by using TMS with top-down expectation. J. Log. Program. 44(1-3): 179-206 (2000)

Ken Satoh, Hidenori Okamoto: Computing Circumscriptive Databases by Integer Programming: Revisited. AAAI/IAAI 2000: 429-435

Ken Satoh: Learning Taxonomic Relation by Case-Based Reasoning. ALT 2000: 179-193

Ken Satoh, Ryuichi Nakagawa: Discovering Critical Cases in Case-Based Reasoning. AMAI 2000

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh: A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems 2000: 1-6

Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama: Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270

Ken Satoh, Hidenori Okamoto: Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract). CoRR cs.AI/0003007 (2000)

Ken Satoh: Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure. CoRR cs.AI/0003008 (2000)

Ken Satoh: Analysis of Case-Based Representability of Boolean Functions by Monotone Theory. ALT 1998: 179-190

Ken Satoh: Using Two Level Abduction to Decide Similarity of Cases. ECAI 1998: 398-402

Ken Satoh: Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming. JACIII 1(2): 94-103 (1997)

Toshiko Wakaki, Ken Satoh, Katsumi Nitta: Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming. JACIII 1(2): 121-129 (1997)

Toshiko Wakaki, Ken Satoh: Compiling Prioritized Circumscription into Extended Logic Programs. IJCAI (1) 1997: 182-189

Ken Satoh: Disambiguation by Prioritized Circumscription. COLING 1996: 901-906

Ken Satoh: Translating Case-Based Reasoning into Abductive Logic Programming. ECAI 1996: 142-146

Ken Satoh: PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison. IEA/AIE 1996: 792

Seishi Okamoto, Ken Satoh: An Average-Case Analysis of k-Nearest Neighbor Classifier. ICCBR 1995: 253-264

Toshiko Wakaki, Ken Satoh: Computing Prioritized Circumscription by Logic Programming. ICLP 1995: 283-297

Ken Satoh: PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning. Machine Intelligence 15 1995: 285-297

Ken Satoh: A Top Down Proof Procedure for Default Logic by Using Abduction. ECAI 1994: 65-69

Seishi Okamoto, Ken Satoh: An Average Predictive Accuracy of the Nearest Neighbor Classifier. EWCBR 1994: 101-112

Noboru Iwayama, Ken Satoh, Jun Arima: A Formalization of Generalization-Based Analogy in General Logic Programs. ECAI 1992: 129-133

Ken Satoh, Noboru Iwayama: A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. ELP 1992: 24-44

Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba: Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. FGCS 1992: 330-346

Ken Satoh, Noboru Iwayama: A Query Evaluation Method for Abductive Logic Programming. JICSLP 1992: 671-685

Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518

Hirofumi Katsuno, Ken Satoh: A Unified View of Consequence Relation, Belief Revision and Conditional Logic. IJCAI 1991: 406-412

Ken Satoh: A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning. AAAI 1990: 659-664

Ken Satoh: Formalizing Soft Constraints by Interpretation Ordering. ECAI 1990: 585-590

Ken Satoh: Nonmonotonic Reasoning by Minimal Belief Revision. FGCS 1988: 455-462

Kouichi Kumon, Hideo Masuzawa, Akihiro Itashiki, Ken Satoh, Yukio Sohma: KABU-WAKE: A New Parallel Inference Method and Its Evaluation. COMPCON 1986: 168-172

Hideo Masuzawa, Kouichi Kumon, Akihiro Itashiki, Ken Satoh, Yukio Sohma: "Kabu-Wake" Parallel Inference Mechanism and It's Evaluation. FJCC 1986: 955-962

Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh: A Sequential Implementation of Parlog. ICLP 1986: 149-156