Related references
Note: Only part of the references are listed.Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations
Guido Governatori et al.
Australasian Journal of Logic (2018)
Enforcing Access Control in Web-Based Social Networks
Barbara Carminati et al.
ACM TRANSACTIONS ON INFORMATION AND SYSTEM SECURITY (2009)
Proof explanation for a nonmonotonic Semantic Web rules language
Grigoris Antoniou et al.
DATA & KNOWLEDGE ENGINEERING (2008)
A computational framework for institutional agency
Guido Governatori et al.
ARTIFICIAL INTELLIGENCE AND LAW (2008)
The future of social networks on the internet - The need for semantics
John Breslin et al.
IEEE INTERNET COMPUTING (2007)
Toward a social semantic web
Alexander Mikroyannidis
COMPUTER (2007)
A formal analysis of a business contract language
Guido Governatori et al.
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (2006)
Embedding defeasible logic into logic programming
Grigoris Antoniou et al.
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2006)
Representing business contracts in ruleML
G Governatori
INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS (2005)
Propositional defeasible logic has linear complexity
MJ Maher
THEORY AND PRACTICE OF LOGIC PROGRAMMING (2001)