Login / Signup
OMiGA : An Open Minded Grounding On-The-Fly Answer Set Solver.
Minh Dao-Tran
Thomas Eiter
Michael Fink
Gerald Weidinger
Antonius 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