Koji Iwanuma

SOLAR: An automated deduction system for consequence finding

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue et al. · AI Communications · 2010 · 45 citations

Computing, Computer Science, Artificial Intelligence +16

Speculative computation by abduction under incomplete communication environments

Ken Satoh, Katsumi Inoue, Koji Iwanuma et al. · 2002 · 43 citations

Computing, Computer Science, Algorithms +8

Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm

Koji Iwanuma, Ryuichi Ishihara, Yo Takano et al. · 2006 · 17 citations

Computing, Computer Science, Data Science +10

Lemma reusing for SAT based planning and scheduling

Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue et al. · 2006 · 15 citations

Computing, Computer Science, Algorithms +7

Resource-oriented approximation for frequent itemset mining from bursty data streams

Yoshitaka Yamamoto, Koji Iwanuma, Shoshi Fukuda · 2014 · 12 citations · Full text

Computing, Computer Engineering, Computer Science +13