dblp.uni-trier.dewww.uni-trier.de

Ken Satoh Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
70 Ken Satoh, Akihiro Inokuchi, Katashi Nagao, Takahiro Kawamura: New Frontiers in Artificial Intelligence, JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers Springer 2008
69 Fariba Sadri, Ken Satoh: Computational Logic in Multi-Agent Systems, 8th International Workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007. Revised Selected and Invited Papers Springer 2008
68EEKatsumi Nitta, Ken Satoh, Satoshi Tojo: Overview of JURISIN 2008. JSAI 2008: 211-212
67EENaoki Fukuta, Ken Satoh, Takahira Yamaguchi: Towards "Kiga-kiku" Services on Speculative Computation. PAKM 2008: 256-267
2007
66 Katsumi Inoue, Ken Satoh, Francesca Toni: Computational Logic in Multi-Agent Systems, 7th International Workshop, CLIMA VII, Hakodate, Japan, May 8-9, 2006, Revised Selected and Invited Papers Springer 2007
65 Takashi Washio, Ken Satoh, Hideaki Takeda, Akihiro Inokuchi: New Frontiers in Artificial Intelligence, JSAI 2006 Conference and Workshops, Tokyo, Japan, June 5-9 2006, Revised Selected Papers Springer 2007
64EEShin-ichi Minato, Ken Satoh, Taisuke Sato: Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-Suppressed BDDs. IJCAI 2007: 2550-2555
63EEMina Akaishi, Yoshikiyo Kato, Ken Satoh, Koichi Hori: Narrative based Topic Visualization for Chronological Data. IV 2007: 139-144
62EEKatsumi Nitta, Ken Satoh, Satoshi Tojo: First International Workshop on Juris-Informatics. JSAI 2007: 347-348
61EEHiroshi Hosobe, Ken Satoh, Philippe Codognet: Agent-Based Speculative Constraint Processing. IEICE Transactions 90-D(9): 1354-1362 (2007)
2006
60EEKen Satoh, Ken Kaneiwa, Takeaki Uno: Contradiction Finding and Minimal Recovery for UML Class Diagrams. ASE 2006: 277-280
59EEKen Kaneiwa, Ken Satoh: Consistency Checking Algorithms for Restricted UML Class Diagrams. FoIKS 2006: 219-239
58EEMina Akaishi, Koichi Hori, Ken Satoh: Topic Tracer: a Visualization Tool for Quick Reference of Stories Embedded in Document Set. IV 2006: 101-106
57EEAkihiro Yamamoto, Kouichi Hirata, Ken Satoh: The Fourth Workshop on Learning with Logics and Logics for Learning (LLLL2006). JSAI 2006: 249-250
56 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
55EEKen Satoh, Takeaki Uno: Enumerating Minimal Explanations by Minimal Hitting Set Computation. KSEM 2006: 354-365
2005
54EEMartine Ceberio, Hiroshi Hosobe, Ken Satoh: Speculative Constraint Processing with Iterative Revision for Disjunctive Answers. CLIMA VI 2005: 340-357
53EEKen Satoh, Takeaki Uno: Enumerating Minimally Revised Specifications Using Dualization. JSAI Workshops 2005: 182-189
52EEKen Satoh: Speculative Computation and Abduction for an Autonomous Agent. IEICE Transactions 88-D(9): 2031-2038 (2005)
51EEKen Satoh: Learning taxonomic relation by case-based reasoning. Theor. Comput. Sci. 348(1): 58-69 (2005)
2004
50EEKen Satoh: An Application of Global Abduction to an Information Agent Which Modifies a Plan Upon Failure - Preliminary Report. CLIMA V 2004: 213-229
49EEMina Akaishi, Ken Satoh, Yuzuru Tanaka: An Associative Information Retrieval Based on the Dependency of Term Co-occurrence. Discovery Science 2004: 195-206
48EEKen Satoh: Formalizing Retrieval Goal Change by Prioritized Abduction. Intuitive Human Interfaces for Organizing and Accessing Intellectual Assets 2004: 215-232
47EEKen Satoh: "All's well that ends well" - a proposal of global abduction. NMR 2004: 360-367
46EEJürgen Dix, João Alexandre Leite, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 42(1-3): 1-3 (2004)
2003
45EEKen Satoh: Formalizing Retrieval Goal Change by Prioritized Circumscription - Preliminary Report. CIA 2003: 324-335
44EEKen Satoh, Takeaki Uno: Enumerating Maximal Frequent Sets Using Irredundant Dualization. Discovery Science 2003: 256-268
43EETakeaki Uno, Ken Satoh: Detailed Description of an Algorithm for Enumeration of Maximal Frequent Sets with Irredundant Dualization. FIMI 2003
42EEKen Satoh, Philippe Codognet, Hiroshi Hosobe: Speculative Constraint Processing in Multi-agent Systems. PRIMA 2003: 133-144
41EEJürgen Dix, Fariba Sadri, Ken Satoh: Introduction. Ann. Math. Artif. Intell. 37(1-2): 1-3 (2003)
2002
40 Jürgen Dix, João Alexandre Leite, Ken Satoh: Computational Logic in Multi-Agent Systems: 3rd International Workshop, CLIMA'02, Copenhagen, Denmark, August 1, 2002, Pre-Proceedings Roskilde University 2002
39 Steffen Lange, Ken Satoh, Carl H. Smith: Discovery Science, 5th International Conference, DS 2002, Lübeck, Germany, November 24-26, 2002, Proceedings Springer 2002
38EEKen Satoh, Keiji Yamamoto: Speculative computation with multi-agent belief revision. AAMAS 2002: 897-904
37 Ken Satoh: Speculative computation and abduction for an autonomous agent. NMR 2002: 191-199
36EEKen Satoh: Constructing a Critical Casebase to Represent a Lattice-Based Relation. Progress in Discovery Science 2002: 214-223
35EEJürgen Dix, João Alexandre Leite, Ken Satoh: Preface. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2000
34 Ken Satoh, Hidenori Okamoto: Computing Circumscriptive Databases by Integer Programming: Revisited. AAAI/IAAI 2000: 429-435
33EEKen Satoh: Learning Taxonomic Relation by Case-Based Reasoning. ALT 2000: 179-193
32EEKen Satoh, Ryuichi Nakagawa: Discovering Critical Cases in Case-Based Reasoning. AMAI 2000
31 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
30 Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama: Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270
29 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)
28EEKen Satoh, Hidenori Okamoto: Computing Circumscriptive Databases by Integer Programming: Revisited (Extended Abstract) CoRR cs.AI/0003007: (2000)
27EEKen Satoh: Consistency Management of Normal Logic Program by Top-down Abductive Proof Procedure CoRR cs.AI/0003008: (2000)
26 Noboru Iwayama, Ken Satoh: Computing abduction by using TMS with top-down expectation. J. Log. Program. 44(1-3): 179-206 (2000)
1998
25EEKen Satoh: Analysis of Case-Based Representability of Boolean Functions by Monotone Theory. ALT 1998: 179-190
24 Ken Satoh: Using Two Level Abduction to Decide Similarity of Cases. ECAI 1998: 398-402
1997
23 Toshiko Wakaki, Ken Satoh: Compiling Prioritized Circumscription into Extended Logic Programs. IJCAI (1) 1997: 182-189
22EEToshiko Wakaki, Ken Satoh, Katsumi Nitta: Reasoning about Dynamic Preferences in Circumscriptive Theory by Logic Programming. JACIII 1(2): 121-129 (1997)
21EEKen Satoh: Statutory Interpretation by Case-Based Reasoning through Abductive Logic Programming. JACIII 1(2): 94-103 (1997)
1996
20EEKen Satoh: Disambiguation by Prioritized Circumscription. COLING 1996: 901-906
19 Ken Satoh: Translating Case-Based Reasoning into Abductive Logic Programming. ECAI 1996: 142-146
18 Ken Satoh: PAC-Learning of Weights in Multiobjective Function by Pairwise Comparison. IEA/AIE 1996: 792
1995
17 Seishi Okamoto, Ken Satoh: An Average-Case Analysis of k-Nearest Neighbor Classifier. ICCBR 1995: 253-264
16 Toshiko Wakaki, Ken Satoh: Computing Prioritized Circumscription by Logic Programming. ICLP 1995: 283-297
15 Ken Satoh: PAC-learning of Preference Relations over Interpretations in Lazy Nonmonotonic Reasoning. Machine Intelligence 15 1995: 285-297
1994
14 Ken Satoh: A Top Down Proof Procedure for Default Logic by Using Abduction. ECAI 1994: 65-69
13 Seishi Okamoto, Ken Satoh: An Average Predictive Accuracy of the Nearest Neighbor Classifier. EWCBR 1994: 101-112
1992
12 Noboru Iwayama, Ken Satoh, Jun Arima: A Formalization of Generalization-Based Analogy in General Logic Programs. ECAI 1992: 129-133
11EEKen Satoh, Noboru Iwayama: A Correct Goal-directed Proof Procedure for a General Logic Program with Integrity Constraints. ELP 1992: 24-44
10 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
9 Ken Satoh, Noboru Iwayama: A Query Evaluation Method for Abductive Logic Programming. JICSLP 1992: 671-685
1991
8 Ken Satoh, Noboru Iwayama: Computing Abduction by Using the TMS. ICLP 1991: 505-518
7 Hirofumi Katsuno, Ken Satoh: A Unified View of Consequence Relation, Belief Revision and Conditional Logic. IJCAI 1991: 406-412
1990
6 Ken Satoh: A Probabilistic Interpretation for Lazy Nonmonotonic Reasoning. AAAI 1990: 659-664
5 Ken Satoh: Formalizing Soft Constraints by Interpretation Ordering. ECAI 1990: 585-590
1988
4 Ken Satoh: Nonmonotonic Reasoning by Minimal Belief Revision. FGCS 1988: 455-462
1986
3 Kouichi Kumon, Hideo Masuzawa, Akihiro Itashiki, Ken Satoh, Yukio Sohma: KABU-WAKE: A New Parallel Inference Method and Its Evaluation. COMPCON 1986: 168-172
2 Hideo Masuzawa, Kouichi Kumon, Akihiro Itashiki, Ken Satoh, Yukio Sohma: "Kabu-Wake" Parallel Inference Mechanism and It's Evaluation. FJCC 1986: 955-962
1 Ian T. Foster, Steve Gregory, Graem A. Ringwood, Ken Satoh: A Sequential Implementation of Parlog. ICLP 1986: 149-156

