PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT

DOI10.1142/S0218488506003820zbMath1093.68106MaRDI QIDQ5291329

Manfred Jaeger

Publication date: 10 May 2006

Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (1)

Expressive probabilistic description logics

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

This page was built for publication: PROBABILISTIC ROLE MODELS AND THE GUARDED FRAGMENT