PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT
From MaRDI portal
Publication:5291329
DOI10.1142/S0218488506003820zbMath1093.68106MaRDI QIDQ5291329
Publication date: 10 May 2006
Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)
68T27: Logic in artificial intelligence
03B48: Probability and inductive logic
68T37: Reasoning under uncertainty in the context of artificial intelligence
Related Items
Cites Work
- An analysis of first-order logics of probability
- Probabilistic logic
- Bisimulation through probabilistic testing
- Modal languages and bounded fragments of predicate logic
- Decidability and expressiveness for first-order logics of probability
- Some first-order probability logics
- Modal and guarded characterisation theorems over finite transition systems
- Best Possible Inequalities for the Probability of a Logical Function of Events
- Finite Model Theory
- KI 2003: Advances in Artificial Intelligence