Publications by Guido Governatori
Books
- Nick Bassiliades, Guido Governatori, and Adrian Paschke, editors.
-
Rule
Representation, Interchange and Reasoning on the Web (RuleML
2008), LNCS 5321, Berlin, Springer.
  - Nick Bassiliades, Jürgen Dix, Guido Governatori, and Adrian Paschke.
-
Guest editors' introduction: Rule representation, interchange and reasoning
in distributed, heterogeneous environments.
IEEE Transaction on Knowledge and Data Engineering, 22
2010.
  - Jürgen Dix, Guido Governatori, Woijteck Jamroga, and Joao Leite, editors.
-
Computational Logic and Multi-Agent Systems (CLIMA XI).
Lecture Notes in Computer Science 6245. Springer, Berlin, 2010.
  - Aditya Ghose, Guido Governatori, and Ramakoti Sadananda, editors.
-
Agent Computing and
Multi-Agent Systems.
LNAI 5044. Springer, Berlin, 2009.
  - Guido Governatori, editor.
-
Legal Knowledge and Information Systems JURIX 2009: The Twenty-Second
Annual Conference.
Number 2005 in Frontiers in Artificial Intelligence and Applications. IOS
Press, Amsterdam, 2009.
  - Guido Governatori, John Hall, and Adrian Paschke, editors.
-
Rule Interchange and Applications, International Symposium, RuleML 2009,
Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings, volume 5858 of
Lecture Notes in Computer Science. Springer, 2009.
  - Guido Governatori, Ian Hodkinson and Yde Venema (eds).
- Advances in Modal
Logic. Vol. 6. College Press, London, 2006.
  - Guido Governatori and Giovanni Sartor, editors.
-
Deontic Logic in Computer Science (DEON 2010).
Lecture Notes in Computer Science 6181. Springer, Berlin, 2010.
  - Yuh-Jong Hu, Ching-Long Yeh, Wolfgang Laun, Guido Governatori, John Hall, and Adrian Paschke, editors.
-
Proceedings of the 3rd International RuleML-2009 Challenge, number
549 in CEUR Workshop Proceedings, November 5-7 2009.
 
Journal articles
- Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher.
- Representation results for defeasible logic. ACM Transactions on Computational Logic, 2 2: 255-287, 2001. Copyright © 2001 ACM.
- Grigoris Antoniou, David Billington, Guido Governatori and Micheal J. Maher.
- Embedding Defeasible Logic into Logic Programming Theory and Practice of Logic Programming 6, 6: 703-735, 2006. Copyright © Cambridge University Press.
- Alberto Artosi, Guido Governatori, and Antonino Rotolo.
- Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation, 12, 6: 1027-1060, 2002. Copyright © 2002, Oxford University Press.
- David Billington, Grigoris Antoniou, Guido Governatori, and Michael J. Maher.
- An inclusion theorem for defeasible logic. ACM Transactions in Computational Logic.
- Marlon Dumas, Guido Governatori, Arthur H.M. ter Hofstede, and Phillipa Oaks.
- A formal approach to negotiating agents development. Electronic Commerce Research and Applications, 1 2: 193-207, 2002. Copyright © 2002 Elsevier Science B.V..
- Marlon Dumas, Lachlan Aldred, Guido Governatori, and Arthur H.M. ter Hofstede.
- Probabilistic automated bidding in multiple auctions. Journal of Electronic Commerce Research, 5, 1: 25-49, 2005. Copyright © 2005 Springer. The original pubblication is available at www.springerlink.com
- Jonathan Gelati, Guido Governatori, Antonino Rotolo, and Giovanni Sartor.
- Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. Artificial Intelligence and Law, 12, 1-2: 53-81, 2004. The original publication is available at www.springerlink.com
- Guido Governatori.
- Representing business contracts in RuleML. International Journal of Cooperative Information Systems, 14 2-3: 181-216, 2005.
- Guido Governatori and Renato Iannella.
- A modelling and reasoning framework for social networks policies. Enterprise Information Systems, 2010 Copyrigth © 2010 Taylor & Francis.
- Guido Governatori, Michael J. Maher, David Billington, and Grigoris Antoniou.
- Argumentation semantics for defeasible logics. Journal of Logic and Computation, 14, 5: 675-702, 2004. Copyright © 2004 Oxford University Press.
- Guido Governatori and Zoran Milosevic.
- A Formal Analysis of a Business Contract Language. International Journal of Cooperative Information Systems15, 4: 659-685, 2006. Copyright © 2006 World Scientific Press.
- Guido Governatori, Mehmet A. Orgun, and Chuchang Liu.
- Modal tableaux for verifying stream authentication protocols. Journal of Autonomous Agents and Multi Agent Systems, 19, 1: 53-75, 2009, Copyright © 2009 Springer
- Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, and Abdul Sattar.
- A defeasible logic for modelling policy-based intentions and motivational attitudes. Logic Journal of the IGPL, 17(3): 227-265, 2009. Copyright © 2009 Oxford University Press.
- Guido Governatori and Duy Hoang Pham.
- DR-CONTRACT: An Architecture for e-Contracts in Defeasible Logic. International Journal of Business Process Integration and Management, 4(3): 187-199, 2009.
- Guido Governatori and Antonino Rotolo.
- On the axiomatization of Elgesem's logic of agency and ability. Journal of Philosophical Logic, 34, 4: 403-431, 2005. The original publication is available at www.springerlink.com.
- Guido Governatori and Antonino Rotolo.
- Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations Australasian Journal of Logic 4: 193-215, 2006.
- Guido Governatori and Antonino Rotolo.
- BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi Agent Systems, 17: 36-69, 2008. Copyright © 2008 Springer.
- Guido Governatori and Antonino Rotolo.
- A computational framework for institutional agency. Artificial Intelligence and Law, 16 no. 1 pp. 25-52, 2008., Copyright © 2008 Springer.
- Guido Governatori and Antonino Rotolo.
-
Changing legal systems: legal abrogations and annulments in defeasible
logic.
Logic Journal of IGPL, 18 no. 1 pp. 157-194, 2009.
Copyright © 2010 Oxford University Press.
  - Jörg Hoffmann, Ingo Weber, and Guido Governatori.
