Login / Signup

System aspmt2smt: Computing ASPMT Theories by SMT Solvers.

Michael BartholomewJoohyung Lee
Published in: JELIA (2014)
Keyphrases
  • modulo theories
  • satisfiability modulo theories
  • answer set programming
  • stable model semantics
  • logic programming
  • logic programs
  • knowledge compilation