The Significance of Memory Costs in Answer Set Solver Implementation.

Martin Brain Marina De Vos

Published in: J. Log. Comput. (2009)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
fixpoint
answer set semantics
software engineering
normal logic programs
answer set programs
database
artificial intelligence
database systems
memory management