| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Koji Iwanuma Hidetomo Nabeshima , Hirohito Nozawa , Koji Iwanuma: Effective SAT Planning by Lemma-Reusing. Artificial Intelligence and Applications 2005 : 1-5 Koji 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 Koji Iwanuma, Katsumi Inoue , Hidetomo Nabeshima : Upside-Down Transformation in SOL/Connection Tableaux and Its Application. ICTAC 2005 : 166-179 Katsumi Inoue , Koji Iwanuma, Hidetomo Nabeshima : Consequence Finding in Default Theories. FQAS 2004 : 459-472 Katsumi Inoue , Koji Iwanuma: Speculative Computation Through Consequence-Finding in Multi-Agent Environments. Ann. Math. Artif. Intell. 42 (1-3): 255-291 (2004) Hidetomo Nabeshima , Koji Iwanuma, Katsumi Inoue : SOLAR: A Consequence Finding System for Advanced Reasoning. TABLEAUX 2003 : 257-263 Hidetomo Nabeshima , Koji Iwanuma, Katsumi Inoue : Effective SAT Planning by Speculative Computation. Australian Joint Conference on Artificial Intelligence 2002 : 726-728 Koji Iwanuma, Katsumi Inoue : Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. CLIMA III 2002 : 149-162 Masayuki Umehara , Koji Iwanuma, Hidetomo Nabeshima : A Case-Based Recognition of Semantic Structures in HTML Documents. IDEAL 2002 : 141-147 Koji Iwanuma, Katsumi Inoue : Minimal Answer Computation and SOL. JELIA 2002 : 245-258 Koji Iwanuma, Katsumi Inoue : Conditional Answer Computation in SOL as Speculative Computation in Multi-Agent Environments. Electr. Notes Theor. Comput. Sci. 70 (5): (2002) 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 Masayuki Umehara , Koji Iwanuma: A Case-Based Transformation from HTML to XML. IDEAL 2000 : 410-415 Koji Iwanuma, Kenichi Kishino : Lemma Generalization and Non-unit Lemma Matching for Model Elimination. ASIAN 1999 : 163-176 Koji Iwanuma: Lemma Matching for a PTTP-based Top-down Theorem Prover. CADE 1997 : 146-160 Koji Iwanuma, Kazuhiko Oota : An Extension of Pointwise Circumscription. Artif. Intell. 86 (2): 391-402 (1996) Koji Iwanuma: Conservative Query Normalization on Parallel Circumscription. CADE 1994 : 296-310 Koji Iwanuma, Masateru Harao : Knowledge Representation and Inference Based on First-Order Modal Logic. FGCS 1988 : 499-506 Koji Iwanuma, Masateru Harao : Knowledge Representation and Inference Based on First-Order Modal Logic. LP 1987 : 236-251 1 [ 1 ] [ 2 ] 2 [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 13 ] [ 14 ] [ 15 ] [ 16 ] [ 17 ] [ 18 ] 3 [ 19 ] 4 [ 6 ] 5 [ 12 ] [ 14 ] [ 15 ] [ 17 ] [ 18 ] [ 19 ] [ 20 ] 6 [ 20 ] 7 [ 4 ] 8 [ 8 ] [ 9 ] 9 [ 8 ] [ 9 ] 10 [ 19 ] 11 [ 7 ] [ 12 ]  ©2006 Association for Computing Machinery |
