|
Author:Katsumi InouePublications |
---|
EasyChair Preprint 8553 | EasyChair Preprint 172 | EasyChair Preprint 224 | EasyChair Preprint 204 | EasyChair Preprint 172 | |
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. |
|
|