How Do Agents Comply with Norms?

Dagstuhl Seminar Proceedings

Volumn 9121, Issue , 2009, Pages

  Governatori, Guido ^a   Rotolo, Antonino ^b  

^a CSIRO   (Australia)

^b UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPLIANCE CONTROL; SEMANTICS;

AGENT BEHAVIOR; BEHAVIOR SYSTEMS; COMPLIANCE CHECKING; KEYPOINTS; LOGIC BASED FORMALISM; NORMATIVE SYSTEM;

SPECIFICATIONS;

EID: 79953225291     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)

1. R. Agrawal, C. M. Johnson, J. Kiernan, and F. Leymann. Taming compliance with Sarbanes-Oxley internal controls using database technology. In Proc. ICDE 2006, 2006.
2. M. Alberti, M. Gavanelli, E. Lamma, F. Chesani, P. Mello, and P. Torroni. Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence, 20(2-4):133-157, 2006.
3. G. Antoniou, D. Billington, G. Governatori, and M. J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255-287, 2001.
4. Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. Embedding defeasible logic into logic programming. Theory and Practice of Logic Programming, 6(6):703-735, 2006.
5. W. Binder and et al. A multiagent system for the reliable execution of automatically composed ad-hoc processes. JAAMAS, 2006.
6. G. Boella and L. van der Torre. Fulfilling or violating obligations in multiagent systems. In Procs. IAT04, 2004.
7. J. Carmo and A.J.I. Jones. Deontic logic and contrary to duties. In D.M. Gabbay and F. Guenther, editors, Handbook of Philosophical Logic, 2nd Edition. Kluwer, 2002.
8. Amit K. Chopra and Munindar P. Sing. Producing compliant interactions: Conformance, coverage and interoperability. In Declarative Agent Languages and Technologies IV, pages 1-15, 2007.
9. F. de Jonge, N. Roos, and C. Witteeven. Primary and secondary diagnosis of multi-agent plan execution. JAAMAS, 2008.
10. N. Desai, N. C. Narendra, and M. P. Singh. Checking correctness of business contracts via commitments. In Proc. AAMAS 2008, 2008.
11. A. D. H. Farrell, M. J. Sergot, M. Sallé, and C. Bartolini. Using the event calculus for tracking the normative state of contracts. International Journal of Cooperative Information Systems, 14, 2005.
12. Aditya Ghose and George Koliadis. Auditing business process compliance. In Service Oriented Computing, ISOC 2007, LNCS, pages 169-180. Springer, 2007.
13. C. Giblin, S. Müller, and B. Pfitzmann. From regulatory policies to event monitoring rules: Towards model driven compliance automation. Technical report, IBM Zurich Research Lab., 2006.
14. S. Goedertier and J. Vanthienen. Designing compliant business processes with obligations and permissions. In Business Process Management (BPM) Workshops, 2006.
15. G. Governatori. Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14(2-3):181-216, 2005.
16. G. Governatori, J. Hulstijn, R. Riveret, and A. Rotolo. Characterising deadlines in temporal modal defeasible logic. In Proc. Australian AI 2007, 2007.
17. G. Governatori, Z. Milosevic, and S. Sadiq. Compliance checking between business processes and business contracts. In Proc. EDOC 2006, 2006.
18. G. Governatori and A. Rotolo. Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic, 4:193-215, 2006.
19. Guido Governatori, Jörg Hoffmann, Shazia Sadiq, and Ingo Weber. Detecting regulatory compliance for business process models through semantic annotations. In 4th International Workshop on Business Process Design.
20. Guido Governatori and Antonino Rotolo. An algorithm for business process compliance. In Enrico Francesconi, Giovani Sartor, and Daniela Tiscornia, editors, Legal Knowledge and Information Systems, pages 186-191. IOS Press, 2008.
21. Guido Governatori and Shazia Sadiq. The journey to business process compliance. In Jorge Cardoso and Wil van der Aalst, editors, Handbook of Research on BPM, chapter 20, pages 429-457. IGI Global, 2009.
22. J. M. Küster, K. Ryndina, and H. Gall. Generation of business process models for object life cycle compliance. In Proc. BPM 2007, 2007.
23. Y. Liu, S. Müller, and K. Xu. A static compliance-checking framework for business process models. IBM Systems Journal, 46(2):335-362, 2007.
24. Donald Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming. 1994.
25. Dumitru Roman and Michael Kifer. Reasoning about the behaviour of semantic web services with concurrent transaction logic. In VLDB, pages 627-638, 2007.
26. S. Sadiq, G. Governatori, and K. Naimiri. Modelling of control objectives for business process compliance. In Proc. BPM 2007, 2007.
27. Shazia Sadiq and Guido Governatori. A methodological framework for aligning business processes and regulatory compliance. In Jan van Brocke and Michael Rosemann, editors, Handbook of Business Process Management. Springer, 2009.
28. P. Stone and M. Veloso. Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork. Artificial Intelligence, 1999.
29. L. van der Torre, G. Boella, and H. Verhagen, editors. Normative Multi-agent Systems, Special Issue of JAAMAS, vol. 17(1), 2008.
30. J. Vanhatalo, H. Völzer, and F. Leymann. Faster and More Focused Control-Flow Analysis for Business Process Models through SESE Decomposition. In Proc. ICSOC 2007, 2007.
31. Ingo Weber, Guido Governatori, and Jörg Hoffmann. Approximate compliance checking for annotated process models. In Marta Indulska, Shazia Sadiq, and Michael zur Muehlen, editors, Proceedings of the 1st International Workshop on Governance, Risk and Compliance - Applications in Information Systems (GRCIS'08), volume 339, pages 46-60. CEUR Workshop Proceedings, 17 June 2008.
32. M. zur Muehlen and M. Rosemann. Integrating risks in business process models. In Proc. ACIS 2005, 2005.