Space Efficient Evaluation of ASP Programs with Bounded Predicate Arities.

Thomas Eiter Wolfgang Faber Mushthofa Mushthofa

Published in: AAAI (2010)

Keyphrases

space efficient
answer set programming
data structure
answer sets
data streams
sliding window
answer set programs
logic programming
range sum queries
b tree
web applications
bloom filter
management system
kd tree
locality sensitive hashing
garbage collection
declarative programming