Extending Decidable Cases for Rules with Existential Variables.

Jean-François Baget Michel Leclère Marie-Laure Mugnier Eric Salvat

Published in: IJCAI (2009)

Keyphrases

existentially quantified
universally quantified
logic programs
predicate invention
function symbols
rough sets
logic programming
horn clauses
threshold values
data sets
learning algorithm
case based reasoning
random variables
case base