A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
DOI10.1016/J.CAMWA.2011.12.017zbMATH Open1252.68057OpenAlexW1997420385MaRDI QIDQ692280FDOQ692280
Authors: 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
Recommendations
- scientific article; zbMATH DE number 1954103
- A Common Computational Framework for Semiring-based Argumentation Systems
- An access control language based on term rewriting and description logic
- Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
- Weighted monadic Datalog
Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)
Cites Work
- Logic Programming
- The complexity of soft constraint satisfaction
- Semiring-based constraint satisfaction and optimization
- Title not available (Why is that?)
- A uniform framework for security and trust modeling and analysis with crypto-CCS
- Semirings for constraint solving and programming.
- The complexity of logic-based abduction
- Constraint Handling Rules
- Logic Programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- On Computing Constraint Abduction Answers
Uses Software
This page was built for publication: A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q692280)
