( en | de | ru )

 

Disambiguation of "Nabeshima, Hidetomo"

Author of the publication

copydeleteadd this publication to your clipboard
Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.

, , , , and . IJCAI, page 810-815. (2009)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Nabeshima, Hidetomo
add a person with the name Nabeshima, Hidetomo
 

Other publications of authors with the same name

Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction., , and . ILP, volume 6489 of Lecture Notes in Computer Science, page 114-129. Springer, (2010)Hamiltonian Cycle Reconfiguration with Answer Set Programming., , , , , , , and . JELIA, volume 14281 of Lecture Notes in Computer Science, page 262-277. Springer, (2023)Reproducible Efficient Parallel SAT Solving., and . SAT, volume 12178 of Lecture Notes in Computer Science, page 123-138. Springer, (2020)Upside-Down Transformation in SOL/Connection Tableaux and Its Application., , and . ICTAC, volume 3722 of Lecture Notes in Computer Science, page 166-179. Springer, (2005)Consequence Finding in Default Theories., , and . FQAS, volume 3055 of Lecture Notes in Computer Science, page 459-472. Springer, (2004)A SAT-based Method for Solving the Two-dimensional Strip Packing Problem., , , , and . RCRA, volume 451 of CEUR Workshop Proceedings, CEUR-WS.org, (2008)On-the-Fly Lazy Clause Simplification Based on Binary Resolvents., , and . ICTAI, page 987-995. IEEE Computer Society, (2013)Extracting Frequent Subsequences from a Single Long Data Sequence: A Novel Anti-Monotonic Measure and a Simple On-Line Algorithm., , , and . ICDM, page 186-193. IEEE Computer Society, (2005)Effective SAT Planning by Lemma-Reusing., , and . Artificial Intelligence and Applications, page 1-5. IASTED/ACTA Press, (2005)Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation., , and . FTP, volume 556 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)