Gelfond-Zhang Aggregates as Propositional Formulas.

Pedro Cabalar Jorge Fandinno Torsten Schaub Sebastian Schellhorn

Published in: LPNMR (2017)

Keyphrases

propositional formulas
propositional logic
logic programs
normal form
propositional satisfiability
belief revision
sat problem
cnf formula
artificial intelligence
knowledge base
information retrieval systems
first order logic