Resolution Framework for Finitely-Valued First-Order Logics.

Peter W. O'Hearn Zbigniew Stachniak

Published in: J. Symb. Comput. (1992)

Keyphrases

databases
main contribution
theoretical framework
bayesian framework
valued logic
higher order
lightweight
first order logic
real time
data sets
genetic algorithm
clustering algorithm
probabilistic model
expressive power
propositional logic