Exploiting Vertical Parallelism from Answer Set Programs.

Enrico Pontelli Omar El-Khatib

Published in: Answer Set Programming (2001)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
update operators
software engineering