A Sound and Complete Backward Chaining Algorithm for Existential Rules.

Mélanie König Michel Leclère Marie-Laure Mugnier Michaël Thomazo

Published in: RR (2012)

Keyphrases

backward chaining
learning algorithm
dynamic programming
objective function
inference engine
neural network
np hard
prior information
optimal solution
search space
forward chaining