Probabilistic Access Policies with Automated Reasoning Support.
Shaowei ZhuYunbo ZhangPublished in: CAV (3) (2024)
Keyphrases
- automated reasoning
- probabilistic reasoning
- reasoning systems
- knowledge representation
- theorem proving
- reasoning tasks
- automated verification
- decision procedures
- machine learning
- reinforcement learning
- probabilistic model
- supervised learning
- description logics
- theorem prover
- knowledge representation and reasoning