A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials

DOI10.1016/J.CAMWA.2011.12.017MaRDI QIDQ692280zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

abductiondeductionrole-based trust-management languagessoft constraint

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic programming (68N17)

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

Cites work

• scientific article; zbMATH DE number 2089748 (Why is no real title available?)
• scientific article; zbMATH DE number 4174356 (Why is no real title available?)
• scientific article; zbMATH DE number 1954103 (Why is no real title available?)
• A uniform framework for security and trust modeling and analysis with crypto-CCS
• Constraint Handling Rules
• Logic Programming
• Logic Programming
• On Computing Constraint Abduction Answers
• Semiring-based constraint satisfaction and optimization
• Semirings for constraint solving and programming.
• The complexity of logic-based abduction
• The complexity of soft constraint satisfaction

Describes a project that uses

Uses Software

• Binder
• HYPROLOG

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)