The SCEAS System
Navigation Menu

Search the dblp DataBase


Hidetomo Nabeshima: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002