Liberal Safety for Answer Set Programs with External Sources.

Thomas Eiter Michael Fink Thomas Krennwallner Christoph Redl

Published in: AAAI (2013)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
logic programming
update operators
event calculus