Author:Katsumi Inoue
KeyphrasesAnswer Set Programming2, Clause exchange, commonsense reasoning, Event Calculus, Inductive Logic Programming2, 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. |