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

Koji Iwanuma

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
25EEKoji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima: Reconsideration of circumscriptive induction with pointwise circumscription. J. Applied Logic 7(3): 307-317 (2009)
2008
24EEHidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: Complete Pruning Methods and a Practical Search Strategy for SOL. LPAR Workshops 2008
2006
23 Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma: Lemma Reusing for SAT based Planning and Scheduling. ICAPS 2006: 103-113
22EEHidetomo Nabeshima, Reiko Miyagawa, Yuki Suzuki, Koji Iwanuma: Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-Automatic Training-Example Generation. Web Intelligence 2006: 769-772
21EEKatsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima: Consequence finding and computing answers with defaults. J. Intell. Inf. Syst. 26(1): 41-58 (2006)
2005
20 Hidetomo Nabeshima, Hirohito Nozawa, Koji Iwanuma: Effective SAT Planning by Lemma-Reusing. Artificial Intelligence and Applications 2005: 1-5
19EEKoji Iwanuma, Ryuichi Ishihara, Yo Takano, Hidetomo Nabeshima: Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm. ICDM 2005: 186-193
18EEKoji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima: Upside-Down Transformation in SOL/Connection Tableaux and Its Application. ICTAC 2005: 166-179
2004
17EEKatsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima: Consequence Finding in Default Theories. FQAS 2004: 459-472
16EEKatsumi Inoue, Koji Iwanuma: Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Ann. Math. Artif. Intell. 42(1-3): 255-291 (2004)
2003
15EEHidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: SOLAR: A Consequence Finding System for Advanced Reasoning. TABLEAUX 2003: 257-263
2002
14EEHidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: Effective SAT Planning by Speculative Computation. Australian Joint Conference on Artificial Intelligence 2002: 726-728
13 Koji Iwanuma, Katsumi Inoue: Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. CLIMA III 2002: 149-162
12EEMasayuki Umehara, Koji Iwanuma, Hidetomo Nabeshima: A Case-Based Recognition of Semantic Structures in HTML Documents. IDEAL 2002: 141-147
11EEKoji Iwanuma, Katsumi Inoue: Minimal Answer Computation and SOL. JELIA 2002: 245-258
10EEKoji Iwanuma, Katsumi Inoue: Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. Electr. Notes Theor. Comput. Sci. 70(5): (2002)
2000
9 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
8 Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama: Speculative Computation by Abduction under Incomplete Communication Environments. ICMAS 2000: 263-270
7EEMasayuki Umehara, Koji Iwanuma: A Case-Based Transformation from HTML to XML. IDEAL 2000: 410-415
1999
6EEKoji Iwanuma, Kenichi Kishino: Lemma Generalization and Non-unit Lemma Matching for Model Elimination. ASIAN 1999: 163-176
1997
5 Koji Iwanuma: Lemma Matching for a PTTP-based Top-down Theorem Prover. CADE 1997: 146-160
1996
4EEKoji Iwanuma, Kazuhiko Oota: An Extension of Pointwise Circumscription. Artif. Intell. 86(2): 391-402 (1996)
1994
3 Koji Iwanuma: Conservative Query Normalization on Parallel Circumscription. CADE 1994: 296-310
1988
2 Koji Iwanuma, Masateru Harao: Knowledge Representation and Inference Based on First-Order Modal Logic. FGCS 1988: 499-506
1987
1 Koji Iwanuma, Masateru Harao: Knowledge Representation and Inference Based on First-Order Modal Logic. LP 1987: 236-251

Coauthor Index

1Masateru Harao [1] [2]
2Katsumi Inoue [8] [9] [10] [11] [13] [14] [15] [16] [17] [18] [21] [23] [24] [25]
3Ryuichi Ishihara [19]
4Kenichi Kishino [6]
5Reiko Miyagawa [22]
6Hidetomo Nabeshima [12] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25]
7Hirohito Nozawa [20]
8Kazuhiko Oota [4]
9Chiaki Sakama [8] [9]
10Ken Satoh [8] [9]
11Takehide Soh [23]
12Yuki Suzuki [22]
13Yo Takano [19]
14Masayuki Umehara [7] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)