Galliwasp: A Goal-Directed Answer Set Solver.

Kyle Marple Gopal Gupta

Published in: LOPSTR (2012)

Keyphrases

goal directed
answer sets
logic programs
answer set programming
logic programming
answer set semantics
normal logic programs
autonomous robots
answer set programs
loop formulas
database
sat solvers
fixpoint
autonomous learning
software engineering
query language
expert systems
knowledge base