Shift Design with Answer Set Programming.

Michael Abseher Martin Gebser Nysret Musliu Torsten Schaub Stefan Woltran

Published in: Fundam. Informaticae (2016)

Keyphrases

answer set programming
logic programming
logic programs
high level
database systems
stable models
tree decomposition