Runtime Verification Through Forward Chaining.

Alan Perotti Guido Boella Artur S. d'Avila Garcez

Published in: HCVS (2014)

Keyphrases

forward chaining
backward chaining
planning systems
model checking
defeasible logic
blocks world
database
reinforcement learning
control system
fuzzy logic
orders of magnitude
petri net
constraint programming
theorem proving