Books
Guido Governatori, Ian Hodkinson and Yde Venema (eds).
Advances in Modal
Logic. Vol. 6 . College Press, London, 2006.
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. Copyrigth
© 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.
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.
Copyrigth © 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.
Copyrigth © 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, Michael J. Maher, David
Billington, and Grigoris Antoniou.
Argumentation semantics for defeasible logics .
Journal of Logic and Computation , 14 , 5: 675-702, 2004.
Copyrigth © 2004 Oxford University Press .
Guido Governatori and Zoran Milosevic.
A Formal Analysis of a Business Contract Language .
International Journal of Cooperative Information
Systems 15 , 4: 659-685, 206.
Copyrigth © 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 ,
2008., Copyrigth © 2008
Springer
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 , 2008.
Copyrigth © 2008 Springer .
Guido Governatori and Antonino Rotolo.
A
computational framework for institutional agency .
Artificial Intelligence and Law , 16 no. 1 pp. 25-52, 2008.,
Copyrigth © 2008 Springer .
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, Copyrigth
© 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, Copyrigth © 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.
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, Copyrigth © 2007 Springer .
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,
Copyrigth © 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.
Copyrigth © 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, Copyrigth © 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 $Delta$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, Copyrigth © 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, Copyrigth © 1999
Springer-Verlag .
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. 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. Copyrigth © 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
Copyrigth © 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, Copyrigth ©
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, Copyrigth ©
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, Copyrigth © 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, Copyrigth © 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
Copyrigth © 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.
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, 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, Copyrigth ©
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.
Copyrigth © 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, 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. Copyrigth © 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,
Copyrigth © 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, Copyrigth © 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. Copyrigth © 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. Copyrigth © 2006
IEEE .
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. Copyrigth © 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,
Copyrigth © 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, Copyrigth © 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, Copyrigth © 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. Copyrigth © 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.
Representing 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.
Copyrigth © 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, Antonino Rotolo and
Vineet Padmanabhan. The
Cost of Social Agents . In 5th International Conference
on Autonomous Agents and Multi-Agent Systems (AAMAS06) , ACM
Press, 2006. Copyright © 2006
Guido Governatori, Antonino Rotolo, Régis Riveret, Monica Palmirani and Giovanni Sartor .
Variations of Temporal Defeasible Logic for Modelling Norm Modifications .
In Radboud Winkels, editor, Proceedings of 11th International Conference on Artificial Intelligence and Law , pp. 155-159. ACM Press, New York, 2007. Copyright © 2007 ACM.Guido Governatori, Antonino Rotolo, and Shazia
Sadiq.
A model of dynamic resource allocation
in workflow systems .
In Klaus-Dieter Schewe and Hugh E. Williams, editors, Database Technology
2004 , number 27 in Conference Research and Practice of Information
Technology, pages 197-206. Australian Computer Science Association, ACS,
2004. Copyrigth ©
2004 ACS
Guido Governatori, Antonino Rotolo, and
Giovanni Sartor.
Temporalised normative positions in defeasible logic .
In Anne Gardner, editor, Procedings of the 10th International Conference
on Artificial Intelligence and Law , pages 25-34, ACM Press, 6-10 June
2005, Copyrigth © 2005 ACM .
Guido Governatori and Andrew Stranieri.
Towards the application of association rules
for defeasible rules discovery .
In Bart Verheij, Arno Lodder, Ronald P. Loui, and Antoniette J. Muntjerwerff,
editors, Legal Knowledge and Information Systems , pages 63-75,
Amsterdam, 2001. JURIX, IOS Press.
Guido Governatori and Paolo Terenziani.
Temporal extensions to defeasible logic .
In Mehmet A. Orgun and John Thornton, editors, 20th Australian Joint
Conference on Artificial Intelligence, AI 2007 ,
LNAI 4830, pages 476-485. Springer, 2007.
Guido Governatori, Arthur H.M. ter Hofstede, and
Phillipa Oaks.
Defeasible logic for automated negotiation .
In P. Swatman and P.M. Swatman, editors, Proceedings of CollECTeR .
Deakin University, 2000.
Published on CD.
Guido Governatori, Arthur H.M. ter Hofstede, and
Phillipa Oaks.
Is defeasible logic applicable? .
In Grigoris Antoniou and Guido Governatori, editors, Proceedings of the
2nd Australasian Workshop on Computational Logic , pages 47-62, Brisbane,
January 2001. Queensland University of Technology.
Benjamin Johnston and Guido Goverantori.
An algorithm for the induction of defeasible
logic theories from databases .
In Klaus-Dieter Schewe and Xiaofang Zhou, editors, Database Technology
2003 , number 17 in Conference Research and Practice of Information
Technology, pages 75-83. Australian Computer Science Association, ACS, 4-7
February 2003. Copyrigth ©
2003 ACS
Benjamin Johnston and Guido Governatori.
Induction
of defeasible logic theories in the legal domain . In Giovanni
Sartor, editor, Procedings of the 9th International Conference
on Artificial Intelligence and Law , pages 204-213. IAAIL, ACM
Press,
2003. Copyrigth
© 2003 ACM .
Ruopeng Lu, Shazia Sadiq and Guido Governatori.
Utilizing
Successful Work Practice for Business Process Evolution .
In Witold Abramowicz, editor, Business Information Systems (BIS
2006) , Springer, Berlin, 2006.
Copyright © 2006, Springer. The original
pubblication is available
at www.springerlink.com .
Ruopeng Lu, Shazia Sadiq, and Guido Governatori.
Compliance aware business process design .
In Arthur H.M. ter Hofstede, Boualem Benatallah, and Hye-Young Paik,
editors, 3rd International Workshop on Business Process Design
(BPD'07) , LNCS 4928,
pages 120-131. Springer, 2007.
Copyrigth © 2007 Springer .
Ruopeng Lu, Shazia Sadiq, Vineet Padmanabhan and Guido Governatori.
Using a Temporal Constraint Network for Business Process Execution .
In Gillian Dobbie and James Bailey, editors, Database Technology
2006 , number 49 in Conference Research and Practice of Information
Technology, Australian Computer Science Association, ACS,
16-19 January 2006. Copyrigth © 2006
ACS .
Michael J. Maher and Guido Governatori.
A semantic decomposition of defeasible
logic .
In Proc. American National Conference on Artificial Intelligence
(AAAI-99) , pages 299-305, Menlo Park, CA, 1999. AAAI Press,
Copyrigth © 1999 AAAI, American Association for Artificial
Intelligence .
Mehmet A. Orgun and Guido Governatori and Chuchang Liu
Modal Tableaux for Verifying Security Protocols . In Dunin-Keplicz, Barbara and Verbrugge, Rineke, editors,
Formal Approaches to Multi-Agent Systems (FAMAS 2006) , pages
31-46. Riva del Garda, 28-29 August, 2006.
Mehmet A. Orgun and Ji Ma and Chuchang Liu and Guido Governatori
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems . In
2nd IEEE International Symposium on Dependable, Autonomic and
Secure Computing (DASC'06) , pages 325-332. IEEE Press, 2006. Copyright ©
IEEE
Vineet Padmanabhan and Guido Governatori .
A Fibred Tableau Calculus for Modal Logics of Agents .
In Matteo Baldoni and Ulrich Endriss, editors,
Declarative Agent Languages and Technologies IV
number 4327 in LNCS, pages 105-122. Berlin, 2006.
Springer. Copyright © 2006 Springer.The original publication is
available at
www.springerlink.com .Vineet Padmanabhan and Guido
Governatori.
On constructing fibred tableaux for BDI logics.
In Qiang Yang and Geoff Webb, editors, Ninth Pacific Rim International
Conference on Artificial Intelligence , LNAI 4099, pages
150-160, Guilin, 7-11 August 2006. Springer, Copyrigth © 2006
Springer .
Vineet Nair Padmanabhan, Guido Governatori, and Abdul
Sattar.
Actions made explicit in {BDI} .
In Markus Stumptner, Dan Corbett, and Michael J. Brooks, editors,
Advances in Artificial Intelligence , volume 2256 of LNCS ,
pages 390-401. Springer-Verlag, 2001, Copyrigth © 2001 Springer-Verlag .
Vineet Padmanabhan, Guido Governatori,
Shazia Sadiq, Robert Colomb and Antonino Rotolo.
Process Modelling: The Deontic Way .
In Markus Stumptner, Sven Hartmann
and Yasushi Kiyoki, editors, Database Technology
2006 , number 53 in Conference Research and Practice of Information
Technology. Australian Computer Science Association, ACS,
16-19 January 2006. Copyrigth © 2006
ACS .
Vineet Padmanabhan, Guido Governatori and Kaile Su.
Knowledge Assessment: A Modal Logic Approach .
In Leila Amgoud and Patrick Saint-Deniz, editor,
3rd International Workshop on Knowledge and Reasoning for
Answering Questions (KRAQ'07) , Hyderabad, India, 6 January, 2007.Duy Hoang Pham, Guido Governatori, and Simon Raboczi.
Agents
adapt to majority behaviours .
In The 2008 IEEE International Conference on Research, Innovation and
Vision for the Future, 2008. RIVF'08 , IEEE, 2008, Copyrigth © 2008
IEEE.
Duy Hoang Pham, Subhasis Thakur, and Guido Governatori.
Defeasible logic
to model n-person argumentation game .
In Twelfth International Workshop on Non-Monotonic
Reasoning , Sydney, 13-15 September 2008.
Duay Hoang Pham, Subhasis Thakur, and Guido Governatori.
Settling on the
group's goals: An n-person argumentation game approach .
In 11th Pacific Rim International Conference on Multi-Agents
(PRIMA 2008) , Hanoi, 15-16 Decemebr 2008">Copyrigth ©
2008 Springer
Pakornpong Pothipruk & Guido Governatori.
Defeasible Description Logic .
In Abdul Sattar & Byeong Ho Kang, editor,
19th Australian Joint Conference on Artificial Intelligence ,
Hobart. pages 110-119. Lecture Notes in Computer Science 4304.
Springer, Berlin, 2006.
Copyright © Springer Pakornpong Pothipruk and Guido Governatori
A
Formal Ontology Reasoning with Individual Optimization: A
Realization of the Semantic Web . In M. Kitsuregawa, E. Neuhold
and A. Ngu, editors, Web Information Systems Engineering. WISE
2005 , pages 119-134. LNCS 3806, Springer, Berlin, 2005. The
original pubblication is available
at www.springerlink.com .
Pakornpong Pothipruk and Guido Governatori.
An Optimization for Query Answering on ALC Database .
In Gillian Dobbie and James Bailey, editors, Database Technology
2006 , number 49 in Conference Research and Practice of Information
Technology, Australian Computer Science Association, ACS,
16-19 January 2006. Copyrigth © 2006
ACS .
Régis Riveret, Guido Governatori, and Antonino
Rotolo.
Argumentation semantics for temporal defeasible logic.
In Pavlos Peppas, Anna Perini, and Loris Penserini, editors, Third
European Starting AI Researcher Symposium (STAIRS 2006) , Riva del Garda,
28-29 August 2006. IOS Press.
Régis Riveret, Antonino Rotolo and Guido Governatori .
Interaction between Normative Systems and Cognitive agents in
Temporal Modal Defeasible Logic . In Guido Boella, Leon van der
Torre and Harko Verhagen, editors, Normative Multi-agent
Systems . Dagstuhl Seminar Proceedings 7122. Internationales
Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss
Dagstuhl, Germany, Dagstuhl, Germany, 2007.
Bram Roth, Régis Riveret, Antonino Rotolo and Guido Governatori .
Strategic Argumentation: A Game Theoretical Investigation .
In Radboud Winkels, editor,
Proceedings of 11th International Conference on Artificial Intelligence and Law , pp. 81-90. ACM Press, New York, 2007.
Copyright © 2007 ACM.
Shazia Sadiq, Guido Governatori and Kioumars Niamiri.
Modeling Control Objectives for Business Process Compliance.
In th International Conference on Business Process Management. LNCS. Springer-Verlag, Berlin 2007.
Copyrihgt © Springer-Verlag 2007 .
Thomas Skylogiannis, Grigoris Antoniou,
Nick Bassiliades, and Guido Governatori.
DR-NEGOTIATE - a system for
automated agent negotiation with defeasible logic-based strategies .
In Proceedings of The 2005 IEEE International Conference on e-Technology,
e-Commerce and e-Service, 2005. EEE'05. , pages 44-49. IEEE Press, 29
March - 1 April 2005, Copyrigth © 2005 IEEE .
Insu Song and Guido Governatori.
Hardware Implementation of Temporal Nonmonotonic Logics .
In Abdul Sattar and Byeong Ho Kang, editor,
19th Australian Joint Conference on Artificial Intelligence ,
Hobart, 4-8 December. pages 808-817. Lecture Notes in Computer Science 4304.
Springer, Berlin, 2006. The original publication is available at
www.springerlink.com Insu Song and Guido Governatori.
Affective web service design.
In Qiang Yang and Geoff Webb, editors, Ninth Pacific Rim International
Conference on Artificial Intelligence , LNAI 4099, pages 71-80,
Guilin, 7-11 August 2006. Springer. Thr original publication is
availale at www.springerlink.com .
Insu Song and Guido Governatori
Nested
Rules in Defeasible Logic . In A. Adi, S. Stoutenberg and
S. Tabet, editors, Rules and Rule Markup Languages for the
Semantic Web. RuleML 2005 , pages 204-208. LNCS 3791, Springer,
Berlin, 2005, The original pubblication is available
at www.springerlink.com .
Insu Song and Guido Governatori.
Designing Agent Chips . In 5th International Conference on
Autonomous Agents and Multi-Agent Systems (AAMAS06) . ACM
Press, 2006.Copyright © 2006
ACM
Insu Song and Guido Governatori.
A compact argumentation system for agent system specification.
In Pavlos Peppas, Anna Perini, and Loris Penserini, editors, Third
European Starting AI Researcher Symposium (STAIRS 2006) , Riva del Garda,
28-29 August 2006. IOS Press.
Insu Song, Guido Governatori, and Robert Colomb.
An interaction model for affect
monitoring .
In Geoff Webb and Xinghuo Yu, editors, Advances in Artificial
Intelligence , number 3339 in LNAI, pages 979-984, Berlin, 2004.
Springer-Verlag. Copyright © 2004, Springer-Verlag. The original
pubblication is available at www.springerlink.com
Bela Stantic, Guido Governatori and Abdul Sattar.
Handling of Current Time in Native XML Databases .
In Gillian Dobbie and James Bailey, editors, Database Technology
2006 , number 49 in Conference Research and Practice of Information
Technology. Australian Computer Science Association, ACS,
16-19 January 2006. Copyrigth © 2006
ACS .
Kaile Su, Abdul Sattar, Guido Governatori, and Qingliang
Chen.
A computationally grounded logic of knowledge, belief and
certainty. In Proceedings of The Fourth International Joint
Conference on Autonomous Agents and Multi Agent Systems (AAMAS
2005) . ACM Press, 2005,
pp. 149-156. Copyright
© 2005, ACM Press .
Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido
Governatori, and Vineet Nair.
The observation-based model for BDI-agents. In Proceedings
of AAAI 2005 . AAAI Press, 2005, pp. 190-195. Copyright ©
2005, AAAI, American Association for Artificial Intelligence.
Subhasis Thakur, Guido Governatori, Vineet
Padmanabhan, and Jenny Eriksson Lundström.
Dialogue games in defeasible logic .
In Mehmet A. Orgun and John Thornton, editors, 20th Australian Joint
Conference on Artificial Intelligence, AI 2007 ,
LNAI 4830, pages 497-506. Springer, 2007.
Copyrigth © 2007 Springer .
Technical Reports
Guido Governatori, Zoran Milosevic, Shazia Sadiq and Maria Orlowska.
On Compliance of business processes with business contracts
Technical Report, School of Information Technology and
Electrical Engineering, The University of Queensland .
2006.
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. Copyrigth © 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.
Free counter
