Hidetomo Nabeshima

According to our database, Hidetomo Nabeshima authored at least 33 papers between 2000 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

International Competition on Graph Counting Algorithms 2023.

Takeru Inoue, Norihito Yasuda, Hidetomo Nabeshima, Masaaki Nishino, Shuhei Denzumi, Shin-ichi Minato

CoRR, 2023

Hamiltonian Cycle Reconfiguration with Answer Set Programming.

Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

2020

Reproducible Efficient Parallel SAT Solving.

Hidetomo Nabeshima, Katsumi Inoue

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

2017

Coverage-Based Clause Reduction Heuristics for CDCL Solvers.

Hidetomo Nabeshima, Katsumi Inoue

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

2015

Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers.

Masahiko Sakai, Hidetomo Nabeshima

IEICE Trans. Inf. Syst., 2015

Completing signaling networks by abductive reasoning with perturbation experiments.

Adrien Rougny, Yoshitaka Yamamoto, Hidetomo Nabeshima, Gauvain Bourgne, Anne Poupon, Katsumi Inoue, Christine Froidevaux

Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

2014

Completing SBGN-AF Networks by Logic-Based Hypothesis Finding.

Yoshitaka Yamamoto, Adrien Rougny, Hidetomo Nabeshima, Katsumi Inoue, Hisao Moriya, Christine Froidevaux, Koji Iwanuma

Proceedings of the Formal Methods in Macro-Biology - First International Conference, 2014

2013

Completing causal networks by meta-level abduction.

Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima

Mach. Learn., 2013

On-the-Fly Lazy Clause Simplification Based on Binary Resolvents.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Proceedings of the 25th IEEE International Conference on Tools with Artificial Intelligence, 2013

2011

Discretized Kinetic Models for Abductive Reasoning in Systems Biology.

Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato

Proceedings of the Biomedical Engineering Systems and Technologies, 2011

Kinetic Models and Qualitative Abstraction for Relational Learning in Systems Biology.

Gabriel Synnaeve, Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima, Yoshitaka Kameya, Masakazu Ishihata, Taisuke Sato

Proceedings of the BIOINFORMATICS 2011, 2011

2010

Solving Open Job-Shop Scheduling Problems by SAT Encoding.

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa

IEICE Trans. Inf. Syst., 2010

A SAT-based Method for Solving the Two-dimensional Strip Packing Problem.

Takehide Soh, Katsumi Inoue, Naoyuki Tamura, Mutsunori Banbara, Hidetomo Nabeshima

Fundam. Informaticae, 2010

SOLAR: An automated deduction system for consequence finding.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue, Oliver Ray

AI Commun., 2010

Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction.

Katsumi Inoue, Andrei Doncescu, Hidetomo Nabeshima

Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

2009

Reconsideration of circumscriptive induction with pointwise circumscription.

Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima

J. Appl. Log., 2009

Discovering Rules by Meta-level Abduction.

Katsumi Inoue, Koichi Furukawa, Ikuo Kobayashi, Hidetomo Nabeshima

Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

Evaluating Abductive Hypotheses using an EM Algorithm on BDDs.

Katsumi Inoue, Taisuke Sato, Masakazu Ishihata, Yoshitaka Kameya, Hidetomo Nabeshima

Proceedings of the IJCAI 2009, 2009

Minimal Model Generation with Respect to an Atom Set.

Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.

Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

2008

Complete Pruning Methods and a Practical Search Strategy for SOL.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Proceedings of the LPAR 2008 Workshops, 2008

2006

Consequence finding and computing answers with defaults.

Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima

J. Intell. Inf. Syst., 2006

Rapid Synthesis of Domain-Specific Web Search Engines Based on Semi-Automatic Training-Example Generation.

Hidetomo Nabeshima, Reiko Miyagawa, Yuki Suzuki, Koji Iwanuma

Proceedings of the 2006 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006), 2006

Lemma Reusing for SAT based Planning and Scheduling.

Hidetomo Nabeshima, Takehide Soh, Katsumi Inoue, Koji Iwanuma

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

2005

Inducing Causal Laws by Regular Inference.

Katsumi Inoue, Hideyuki Bando, Hidetomo Nabeshima

Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Upside-Down Transformation in SOL/Connection Tableaux and Its Application.

Koji Iwanuma, Katsumi Inoue, Hidetomo Nabeshima

Proceedings of the Theoretical Aspects of Computing, 2005

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, Hidetomo Nabeshima

Proceedings of the 5th IEEE International Conference on Data Mining (ICDM 2005), 2005

Effective SAT Planning by Lemma-Reusing.

Hidetomo Nabeshima, Hirohito Nozawa, Koji Iwanuma

Proceedings of the IASTED International Conference on Artificial Intelligence and Applications, 2005

2004

Consequence Finding in Default Theories.

Katsumi Inoue, Koji Iwanuma, Hidetomo Nabeshima

Proceedings of the Flexible Query Answering Systems, 6th International Conference, 2004

2003

SOLAR: A Consequence Finding System for Advanced Reasoning.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2003

2002

A Case-Based Recognition of Semantic Structures in HTML Documents.

Masayuki Umehara, Koji Iwanuma, Hidetomo Nabeshima

Proceedings of the Intelligent Data Engineering and Automated Learning, 2002

Effective SAT Planning by Speculative Computation.

Hidetomo Nabeshima, Koji Iwanuma, Katsumi Inoue

Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2000

Implementing an action language using a SAT solver.

Hidetomo Nabeshima, Katsumi Inoue, Hiromasa Haneda

Proceedings of the 12th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2000), 2000