Login / Signup

Occurrence typing modulo theories.

Andrew M. KentDavid KempeSam 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