Gelfond-Zhang aggregates as propositional formulas.

Pedro Cabalar Jorge Fandinno Torsten Schaub Sebastian Schellhorn

Published in: Artif. Intell. (2019)

Keyphrases

propositional formulas
propositional logic
normal form
logic programs
propositional satisfiability
sat problem
first order logic
orders of magnitude
genetic algorithm
constraint satisfaction
linear programming
sat solvers
description logics
object oriented
cnf formula
search space
knowledge base