Probabilities in First-Order Logic of a Unary Function and a Binary Relation.

Jerzy Tyszkiewicz

Published in: Random Struct. Algorithms (1995)

Keyphrases

first order logic
binary relations
inference rules
transitive closure
expressive power
theorem prover
knowledge representation
relational algebra
markov logic networks
machine learning
conditional probabilities
database
probabilistic model
concept lattice
graph theoretic