Communicating Answer Set Programs.

Kim Bauters Jeroen Janssen Steven Schockaert Dirk Vermeir Martine De Cock

Published in: ICLP (Technical Communications) (2010)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
update operators
database
logic programming
modal logic
reasoning tasks
event calculus