Login / Signup

OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.

Minh Dao-TranThomas EiterMichael FinkGerald WeidingerAntonius Weinzierl
Published in: JELIA (2012)
Keyphrases
  • answer sets
  • logic programs
  • answer set programming
  • logic programming
  • answer set semantics
  • normal logic programs
  • fixpoint
  • answer set programs
  • sat solvers
  • constraint satisfaction
  • stable models