Coauthor Index

1Sue Abu-Hakima [29]
2David W. Aha [29]
3Akira Aiba [10]
4Mina Akaishi [49] [58] [63]
5Jun Arima [12]
6Jim Austin (James Austin) [29]
7Irma Becerra-Fernandez [29]
8Patrick Brézillon [29]
9Mary Elaine Califf [29]
10Martine Ceberio [54]
11Laurent Chaudron [29]
12Philippe Codognet [42] [61]
13Ulises Cortés [29]
14Michael T. Cox [29]
15Jürgen Dix [35] [40] [41] [46]
16Brian Drabble [29]
17Boi Faltings [29]
18Ian T. Foster [1]
19Alex Alves Freitas [29]
20Eugene C. Freuder [29]
21Gerhard Friedrich [29]
22Naoki Fukuta [67]
23Aditya K. Ghose (Aditya Ghose) [29]
24Steve Gregory [1]
25David J. Hawley [10]
26Kouichi Hirata [57]
27Koichi Hori [58] [63]
28Hiroshi Hosobe [42] [54] [61]
29Akihiro Inokuchi [65] [70]
30Katsumi Inoue [30] [31] [66]
31Akihiro Itashiki [2] [3]
32Koji Iwanuma [30] [31]
33Noboru Iwayama [8] [9] [10] [11] [12] [26]
34Ken Kaneiwa [59] [60]
35Yoshikiyo Kato [63]
36Hirofumi Katsuno [7]
37Taro Kawagishi [10]
38Takahiro Kawamura [70]
39Kouichi Kumon [2] [3]
40Steffen Lange [39]
41João Leite (João Alexandre Leite) [35] [40] [46]
42Hideo Masuzawa [2] [3]
43Satoshi Menju [10]
44Tim Menzies [29]
45Shin-ichi Minato [64]
46Hector Muñoz-Avila (Héctor Muñoz-Avila) [29]
47Katashi Nagao [70]
48Ryuichi Nakagawa [32]
49Katsumi Nitta [22] [62] [68]
50Hidenori Okamoto [28] [34]
51Seishi Okamoto [13] [17]
52Jean-Charles Pomerol [29]
53Graem A. Ringwood [1]
54Fariba Sadri [41] [69]
55Chiaki Sakama [30] [31]
56Miquel Sànchez-Marrè [29]
57Taisuke Sato [64]
58Hiroyuki Sawada [10]
59Sandip Sen [29]
60Carl H. Smith [39]
61Yukio Sohma [2] [3]
62Hideaki Takeda [65]
63Yuzuru Tanaka [49]
64Satoshi Terasaki [10]
65Catherine Tessier [29]
66Satoshi Tojo [56] [62] [68]
67Francesca Toni [66]
68Elise H. Turner [29]
69Roy M. Turner [29]
70Takeaki Uno [43] [44] [53] [55] [60]
71Toshiko Wakaki [16] [22] [23]
72Takashi Washio [65]
73Steven Willmott [29]
74Takahira Yamaguchi [67]
75Akihiro Yamamoto [57]
76Keiji Yamamoto [38]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)