Adding Equivalence Classes to Stalmarck's Method in First Order Logic.

Published in: IJCAR Doctoral Programme (2004)

Keyphrases

first order logic
equivalence classes
expressive power
propositional logic
inference rules
machine learning
probabilistic model
inductive logic programming
probabilistic reasoning