| 2009 |
|---|
| 14 | EE | Koji Iwanuma,
Katsumi Inoue,
Hidetomo Nabeshima:
Reconsideration of circumscriptive induction with pointwise circumscription.
J. Applied Logic 7(3): 307-317 (2009) |
| 2008 |
|---|
| 13 | EE | Hidetomo Nabeshima,
Koji Iwanuma,
Katsumi Inoue:
Complete Pruning Methods and a Practical Search Strategy for SOL.
LPAR Workshops 2008 |
| 2006 |
|---|
| 12 | | Hidetomo Nabeshima,
Takehide Soh,
Katsumi Inoue,
Koji Iwanuma:
Lemma Reusing for SAT based Planning and Scheduling.
ICAPS 2006: 103-113 |
| 11 | EE | Hidetomo 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 |
| 10 | EE | Katsumi Inoue,
Koji Iwanuma,
Hidetomo Nabeshima:
Consequence finding and computing answers with defaults.
J. Intell. Inf. Syst. 26(1): 41-58 (2006) |
| 2005 |
|---|
| 9 | | Hidetomo Nabeshima,
Hirohito Nozawa,
Koji Iwanuma:
Effective SAT Planning by Lemma-Reusing.
Artificial Intelligence and Applications 2005: 1-5 |
| 8 | EE | 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 |
| 7 | EE | Koji Iwanuma,
Katsumi Inoue,
Hidetomo Nabeshima:
Upside-Down Transformation in SOL/Connection Tableaux and Its Application.
ICTAC 2005: 166-179 |
| 6 | EE | Katsumi Inoue,
Hideyuki Bando,
Hidetomo Nabeshima:
Inducing Causal Laws by Regular Inference.
ILP 2005: 154-171 |
| 2004 |
|---|
| 5 | EE | Katsumi Inoue,
Koji Iwanuma,
Hidetomo Nabeshima:
Consequence Finding in Default Theories.
FQAS 2004: 459-472 |
| 2003 |
|---|
| 4 | EE | Hidetomo Nabeshima,
Koji Iwanuma,
Katsumi Inoue:
SOLAR: A Consequence Finding System for Advanced Reasoning.
TABLEAUX 2003: 257-263 |
| 2002 |
|---|
| 3 | EE | Hidetomo Nabeshima,
Koji Iwanuma,
Katsumi Inoue:
Effective SAT Planning by Speculative Computation.
Australian Joint Conference on Artificial Intelligence 2002: 726-728 |
| 2 | EE | Masayuki Umehara,
Koji Iwanuma,
Hidetomo Nabeshima:
A Case-Based Recognition of Semantic Structures in HTML Documents.
IDEAL 2002: 141-147 |
| 2000 |
|---|
| 1 | EE | Hidetomo Nabeshima,
Katsumi Inoue,
Hiromasa Haneda:
Implementing an action language using a SAT solver.
ICTAI 2000: 96-103 |
