Forward Chaining for Hybrid ASP.

Alex Brik Jeffrey B. Remmel

Published in: LFCS (2013)

Keyphrases

forward chaining
backward chaining
defeasible logic
planning systems
blocks world
horn clauses
knowledge base
search algorithm
control system