Probabilistic Logic under Coherence, Model-Theoretic Probabilistic Logic, and Default Reasoning.
Veronica BiazzoAngelo GilioThomas LukasiewiczGiuseppe SanfilippoPublished in: ECSQARU (2001)
Keyphrases
- probabilistic logic
- default reasoning
- model theoretic
- proof theoretic
- probabilistic reasoning
- belief revision
- nonmonotonic reasoning
- default logic
- proof theory
- partial order
- probabilistic knowledge
- reasoning problems
- search algorithm
- fixed point
- bayesian networks
- constraint satisfaction
- automated reasoning
- general purpose
- state space