AVATAR Modulo Theories.

Giles Reger Nikolaj Bjørner Martin Suda Andrei Voronkov

Published in: GCAI (2016)

Keyphrases

modulo theories
answer set programming
virtual world
satisfiability modulo theories
stable model semantics
answer sets
learning algorithm
decision trees
special case
object oriented
general purpose