Login / Signup
A propositional probabilistic logic with discrete linear time for reasoning about evidence.
Zoran Ognjanovic
Zoran Markovic
Miodrag Raskovic
Dragan Doder
Aleksandar Perovic
Published in:
Ann. Math. Artif. Intell. (2012)
Keyphrases
</>
probabilistic logic
probabilistic knowledge
maximum entropy
probabilistic reasoning
statistical relational learning
default reasoning
probability theory
abductive reasoning
first order logic
artificial intelligence
relational domains
search algorithm
search space
belief revision