Minimal Models of Multidimensional Computations.

Jeffrey D. Fitzgerald Lawrence C. Sincich Tatyana O. Sharpee

Published in: PLoS Comput. Biol. (2011)

Keyphrases

minimal models
propositional logic
logic programs
autoepistemic logic
nonmonotonic reasoning
logic programming
stable models
truth maintenance systems
knowledge base
default logic
general purpose
first order logic
fixpoint