Author:Katsumi Inoue

Publications
DPS: a Framework for Deterministic Parallel SAT Solvers Hidetomo Nabeshima, Tsubasa Fukiage, Yuto Obitsu, Xiao-Nan Lu and Katsumi Inoue EasyChair Preprint 8553
Partial Evaluation of Logic Programs in Vector Spaces Chiaki Sakama, Hien Nguyen, Taisuke Sato and Katsumi Inoue EasyChair Preprint 172
Learning Commonsense Knowledge through Interactive Dialogue Benjamin Wu, Alessandra Russo, Mark Law and Katsumi Inoue EasyChair Preprint 224
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning Tobias Kaminski, Thomas Eiter and Katsumi Inoue EasyChair Preprint 204
Partial Evaluation of Logic Programs in Vector Spaces Chiaki Sakama, Hien Nguyen, Taisuke Sato and Katsumi Inoue EasyChair Preprint 172
Finding Minimal Reaction Sets in Large Metabolic Pathways Takehide Soh and Katsumi Inoue In:WCB10. Workshop on Constraint Based Methods for Bioinformatics

Keyphrases

Answer Set Programming², Clause exchange, commonsense reasoning, Event Calculus, Inductive Logic Programming², logic program, Meta-Interpretive Learning, metabolic pathways, minimal model generation, partial evaluation, Portfolio parallel SAT solver, propositional formulas, Reproducible parallel SAT solving, SAT solver, systems biology, vector space.