Author:Katsumi InouePublications 

EasyChair Preprint 8553  EasyChair Preprint 172  EasyChair Preprint 224  EasyChair Preprint 204  EasyChair Preprint 172  
KeyphrasesAnswer Set Programming^{2}, Clause exchange, commonsense reasoning, Event Calculus, Inductive Logic Programming^{2}, logic program, MetaInterpretive Learning, metabolic pathways, minimal model generation, partial evaluation, Portfolio parallel SAT solver, propositional formulas, Reproducible parallel SAT solving, SAT solver, systems biology, vector space. 
