Handbook of logic in artificial intelligence and logic programming (vol. 3)
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Propositional defeasible logic has linear complexity
Theory and Practice of Logic Programming
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Variants of temporal defeasible logics for modelling norm modifications
Proceedings of the 11th international conference on Artificial intelligence and law
The Future of Social Networks on the Internet: The Need for Semantics
IEEE Internet Computing
Computer
Proof explanation for a nonmonotonic Semantic Web rules language
Data & Knowledge Engineering
A computational framework for institutional agency
Artificial Intelligence and Law
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
An efficient access control method for multimedia social networks
Proceedings of second ACM SIGMM workshop on Social media
| Hi-index | 0.00 |
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and realign them towards Social Networks requirements has become more apparent. One such language is explored as to its applicability to the Social Networks masses. We also argue that policy languages alone are not sufficient and thus they should be paired with reasoning mechanisms to provide precise and unambiguous execution models of the policies. To this end we propose a computationally oriented model to represent, reason with and execute policies for Social Networks.