Login / Signup
Occurrence typing modulo theories.
Andrew M. Kent
David Kempe
Sam Tobin-Hochstadt
Published in:
PLDI (2016)
Keyphrases
</>
modulo theories
answer set programming
stable model semantics
logic programs
knowledge base
decision trees
high level
computational complexity
general purpose