Runtime Verification Through Forward Chaining.

Alan Perotti Guido Boella Artur S. d'Avila Garcez

Published in: RV (2015)

Keyphrases

forward chaining
backward chaining
defeasible logic
planning systems
model checking
theorem proving
reinforcement learning
search algorithm
horn clauses
optimal solution
fuzzy logic
rule based systems
blocks world