Author:Katsumi Inoue
KeyphrasesAnswer Set Programming2, commonsense reasoning, Event Calculus, Inductive Logic Programming2, logic program, Meta-Interpretive Learning, metabolic pathways, minimal model generation, partial evaluation, propositional formulas, SAT solver, systems biology, vector space. |