Occurrence Typing Modulo Theories.

Andrew M. Kent David Kempe Sam Tobin-Hochstadt

Published in: CoRR (2015)

Keyphrases

modulo theories
answer set programming
satisfiability modulo theories
stable model semantics
knowledge base
database systems
special case
knowledge representation
machine learning
objective function