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)
Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)
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