Foundations of logic programming
Foundations of logic programming
Explanation using task structure and domain functional models
Second generation expert systems
Second generation expert system explanation
Second generation expert systems
Explanations in Knowledge Systems: The Roles of the Task Structure and Domain Functional Models
IEEE Expert: Intelligent Systems and Their Applications
Explanations in Knowledge Systems: Design for Explainable Expert Systems
IEEE Expert: Intelligent Systems and Their Applications
WhyNot: debugging failed queries in large knowledge bases
Eighteenth national conference on Artificial intelligence
KNOW Why your access was denied: regulating feedback for usable security
Proceedings of the 11th ACM conference on Computer and communications security
Driving and Monitoring Provisional Trust Negotiation with Metapolicies
POLICY '05 Proceedings of the Sixth IEEE International Workshop on Policies for Distributed Systems and Networks
Explaining answers from the Semantic Web: the Inference Web approach
Web Semantics: Science, Services and Agents on the World Wide Web
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
The role of abduction in declarative authorization policies
PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages
Rule-based policy representations and reasoning
Semantic techniques for the web
Managing adaptivity in web collaborative processes using policies and user profiles
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
A self-policing policy language
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
A dynamic security framework for ambient intelligent systems: a smart-home based eHealth application
Transactions on computational science X
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
A multi-layer framework for personalized social tag-based applications
Data & Knowledge Engineering
Rule-based policy representation and reasoning for the semantic web
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Exploiting policies in an open infrastructure for lifelong learning
EC-TEL'07 Proceedings of the Second European conference on Technology Enhanced Learning: creating new learning experiences on a global scale
An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations
International Journal of Mobile Computing and Multimedia Communications
| Hi-index | 0.00 |
The frameworks for protecting security and privacy can be effective only if common users---with no training in computer science or logic---increase their awareness and control over the policy applied by the systems they interact with. Towards this end, we introduce a mechanism for answering why, why-not, how-to, and what-if queries on rule-based policies for trust negotiation. Our framework is lightweight and scalable but it fulfills the main goals of modern explanation facilities. We adopt a novel tabled explanation structure, that simultaneously shows local and global (intra-proof and inter-proof) information, thereby facilitating navigation. Answers are focussed by removing irrelevant parts with suitable heuristics.