Hidetomo Nabeshima

From MaRDI portal
Person:374192

Available identifiers

zbMath Open nabeshima.hidetomoMaRDI QIDQ374192

List of research outcomes





PublicationDate of PublicationType
Hamiltonian cycle reconfiguration with answer set programming2024-05-29Paper
Reproducible efficient parallel SAT solving2021-04-07Paper
Coverage-based clause reduction heuristics for CDCL solvers2017-11-15Paper
Completing SBGN-AF Networks by Logic-Based Hypothesis Finding2015-08-06Paper
Completing causal networks by meta-level abduction2013-10-22Paper
Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction2011-06-17Paper
https://portal.mardi4nfdi.de/entity/Q30058982011-06-10Paper
Discovering Rules by Meta-level Abduction2010-08-24Paper
SOLAR: An automated deduction system for consequence finding2010-06-17Paper
Automated Reasoning with Analytic Tableaux and Related Methods2010-03-09Paper
Reconsideration of circumscriptive induction with pointwise circumscription2009-08-14Paper
Inductive Logic Programming2006-11-01Paper
Theoretical Aspects of Computing – ICTAC 20052006-11-01Paper
https://portal.mardi4nfdi.de/entity/Q44152352003-07-28Paper
https://portal.mardi4nfdi.de/entity/Q47079742003-06-12Paper

Research outcomes over time

This page was built for person: Hidetomo Nabeshima

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:374192&oldid=7148401"
Powered by MediaWiki