Login / Signup
Pruning operators for answer set programming systems.
Francesco Calimeri
Wolfgang Faber
Nicola Leone
Gerald Pfeifer
Published in:
NMR (2002)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer set solvers
answer sets
search space
constraint logic programming
reasoning tasks
database systems
expert systems
knowledge representation
constraint satisfaction problems
orders of magnitude
causal theories