An Algorithm for Dual Transformation in First-Order Logic.

Guilherme Bittencourt Isabel Tonin

Published in: J. Autom. Reason. (2001)

Keyphrases

first order logic
expressive power
optimal solution
computational complexity
database
matching algorithm
probabilistic model
knowledge representation
expectation maximization
propositional logic
higher order
markov logic networks
probabilistic reasoning
markov networks
special case
search space
machine learning