ASPeRiX, a First Order Forward Chaining Approach for Answer Set Computing.

Claire Lefèvre Christopher Béatrix Igor Stéphan Laurent Garcia

Published in: CoRR (2015)

Keyphrases

forward chaining
answer sets
logic programs
horn clauses
answer set programs
backward chaining
answer set programming
logic programming
loop formulas
normal logic programs
first order logic
stable models
planning systems
defeasible logic
expert systems
databases
inductive logic programming
machine learning