The universe of propositional approximations.

Marcelo Finger Renata Wassermann

Published in: Theor. Comput. Sci. (2006)

Keyphrases

propositional logic
first order logic
statistical relational learning
closed form
knowledge compilation
databases
default logic
multi valued
free energy
sound and complete axiomatization
neural network
data mining
artificial intelligence
social networks
search algorithm