Reasoning about Space and Change with Answer Set Programming Modulo Theories.

Przemyslaw Andrzej Walega

Published in: IJCAI (2016)

Keyphrases

answer set programming
modulo theories
stable model semantics
logic programs
logic programming
answer sets
constraint logic programming
knowledge representation
answer set programs
search space
satisfiability modulo theories
stable models