- On compliance checking for clausal constraints in annotated process models. Information Systems Frontieres, 2010. Copyright © 2008 Springer.
- Ho-Pun Lam and Guido Governatori.
- Towards a model of UAVs navigation in urban canyon through defeasible logic. Journal of Logic and Computation, 2011.
- Ruopeng Lu, Shazia Sadiq, and Guido Governatori.
- Measurement of compliance distance in business processes. Information Systems Management, 25 no. 4 pp. 344-355, 2008., Copyright © 2008 Taylor & Francis.
- Ruopeng Lu, Shazia Sadiq, and Guido Governatori.
- On managing business processes variants. Data and Knowledge Engineering, 2009.
- Ruopeng Lu, Shazia Sadiq, and Guido Governatori.
- Measurement of compliance distance in business processes. Information Systems Management, 25(4): 344-355, 2008. Copyright © 2008 Taylor & Francis.
- Duy Hoang Pham, Guido Governatori, and Subhasis Thakur.
- Extended defeasible reasoning for common goals in n-person argumentation games. Journal of Universal Computer Science, 15 no. 13 pp. 2653--2675, 2009.
- Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori and Antonis Bikakis.
- DR-NEGOTIATE — A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. Data & Knowledge Engineering: 2007. Copyright © 2007 Elsevier B.V.
Book chapters
- Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo.
- Shakespearian modal logic: A labelled treatment of modal identity. In Marcus Kracht, Maarten de Rijke, Heinrich Wansing, and Michael Zakharyaschev, editors, Advances in Modal Logic. Volume 1, pages 1-21. CSLI Publications, Stanford, 1998, Copyright © 1998 CSLI.
- Alberto Artosi and Guido Governatori.
- Popper on Necessity and Natural Laws. In Mario Alai and Gino Tarozzi, editors, Karl Popper Philosopher of Science. pages 107-118. Rubbettino Editore, Soveria Mannelli, 2006.
- Alberto Artosi, Guido Governatori, and Giovanni Sartor.
- Towards a computational treatment of deontic defeasibility. In Mark Brown and José Carmo, editors, Deontic Logic Agency and Normative Systems, Workshop on Computing, pages 27-46, Berlin, 1996. Springer-Verlag, Copyright © 1996 Springer-Verlag.
- Dov M. Gabbay and Guido Governatori.
- Dealing with label dependent deontic modalities. In Paul McNamara and Henry Prakken, editors, Norms, Logics and Information Systems. New Studies in Deontic Logic, pages 311-330. IOS Press, Amsterdam, 1998.
- Dov M. Gabbay and Guido Governatori.
- Fibred modal tableaux. In David Basin, Marcello D'Agostino, Dov Gabbay, Sean Matthews, and Luca Viganó, editors, Labelled Deduction, volume 17 of Applied Logic Series, pages 163-194. Kluwer, Dordrecht, 2000 Copyright © 2000, Kluwer Academic Publishers.
- Guido Governatori.
- Ideality and subideality from a computational point of view. In Alberto Artosi, Manuel Atienza, and Hajme Yoshino, editors, From Practical Reason to Legal Computer Science. Legal Computer Science, volume Part II, pages 315-329. Clueb, Bologna, 1998.
- Guido Governatori.
- Labelled modal tableaux. In Carlos Areces, Patrick Blackburn, and Rob Goldblatt, editors, Advances in Modal Logic, volume 7. College Publications, London, 2008.
- 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, IGI Global, 2009.
- Ruopeng Lu, Shazia Sadiq, and Guido Governatori.
- A framework for utilizing preferred work practice for business process evolution. In Witold Abramowicz and Heinrich C. Mayr, editors, Technologies for Business Information Systems, pages 39-50. Springer, Dordrecht, 2007, Copyright © 2007 Springer.
- 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.
Conference papers
- Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher.
- On the modeling and analysis of regulations. In Proceedings of the Australian Conference Information Systems, pages 20-29, 1999.
- Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher.
- A flexible framework for defeasible logics. In Proc. American National Conference on Artificial Intelligence (AAAI-2000), pages 401-405, Menlo Park, CA, 2000. AAAI/MIT Press, Copyright © 2000 AAAI, American Association for Artificial Intelligence.
- Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, and Andrew Rock.
- A family of defeasible reasoning logics and its implementation. In Werner Horn, editor, ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, pages 459-463, Amsterdam, 2000. IOS Press.
- Grigoris Antoniou, Nikos Dimaresis, and Guido Governatori.
- A system for modal and deontic defeasible reasoning. In Mehmet A. Orgun and John Thornton, editors, 20th Australian Joint Conference on Artificial Intelligence, AI 2007, LNAI 4830, pages 609-613. Springer, 2007. Copyright © 2007 Springer.
- Grigoris Antoniou, Michael J. Maher, David Billington, and Guido Governatori.
- Comparison of sceptical naf-free logic programming approaches. In M. Gelfond, N. Leone, and G. Pfeifer, editors, Logic Programming and Non-monotonic Reasoning, volume 1730 of LNAI, pages 347-356, Berlin, 1999. Springer-Verlag, Copyright © 1999 Springer-Verlag.
- Alberto Artosi, Paola Benassi, Guido Governatori, and Antonino Rotolo.
- Labelled proofs for quantified modal logic. In J.J. Alferes, L. M. Pereira, and E. Orlowska, editors, Logics in Artificial Intelligence, number 1126 in LNAI, pages 70-86, Berlin, 1996. Springer-Verlag.
- Alberto Artosi, Paola Cattabriga, and Guido Governatori.
- An automated approach to normative reasoning. In Joost Breuker, editor, Artificial Normative Reasoning, pages 132-145, Amsterdam, 1994. ECAI'94.
- Alberto Artosi, Paola Cattabriga, and Guido Governatori.
- KED: A deontic theorem prover. In Carlo Biagioli, Giovanni Sartor, and Daniela Tiscornia, editors, Workshop on Legal Application of Logic Programming, pages 60-76, Firenze, 1994. ICLP'94, IDG.
- Alberto Artosi, Paola Cattabriga, and Guido Governatori.
- A prolog implementation of KEM. In Maria Alpuente and Maria I. Sessa, editors, Proceedings of GULP-PRODE'95, pages 395-400, Salerno, 1995. Università di Salerno.
- Alberto Artosi, Paola Cattabriga, and Guido Governatori.
- A modal computational framework for default reasoning. In Gerhard Brewka, Christopher Habel, and Bernhard Nebel, editors, Proceedings of KI-97, volume 1303 of LNAI, pages 373-376, Berlin, 1997. Springer-Verlag.
- Alberto Artosi and Guido Governatori.
- Labelled model modal logic. In R. Caferra, C. Fermüller, A. Leitsch, and T. Tammet, editors, Workshop on Automated Model Building, pages 11-17, Nancy, 1994. CADE 12.
- Alberto Artosi and Guido Governatori.
- Modal tableaux for nonmonotonic reasoning. In Vito Michele Abrusci, Carlo Cellucci, Roberto Cordeschi, and Vincenzo Fano, editors, Prospettive della logica e della filosofia della scienza, pages 203-213, Pisa, 1998. ETS.
- Alberto Artosi and Guido Governatori.
- A tableaux methodology for deontic conditional logics. In ΔEON'98, 4th International Workshop on Deontic Logic in Computer Science, pages 65-81, Bologna, 1998. CIRFID.
- Alberto Artosi, Guido Governatori, and Antonino Rotolo.
- A labelled tableau calculus for nonmonotonic (cumulative) consequence relations. In Roy Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, volume 1847 of LNAI, pages 82-97, Berlin, 2000. Springer-Verlag, Copyright © 2000 Springer-Verlag.
- Nick Bassiliades, Grigoris Antoniou and Guido Governatori.
- Proof Explanation in the DR-DEVICE System. In M. Marchiori, J.Z.Pan and C. de Sainte Marie (eds) Web Reasoning and Rule Systems, LNCS 4524, pages 249-258. Springer, Berlin, 2007. Copyright © 2007 Springer.
- David Billington, Grigoris Antoniou, Guido Governatori, and Michael J. Maher.
- Revising nonmonotonic belief sets: The case of defeasible logic. In Wolfram Burgard, Thomas Christaller, and Armin B. Cremers, editors, KI-99: Advances in Artificial Intelligence, volume 1701 of LNAI, pages 101-112, Berlin, 1999. Springer-Verlag, Copyright © 1999 Springer-Verlag.
- Jeff Blee, David Billington, Guido Governatori, and Abdul Sattar.
- Levels of modalities for BDI logic. In 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pages 647-650. IEEE Press, 2008, Copyright © 2008 IEEE.
- Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, and Leendert van der Torre.
- Time and defeasibility in FIPA ACL semantics. In 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, pages 634-637. IEEE Press, 2008, Copyright © 2008 IEEE.
- Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo and Leemndert van der Torre.
- FIPA Communicative Acts in Defeasible Logic. In Alankar Karol, Pavlos Peppas and Mary-Anne Williams, editor, Seventh IJCAI International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC'07), Hyderabad, India, 7-8 January, 2007.
- Guido Boella, Guido Governatori, Antonino Rotolo, and Leendert van der Torre.
- A formal study on legal compliance and interpretation. In Thomas Meyer and Eugenia Ternovska, editors, 13 International Workshop on Non-Monotonic Reasoning (NMR 2010). CEUR Workshop Proceedings, 2010.
- Guido Boella, Guido Governatori, Antonino Rotolo, and Leendert van der Torre.
- Lex minus dixit quam voluit, lex magis dixit quam voluit: A formal study on legal compliance and interpretation. In P. Casanovas, U. Pagallo, G. Ajani, and G. Sartor, editors, AI approaches to the complexity of legal systems, LNAI, Berlin, 2010. Springer, Copyright © 2010 Springer.
- Guido Boella, Guido Governatori, Antonino Rotolo, and Leendert van der Torre.
- A logical understanding of legal interpretation. In Proceedings of KR 2010. AAAI, 2010.
- Peng Yew Chow and Guido Governatori.
- Representing and reasoning on XForms document. In Klaus-Dieter Schewe and Hugh E. Williams, editors, Database Technology 2004, number 27 in Conference Research and Practice of Information Technology, pages 141-150. Australian Computer Science Association, ACS, 19-21 January 2004. Copyright © 2004 ACS.
- Mehdi Dastani, Guido Governatori, Antonio Rotolo, Insu Song and Leendert van der Torre.
- Contextual Deliberation of Cognitive Agents in Defeasible Logic. In 6th International Conference on Autonomous Agents and Multi-Agent Systems. ACM Press, New York. Copyright © 2007 ACM.
- Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, and Leendert van der Torre.
- Contextual agent deliberation in defeasible logic. In Aditya Ghose and Guido Governatori, editors, 10 Pacific Rim International Workshop on Multi-Agents, LNAI 5044. Springer, 2008 Copyright © 2008 Springer.
- Mehdi Dastani, Guido Governatori, Antonino Rotolo and Leendert van der Torre
- Preferences of Agents in Defeasible Logic. In S. Zhang and R. Jarvis , editors, Australian Joint Conference on Artificial Intelligence, AI 2005, pages 695-704. LNCS 3809, Springer, Berlin, 2005, Copyright © 2005 Springer.
- Mehdi Dastani, Guido Governatori, Antonino Rotolo and Leendert van der Torre
- Programming Cognitive Agents in Defeasible Logic. In G. Sutcliffe and A. Voronkov, editors, Logic Programming and Automated Reasoning. LPAR 2005, pages 621-635. LNCS 3835, Springer, Berlin, 2005, Copyright © 2005 Springer.
- Paolo Di Giusto and Guido Governatori.
- Analytic modal revision for multi-agent systems. In Pedro Barahona and José Júlio Alferes, editors, Progress in Artificial Intelligence, volume 1695 of LNAI, pages 282-296, Berlin, 1999. Springer-Verlag, Copyright © 1999 Springer-Verlag.
- Paolo Di Giusto and Guido Governatori.
- Modifying is better than deleting: A new approach to base revision. In Evelina Lamma and Paola Mello, editors, AI*IA 99, pages 145-154, Bologna, 1999. Pitagora.
- Paolo Di Giusto and Guido Governatori.
- A new approach to base revision. In Pedro Barahona and José Júlio Alferes, editors, Progress in Artificial Intelligence, volume 1695 of LNAI, pages 327-341, Berlin, 1999. Springer-Verlag, Copyright © 1999 Springer-Verlag.
- Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H.M. ter Hofstede, and Nick Russell.
- A probabilistic approach to automated bidding in alternative auctions. In WWW2002, pages 99-108, Honolulu HI, USA, 7-11, May 2002 2002. ACM, ACM Press.
- Marlon Dumas, Guido Governatori, Arthur H.M. ter Hofstede, and Nick Russel.
- An architecture for assembling agents that participate in alternative heterogeneous auctions. In Yanchun Zhang, Amjad Umar, Lim Ee-Peng, and Ming-Chien Shan, editors, RIDE-2EC 2002, pages 75-83, Los Alamitos, CA, 25-26 February, San Jos'e 2002. IEEE Computer Society, IEEE Press.
- Jenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, and Vineet Padmanabhan.
- An asymmetric protocol for argumentation games in defeasible logic. In Aditya Ghose and Guido Governatori, editors, 10 Pacific Rim International Workshop on Multi-Agents, LNAI 5044. Springer, 2008 Copyright © 2008 Springer.
- Dov M. Gabbay and Guido Governatori.
- Fibred modal tableaux (preliminary report). In H.M. de Swart, editor, Tableaux'98: Position Papers, Technical Report, pages 33-48, Tilburg University, 1998.
- Jonathan Gelati, Guido Governatori, Antonino Rotolo, and Giovanni Sartor.
- Declarative power, representation, and mandate: A formal anaysis. In Trevor Bench-Capon, Aspassia Daskalopulu, and Radboudb Winkels, editors, Legal Knowledge and Information Systems, number 89 in Frontieres in Artificial Intelligence and Applications, pages 41-52. IOS Press, Amsterdam, 2002.
- Thomas F. Gordon, Guido Governatori, and Antonino Rotolo.
- Rules and norms: Requirements for rule interchange languages in the legal domain. In Guido Governatori, John Hall, and Adrian Paschke, editors, Rule Representation, Interchange and Reasoning on the Web, number 5858 in LNCS, pages 282-296, Berlin, 5-7 November 2009. Springer, Copyright © 2009 Springer.
- Guido Governatori.
- KE+: Beyond refutation. In L. Dreschler-Fischer and S. Pribbenow, editors, KI-95 Activities: Workshops, Posters, Demos, pages 75-76, Bonn, 1995. Gesellschaft für Informatik.
- Guido Governatori.
- Labelled tableaux for multi-modal logics. In P. Baumgartner, R. H{ä}hnle, and J. Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods, volume 918 of LNAI, pages 79-94, Berlin, 1995. Springer-Verlag.
- Guido Governatori.
- A duplication and loop checking free system for S4. In D. Mundici P.Miglioli, U. Moscato and M.Ornaghi, editors, 5th Workshop on Theorem Proving with Analytic Tableaux and Related Methods (Short Papers), Technical Report 154-96, Università di Milano, 1996.
- Guido Governatori.
- Labelling ideality and subideality. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Practical Reasoning, number 1085 in LNAI, pages 291-304, Berlin, 1996. Springer-Verlag.
- Guido Governatori.
- On the relative complexity of modal tableaux. In James Harland, editor, CATS'03, volume 78 of Electronic Notes in Theoretical Computer Science, pages 36-53, Adelaide, 4-7 February 2003. Elsevier.
- Guido Governatori.
- Defeasible description logic. In Grigoris Antoniou and Harold Boley, editors, Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, number 3323 in LNCS, pages 98-112, Berlin, 8 November 2004. Springer-Verlag Copyright © 2004, Springer. The original pubblication is available at www.springerlink.com
- Guido Governatori.
- Law, logic and business processes. In Third International Workshop on Requirements Engineering and Law. IEEE, 2010, Copyrigth © 2010 IEEE.
- Guido Governatori.
- A logic framework of normative-based contract management. In Satoshi Tojo, editor, Fourth International Workshop on Juris-informatics (JURISIN 2010), November 18-19 2010.
- Guido Governatori.
- On the relationship between Carneades and defeasible logic. In Tom van Engers, editor, Proceedings of the 13th International Conference on Artificial Intelligence and Law (ICAIL 2011). ACM Press, 2011. Copyrigth © 2011 ACM Press.
- Guido Governatori, Marlon Dumas, Arthur H.M. ter Hofstede, and Phillipa Oaks.
- A formal approach to protocols and strategies for (legal) negotiation. In Henry Prakken, editor, Procedings of the 8th International Conference on Artificial Intelligence and Law, pages 168-177. IAAIL, ACM Press, 2001, Copyright © 2001 ACM.
- Guido Governatori, Jonathan Gelati, Antonino Rotolo, and Giovanni Sartor.
- Actions, institutions, powers. preliminary notes. In Gabriela Lindemann, Daniel Moldt, Mario Paolucci, and Bin Yu, editors, International Workshop on Regulated Agent-Based Social Systems: Theories and Applications(RASTA'02), volume 318 of Mitteilung, pages 131-147, Hamburg, 12 July 2002. Fachbereich Informatik, Universität Hamburg.
- Guido Governatori, Joris Hulstijn, Régis Riveret, and Antonino Rotolo.
- Characterising deadlines in temporal modal defeasible logic. In Mehmet A. Orgun and John Thornton, editors, 20th Australian Joint Conference on Artificial Intelligence, AI 2007, LNAI 4830, pages 486-496. Springer, 2007. Copyright © 2007 Springer.
- Guido Governatori, Joris Hulstijn, Règis Riveret, and Antonino Rotolo.
- On the representation of deadlines in a rental agreement. In Arno R. Lodder and Laurens Mommers, editors, Legal Knowledge and Information Systems, pages 167-168. IOS Press, Amsterdam, 2007.
- Guido Governatori and Renato Iannella.
-
Modelling and reasoning languages for social networks policies.
In Enterprise Distributed Object Computing Conference, 2009. EDOC '09.
IEEE International, pages 193-200. IEEE, 2009, Copyright © 2009 IEEE.
  - Guido Governatori, Alessio Lomuscio, and Marek Sergot.
- A tableaux system for deontic interpreted systems. In Tamás D. Gedeon and Lance Chun Che Fung, editors, AI 2003: Advances in Artificial Intelligence, volume 2903 of LNAI, pages 339-351, Springer-Verlag, Berlin, 2003. Copyright © 2003 Springer-Verlag.
- Guido Governatori and Alessandro Luppi.
- Labelled tableaux for non-normal modal logics. In Evelina Lamma and Paola Mello, editors, AI*IA 99, pages 413-422, Bologna, 1999. Pitagora.
- Guido Governatori and Alessandro Luppi.
- Labelled tableaux for non-normal modal logics. In Evelina Lamma and Paola Mello, editors, AI*IA 99: Advances in Artificial Intelligence, volume 1792 of LNAI, pages 119-130, Berlin, 2000. Springer-Verlag, Copyright © 2000 Springer-Verlag.
- Guido Governatori and Michael J. Maher.
- An argumentation-theoretic characterization of defeasible logic. In Werner Horn, editor, ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, pages 469-474, Amsterdam, 2000. IOS Press.
- Guido Governatori, Michael J. Maher, Grigoris Antoniou, and David Billington.
- Argumentation semantics for defeasible logics. In Riichiro Mizoguchi and John Slaney, editors, PRICAI 2000: Topics in Artificial Intelligence, volume 1886 of LNAI, pages 27-37, Berlin, 2000. Springer-Verlag, Copyright © 2000 Springer-Verlag.
- Guido Governatori and Zoran Milosevic.
- Dealing with contract violations: formalism and domain specific language. Proceedings of EDOC 2005. IEEE Press, 2005, pp. 46-57. Copyright © 2005 IEEE.
- Guido Governatori, and Zoran Milosevic
- An Approach for Validating BCL Contract Specifications In Claudio Bartolini, Guido Governatori, and Zoran Milosevic (eds). Proceedings on the 2nd EDOC Workshop on Contract Architecures and Languages (CoALa 2005). Enschede, NL, 20 September 2005. IEEE Press.
- Guido Governatori, Zoran Milosevic, and Sahzia Sadiq
- Compliance checking between business processes and business contracts 10th International Enterprise Distributed Object Computing Conference (EDOC 2006). IEEE Press, 2006, pp. 221-232. Copyright © 2006 IEEE.
- Guido Governatori, Francesco Olivieri, Simone Scannapieco, and Matteo Cristani.
- Superiority based revision of defeasible theories. In Mike Dean, John Hall, Antonino Rotolo, and Said Tabet, editors, RuleML 2010: 4th International Web Rule Symposium, number 6403 in LNCS, pages 104-118, Berlin, 2010. Springer. Copyrigth © 2010 Springer.
- Guido Governatori and Vineet Padmanabhan.
- A defeasible logic of policy-based intention. In Tamás D. Gedeon and Lance Chun Che Fung, editors, AI 2003: Advances in Artificial Intelligence, volume 2903 of LNAI, pages 414-426, Springer-Verlag, Berlin, 2003. Copyright © 2003 Springer-Verlag
- Guido Governatori, Vineet Padmanabhan, and Rotolo. Antonino.
- Rule-based agents in temporalised defeasible logic. In Qiang Yang and Geoff Webb, editors, Ninth Pacific Rim International Conference on Artificial Intelligence, LNAI 4099, pages 31-40, Guilin, 7-11 August 2006. Springer, Copyright © 2006 Springer.
- Guido Governatori, Vineet N. Padmanabhan, and Abdul Sattar.
- On fibring semantics for bdi logics. In Sergio Leone and Nicola Greco, editors, Jelia, LNAI, Berlin, 2002. Springer-Verlag, Copyright © 2002 Springer-Verlag.
- Guido Governatori, Monica Palmirani, Régis Riveret, Antonino Rotolo and Giovanni Sartor.
- Normative Modifications in Defeasible Logic. In Marie-Francine Moens, editor, Jurix'05: The Eighteenth Annual Conference, in print. IOS Press, Amsterdam 2005.
- Guido Governatori and Antonino Rotolo.
- Labelled modal sequents. In Methods for Modalities 1, Amsterdam, May 6-7 1999. ILLC, University of Amsterdam.
- Guido Governatori, and Duy Hoang Pham
- DR-CONTRACT: An Architecture for e-Contracts in Defeasible Logic In Claudio Bartolini, Guido Governatori, and Zoran Milosevic (eds). Proceedings on the 2nd EDOC Workshop on Contract Architecures and Languages (CoALa 2005). Enschede, NL, 20 September 2005. IEEE Press.
- Guido Governatori and Duy Hoang Pham
- A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. In A. Adi, S. Stoutenberg and S. Tabet, editors, Rules and Rule Markup Languages for the Semantic Web. RuleML 2005, pages 145-159. LNCS 3791, Springer, Berlin, 2005. The original pubblication is available at www.springerlink.com.
- Guido Governatori, Duy Hoang Pham, Simon Raboczi, Andrew Newman, and Subhasis Thakur.
- On extending RuleML for modal defeasible logic. In Nick Bassiliades, Guido Governatori, and Adrian Paschke, editors, RuleML 2008: The International RuleML Symposium on Rule Interchange and Applications, Lecture Notes in Computer Science, Berlin, 2008. Springer, Copyright © 2008 Springer.
- Guido Governatori and Antonino Rotolo.
- Labelled modal sequents. In Roy Dyckhoff, editor, Position Papers and Tutorials, TABLEAUX 2000, Scientific Report CS/00/001, pages 3-21. School of Computer Science, University of St Andrews, 2000.
- Guido Governatori and Antonino Rotolo.
- A Gentzen system for reasoning with contrary-to-duty obligations. a preliminary study. In Andrew J.I. Jones and John Horty, editors, Δeon'02, pages 97-116, London, May 2002. Imperial College.
- Guido Governatori and Antonino Rotolo.
- A defeasible logic of institutional agency. In Gerhard Brewka and Pavlos Peppas, editors, NRAC'03, pages 97-104, Acapulco, Mexico, 10-11 August 2003. IJCAI.
- Guido Governatori and Antonino Rotolo.
- Defeasible logic: Agency and obligation. In Alessio Lomuscio and Donald Nute, editors, Deontic Logic in Computer Science, number 3065 in LNAI, pages 114-128, Springer-Verlag, Berlin, 2004. Copyright © 2004 Spinger.
- Guido Governatori and Antonino Rotolo.
- On the axiomatization of Elgesem's logic of agency. In Mark Reynold and Heinrich Wansing, editors, Advances in Modal Logic 5, Manchester, 8-11 September 2004.
- Guido Governatori and Antonino Rotolo.
- Modelling contracts using RuleML. In Thomas Gordon, editor, Legal Knowledge and Information Systems, volume 120 of Frontieres in Artificial Intelligence and Applications, pages 141-150, Amsterdam, 2004. IOS Press.
- Guido Governatori and Antonino Rotolo.
- Changing legal systems: Abrogation and annulment. Part I: Revision of defeasible theories. In Ron van der Meyden and Leon van der Torre, editors, 9th International Conference on Deontic Logic in Computer Science (DEON2008), Lecture Notes in Computer Science. Springer, 2008. Copyright © 2008 Springer.
- Guido Governatori and Antonino Rotolo.
- Changing legal systems: Abrogation and annulment. Part II: Temporalised defeasible logic. In Guido Boella, Harko Verhagen, and Muindhar Singh, editors, Proceedings of Normative Multi Agent Systems (NorMAS 2008, Luxembourg 15-16 July 2008.
- 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 (Jurix 2008), Frontieres in Artificial Intelligence and Applications 189, pages 186-191. IOS Press, 2008.
- Guido Governatori and Antonino Rotolo.
-
How do agents comply with norms?.
In Guido Boella, Pablo Noriega, Gabriella Pigozzi, and Harko Verhagen,
editors, Normative Multi-Agent Systems, number 09121 in Dagstuhl
Seminar Proceedings, Dagstuhl, Germany, 2009. Schloss Dagstuhl -
Leibniz-Zentrum fuer Informatik, Germany.
  - Guido Governatori and Antonino Rotolo.
-
How do agents comply with norms?.
In IEEE/WIC/ACM International Joint Conferences on
Web Intelligence and Intelligent Agent Technologies, 2009. WI-IAT '09.
, volume 3, pages
488-491. IEEE, 2009, Copyright ©
2009 IEEE.
  - Guido Governatori and Antonino Rotolo.
- A conceptually rich model of business process compliance. In Sebastian Link and Aditya Ghose, editors, 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010), CRPIT. ACS, 2010.
- Guido Governatori and Antonino Rotolo.
- On the complexity of temporal defeasible logic. In Thomas Meyer and Eugenia Ternovska, editors, 13 International Workshop on Non-Monotonic Reasoning (NMR 2010), CEUR Workshop Proceedings, 2010.
- Guido Governatori and Antonino Rotolo.
- Norm compliance in business process modeling. In Mike Dean, John Hall, Antonino Rotolo, and Said Tabet, editors, RuleML 2010: 4th International Web Rule Symposium, number 6403 in LNCS, pages 194-209, Berlin, 2010. Springer. Copyrigth © 2010 Springer.
- Guido Governatori and Rotolo Antonino.
- Justice delayed is justice denied: Logics for a temporal account of reparations and legal compliance.
Abstract: We propose an IDE – Integrated Development Environment to model SBVR (Semantic of Business Vocabulary and Business Rule) compliant business rules [2] extracted from business contract of services and store them in an ontological structure of rules, facts and terms as defined in the SBVR metamodel. Business rules are based on principles of deontic logic for treating expressions in the form of normative policies. Deontic constraints express what parties to the contract are required to perform (obligations), what they are allowed to do (permissions), or what they are not allowed to do (prohibitions).
Technical Reports
Others
- Guido Governatori.
- Un modello formale per il ragionamento giuridico. PhD Thesis, CIRSFID, University of Bologna, 1997.
- Alberto Artosi and Guido Governatori.
- A reduplication and loop checking free proof system for s4. In Abstract of the 10th International Congress on Logic Methodology and Philosophy of Science, page 43, Firenze, 1995.
- Guido Governatori.
- Review of: The semantic foundations of logic: Predicate logic, by Richard L. Epstein, Oxford University Press, 1994. Journal of Logic and Computation, 8 no. 4 pp. 547-551, 1997.
- Guido Governatori, Vineet N. Padmanabhan, and Abdul Sattar.
- A defeasible logic of policy-based intention. In Harald Søndergaard, editor, Australasian Workshop on Computational Logic 2002: Proceedings, number TR2002/6 in Technical Report, pages 9-20, Canberra, December 2-3 2002. Department of Computer Science, The University of Melbourne.
- Guido Governatori and Antonino Rotolo.
- De re modal semantics. Bulletin of Symbolic Logic, 9 no. 2 pp. 259-260, June 2003.
- Guido Governatori and Antonino Rotolo.
- A computational framework for non-monotonic agency, institutionalised power and multi-agent systems. In Daniéle Bourcier, editor, Legal Knowledge and Inforamtion Systems, volume 106 of Frontieres in Artificial Intelligence and Applications, pages 151-152, IOS Press, Amsterdam, 2003.
- Guido Governatori and Antonino Rotolo.
- On the axiomatization of Elgesem's logic of ability and agency. Bulletin of Symbolic Logic, 10:g 449, 2004.
- Kaile Su, Abdul Sattar, Kewen Wang, and Guido Governatori.
- Computationally grounded model of BDI-agents. Proceedings of IJCAI'05, 30 July - 3 August 2005, pp. 1581-1582. Copyright © 2005 IJCAI.
- Miao Wang and Guido Governatori.
- A Logic Framework of Normative-based Contract Management. Formal Methods in Electronic Commerce 2007. Stanford University, Palo Alto, CA. June 4, 2007.
- 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 CAiSE 2008 Workshop on Governance, Risk and Compliance in Information Systems (GRCIS 2008), Montpellier, 17 June 2008.