Łukasiewicz, Leibniz and the arithmetization of the syllogism.

Published in: Notre Dame J. Formal Log. (1977)

Keyphrases

probabilistic logic
machine learning
image segmentation
maximum entropy
knowledge representation
dynamical systems
hidden markov models
object oriented
markov random field
probability distribution
state space
temporal logic