A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
From MaRDI portal
Publication:692280
DOI10.1016/j.camwa.2011.12.017zbMath1252.68057MaRDI QIDQ692280
Stefano Bistarelli, Fabio Martinelli, Francesco Santini
Publication date: 4 December 2012
Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.camwa.2011.12.017
68T37: Reasoning under uncertainty in the context of artificial intelligence
68N17: Logic programming
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Semirings for constraint solving and programming.
- The complexity of soft constraint satisfaction
- A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS
- Constraint Handling Rules
- The complexity of logic-based abduction
- Semiring-based constraint satisfaction and optimization
- Logic Programming
- Logic Programming
- On Computing Constraint Abduction Answers