Exploring Relations between Answer Set Programs.

Katsumi Inoue Chiaki Sakama

Published in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
spatial relations
logic programming
background knowledge
expert systems
event calculus