The Semantics of Gringo and Infinitary Propositional Formulas.

Amelia J. Harrison Vladimir Lifschitz Fangkai Yang

Published in: KR (2014)

Keyphrases

propositional formulas
propositional logic
normal form
propositional satisfiability
database
logic programming
objective function
functional dependencies