Search the dblp DataBase

Publications of Author

1. Hidetomo Nabeshima, Hirohito Nozawa, Koji Iwanuma
   Effective SAT Planning by Lemma-Reusing. [Citation Graph (0, 0)][DBLP]
   Artificial Intelligence and Applications, 2005, pp:1-5 [Conf]
   
2. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
   Effective SAT Planning by Speculative Computation. [Citation Graph (0, 0)][DBLP]
   Australian Joint Conference on Artificial Intelligence, 2002, pp:726-728 [Conf]
   
3. Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima
   Consequence Finding in Default Theories. [Citation Graph (0, 0)][DBLP]
   FQAS, 2004, pp:459-472 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   ICDM, 2005, pp:186-193 [Conf]
   
5. Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima
   Upside-Down Transformation in SOL/Connection Tableaux and Its Application. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2005, pp:166-179 [Conf]
   
6. Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda
   Implementing an action language using a SAT solver. [Citation Graph (0, 0)][DBLP]
   ICTAI, 2000, pp:96-103 [Conf]
   
7. Masayuki Umehara, Koji Iwanuma, Hidetomo Nabeshima
   A Case-Based Recognition of Semantic Structures in HTML Documents. [Citation Graph (0, 0)][DBLP]
   IDEAL, 2002, pp:141-147 [Conf]
   
8. Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima
   Inducing Causal Laws by Regular Inference. [Citation Graph (0, 0)][DBLP]
   ILP, 2005, pp:154-171 [Conf]
   
9. Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue
   SOLAR: A Consequence Finding System for Advanced Reasoning. [Citation Graph (0, 0)][DBLP]
   TABLEAUX, 2003, pp:257-263 [Conf]
   
10. Hidetomo Nabeshima, Reiko Miyagawa, Yuki Suzuki, Koji Iwanuma
    Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-Automatic Training-Example Generation. [Citation Graph (0, 0)][DBLP]
    Web Intelligence, 2006, pp:769-772 [Conf]
    
11. Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima
    Consequence finding and computing answers with defaults. [Citation Graph (0, 0)][DBLP]
    J. Intell. Inf. Syst., 2006, v:26, n:1, pp:41-58 [Journal]
    
12. Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma
    Lemma Reusing for SAT based Planning and Scheduling. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:103-113 [Conf]
    
13. 
    Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. [Citation Graph (, )][DBLP]
    
    
14. 
    Discovering Rules by Meta-level Abduction. [Citation Graph (, )][DBLP]
    
    
15. 
    Complete Pruning Methods and a Practical Search Strategy for SOL. [Citation Graph (, )][DBLP]
    
    
16. 
    SOLAR: An automated deduction system for consequence finding. [Citation Graph (, )][DBLP]