Hidetomo Nabeshima

	2009
15		Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima: Evaluating Abductive Hypotheses using an EM Algorithm on BDDs. IJCAI 2009: 810-815
14		Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima: Reconsideration of circumscriptive induction with pointwise circumscription. J. Applied Logic 7(3): 307-317 (2009)
	2008
13		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		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		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		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		Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima: Upside-Down Transformation in SOL/Connection Tableaux and Its Application. ICTAC 2005: 166-179
6		Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima: Inducing Causal Laws by Regular Inference. ILP 2005: 154-171
	2004
5		Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima: Consequence Finding in Default Theories. FQAS 2004: 459-472
	2003
4		Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: SOLAR: A Consequence Finding System for Advanced Reasoning. TABLEAUX 2003: 257-263
	2002
3		Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue: Effective SAT Planning by Speculative Computation. Australian Joint Conference on Artificial Intelligence 2002: 726-728
2		Masayuki Umehara, Koji Iwanuma, Hidetomo Nabeshima: A Case-Based Recognition of Semantic Structures in HTML Documents. IDEAL 2002: 141-147
	2000
1		Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda: Implementing an action language using a SAT solver. ICTAI 2000: 96-103

Coauthor Index

1	Hideyuki Bando	[6]
2	Hiromasa Haneda	[1]
3	Katsumi Inoue	[1] [3] [4] [5] [6] [7] [10] [12] [13] [14] [15]
4	Ryuichi Ishihara	[8]
5	Masakazu Ishihata	[15]
6	Koji Iwanuma	[2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14]
7	Yoshitaka Kameya	[15]
8	Reiko Miyagawa	[11]
9	Hirohito Nozawa	[9]
10	Taisuke Sato	[15]
11	Takehide Soh	[12]
12	Yuki Suzuki	[11]
13	Yo Takano	[8]
14	Masayuki Umehara	[2]