Login / Signup

Skolemization Modulo Theories.

Konstantin KorovinMargus Veanes
Published in: ICMS (2014)
Keyphrases
  • modulo theories
  • answer set programming
  • satisfiability modulo theories
  • stable model semantics
  • logic programs
  • knowledge representation
  • logic programming