Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Guido Governatori
@article{DBLP:journals/ail/BhuiyanGBR24, author = {Hanif Bhuiyan and Guido Governatori and Andy Bond and Andry Rakotonirainy}, title = {Traffic rules compliance checking of automated vehicle maneuvers}, journal = {Artif. Intell. Law}, volume = {32}, number = {1}, pages = {1--56}, year = {2024}, url = {https://doi.org/10.1007/s10506-022-09340-9}, doi = {10.1007/S10506-022-09340-9}, timestamp = {Sat, 16 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/BhuiyanGBR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/FrancesconiG23, author = {Enrico Francesconi and Guido Governatori}, title = {Patterns for legal compliance checking in a decidable framework of linked open data}, journal = {Artif. Intell. Law}, volume = {31}, number = {3}, pages = {445--464}, year = {2023}, url = {https://doi.org/10.1007/s10506-022-09317-8}, doi = {10.1007/S10506-022-09317-8}, timestamp = {Tue, 12 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/FrancesconiG23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/rss/BhuiyanGRWM23, author = {Hanif Bhuiyan and Guido Governatori and Andry Rakotonirainy and Meng Weng Wong and Avishkar Mahajan}, title = {Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules}, journal = {Rev. Socionetwork Strateg.}, volume = {17}, number = {2}, pages = {233--254}, year = {2023}, url = {https://doi.org/10.1007/s12626-023-00147-x}, doi = {10.1007/S12626-023-00147-X}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/rss/BhuiyanGRWM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/BeestGCGTB23, author = {Nick van Beest and Heerko Groefsema and Adrian Cryer and Guido Governatori and Silvano Colombo Tosatto and Hannah M. S. Burke}, title = {Cross-Instance Regulatory Compliance Checking of Business Process Event Logs}, journal = {{IEEE} Trans. Software Eng.}, volume = {49}, number = {11}, pages = {4917--4931}, year = {2023}, url = {https://doi.org/10.1109/TSE.2023.3319086}, doi = {10.1109/TSE.2023.3319086}, timestamp = {Sun, 10 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tse/BeestGCGTB23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ai3/PasettoCGOZ23, author = {Luca Pasetto and Matteo Cristani and Guido Governatori and Francesco Olivieri and Edoardo Zorzi}, editor = {Gianvincenzo Alfano and Stefano Ferilli}, title = {Extraction of Defeasible Proofs as Explanations}, booktitle = {Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI{\^{}}3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3546}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3546/paper07.pdf}, timestamp = {Fri, 08 Dec 2023 14:24:28 +0100}, biburl = {https://dblp.org/rec/conf/ai3/PasettoCGOZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriR23, author = {Guido Governatori and Antonino Rotolo}, editor = {Matthias Grabmair and Francisco Andrade and Paulo Novais}, title = {Deontic Ambiguities in Legal Reasoning}, booktitle = {Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, {ICAIL} 2023, Braga, Portugal, June 19-23, 2023}, pages = {91--100}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3594536.3595175}, doi = {10.1145/3594536.3595175}, timestamp = {Sun, 24 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/FlorioRGS23, author = {Cecilia Di Florio and Antonino Rotolo and Guido Governatori and Giovanni Sartor}, editor = {Sarah Alice Gaggl and Maria Vanina Martinez and Magdalena Ortiz}, title = {Stable Normative Explanations: From Argumentation to Deontic Logic}, booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA} 2023, Dresden, Germany, September 20-22, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {14281}, pages = {123--131}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-43619-2\_9}, doi = {10.1007/978-3-031-43619-2\_9}, timestamp = {Sat, 14 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/FlorioRGS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/NovelliGR23, author = {Claudio Novelli and Guido Governatori and Antonino Rotolo}, editor = {Giovanni Sileno and Jerry Spanakis and Gijs van Dijck}, title = {Automating Business Process Compliance for the {EU} {AI} Act}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2023: The Thirty-sixth Annual Conference, Maastricht, The Netherlands, 18-20 December 2023}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {379}, pages = {125--130}, publisher = {{IOS} Press}, year = {2023}, url = {https://doi.org/10.3233/FAIA230955}, doi = {10.3233/FAIA230955}, timestamp = {Wed, 31 Jan 2024 15:45:22 +0100}, biburl = {https://dblp.org/rec/conf/jurix/NovelliGR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kes/CristaniGOPTVVZ23, author = {Matteo Cristani and Guido Governatori and Francesco Olivieri and Luca Pasetto and Francesco Tubini and Celeste Veronese and Alessandro Villa and Edoardo Zorzi}, editor = {George A. Tsihrintzis and Carlos Toro and Sebasti{\'{a}}n A. R{\'{\i}}os and Robert J. Howlett and Lakhmi C. Jain}, title = {The architecture of a reasoning system for Defeasible Deontic Logic}, booktitle = {Knowledge-Based and Intelligent Information {\&} Engineering Systems: Proceedings of the 27th International Conference KES-2023, Athens, Greece, 6-8 September 2023}, series = {Procedia Computer Science}, volume = {225}, pages = {4214--4224}, publisher = {Elsevier}, year = {2023}, url = {https://doi.org/10.1016/j.procs.2023.10.418}, doi = {10.1016/J.PROCS.2023.10.418}, timestamp = {Fri, 08 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kes/CristaniGOPTVVZ23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2307-05156, author = {Cecilia Di Florio and Guido Governatori and Antonino Rotolo and Giovanni Sartor}, title = {Stable Normative Explanations: From Argumentation to Deontic Logic}, journal = {CoRR}, volume = {abs/2307.05156}, year = {2023}, url = {https://doi.org/10.48550/arXiv.2307.05156}, doi = {10.48550/ARXIV.2307.05156}, eprinttype = {arXiv}, eprint = {2307.05156}, timestamp = {Mon, 24 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2307-05156.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/GovernatoriBVAF22, author = {Guido Governatori and Trevor J. M. Bench{-}Capon and Bart Verheij and Michal Araszkiewicz and Enrico Francesconi and Matthias Grabmair}, title = {Thirty years of Artificial Intelligence and Law: the first decade}, journal = {Artif. Intell. Law}, volume = {30}, number = {4}, pages = {481--519}, year = {2022}, url = {https://doi.org/10.1007/s10506-022-09329-4}, doi = {10.1007/S10506-022-09329-4}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/GovernatoriBVAF22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ethicsit/NeufeldBCG22, author = {Emery A. Neufeld and Ezio Bartocci and Agata Ciabattoni and Guido Governatori}, title = {Enforcing ethical goals over reinforcement-learning policies}, journal = {Ethics Inf. Technol.}, volume = {24}, number = {4}, pages = {43}, year = {2022}, url = {https://doi.org/10.1007/s10676-022-09665-8}, doi = {10.1007/S10676-022-09665-8}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ethicsit/NeufeldBCG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AmanteaRSGB22, author = {Ilaria Angela Amantea and Livio Robaldo and Emilio Sulis and Guido Governatori and Guido Boella}, title = {Business Process Modelling in Healthcare and Compliance Management: {A} Logical Framework}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1131--1154}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AmanteaRSGB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AntoniouABBCGRS22, author = {Grigoris Antoniou and Katie Atkinson and George Baryannis and Sotiris Batsakis and Luigo Di Caro and Guido Governatori and Livio Robaldo and Giovanni Siragusa and Ilias Tachmazidis}, title = {Explainable Reasoning with Legal Big Data: {A} Layered Framework}, journal = {{FLAP}}, volume = {9}, number = {4}, pages = {1155--1170}, year = {2022}, url = {https://collegepublications.co.uk/ifcolog/?00056}, timestamp = {Mon, 08 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AntoniouABBCGRS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/CristaniGOPTVVZ22, author = {Matteo Cristani and Guido Governatori and Francesco Olivieri and Luca Pasetto and Francesco Tubini and Celeste Veronese and Alessandro Villa and Edoardo Zorzi}, editor = {Roberto Confalonieri and Daniele Porello}, title = {Houdini (unchained): An Effective Reasoner for Defeasible Logic}, booktitle = {Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3354}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3354/paper2.pdf}, timestamp = {Thu, 23 Mar 2023 22:27:13 +0100}, biburl = {https://dblp.org/rec/conf/aiia/CristaniGOPTVVZ22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/GroefsemaBG22, author = {Heerko Groefsema and N. R. T. P. van Beest and Guido Governatori}, editor = {Claudio Di Ciccio and Remco M. Dijkman and Adela del{-}R{\'{\i}}o{-}Ortega and Stefanie Rinderle{-}Ma}, title = {On the Use of the Conformance and Compliance Keywords During Verification of Business Processes}, booktitle = {Business Process Management Forum - {BPM} 2022 Forum, M{\"{u}}nster, Germany, September 11-16, 2022, Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {458}, pages = {21--37}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-16171-1\_2}, doi = {10.1007/978-3-031-16171-1\_2}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/GroefsemaBG22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cilc/RobaldoBCCFGMPS22, author = {Livio Robaldo and Sotiris Batsakis and Roberta Calegari and Francesco Calimeri and Megumi Fujita and Guido Governatori and Maria Concetta Morelli and Giuseppe Pisano and Ken Satoh and Ilias Tachmazidis}, editor = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, title = {Taking stock of available technologies for compliance checking on first-order knowledge}, booktitle = {Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3204}, pages = {1--16}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3204/paper\_1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:45 +0100}, biburl = {https://dblp.org/rec/conf/cilc/RobaldoBCCFGMPS22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriORC22, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Matteo Cristani}, editor = {Enrico Francesconi and Georg Borges and Christoph Sorge}, title = {Stable Normative Explanations}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2022: The Thirty-fifth Annual Conference, Saarbr{\"{u}}cken, Germany, 14-16 December 2022}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {362}, pages = {43--52}, publisher = {{IOS} Press}, year = {2022}, url = {https://doi.org/10.3233/FAIA220447}, doi = {10.3233/FAIA220447}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriORC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/GovernatoriORC22, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Matteo Cristani}, editor = {Georg Gottlob and Daniela Inclezan and Marco Maratea}, title = {Inference to the Stable Explanations}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13416}, pages = {245--258}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-15707-3\_19}, doi = {10.1007/978-3-031-15707-3\_19}, timestamp = {Wed, 07 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpnmr/GovernatoriORC22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/BhuiyanGBR22, author = {Hanif Bhuiyan and Guido Governatori and Andy Bond and Andry Rakotonirainy}, editor = {D{\"{o}}rthe Arndt and Ahmet Soylu and Jan Vanthienen and Evgeny Kharlamov and Alexander Steen}, title = {Validation of Autonomous Vehicle Overtaking under Queensland Road Rules}, booktitle = {Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School {(RW} 2022) and 14th DecisionCAMP 2022 as part of Declarative {AI} 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26 - 28 September, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3229}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3229/paper65.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/BhuiyanGBR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/CristaniGOR22, author = {Matteo Cristani and Guido Governatori and Francesco Olivieri and Antonino Rotolo}, editor = {Guido Governatori and Anni{-}Yasmin Turhan}, title = {From Defeasible Logic to Counterfactual Reasoning}, booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13752}, pages = {65--80}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-21541-4\_5}, doi = {10.1007/978-3-031-21541-4\_5}, timestamp = {Sun, 25 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/CristaniGOR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2022, editor = {Guido Governatori and Anni{-}Yasmin Turhan}, title = {Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13752}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-21541-4}, doi = {10.1007/978-3-031-21541-4}, isbn = {978-3-031-21540-7}, timestamp = {Tue, 20 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/2022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-04553, author = {Guido Governatori and Silvano Colombo Tosatto and Antonino Rotolo}, title = {Avoiding Pragmatic Oddity: {A} Bottom-up Defeasible Deontic Logic}, journal = {CoRR}, volume = {abs/2209.04553}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.04553}, doi = {10.48550/ARXIV.2209.04553}, eprinttype = {arXiv}, eprint = {2209.04553}, timestamp = {Tue, 27 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-04553.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2209-12655, author = {Francesco Olivieri and Guido Governatori and Matteo Cristani and Antonino Rotolo and Abdul Sattar}, title = {Deontic Meta-Rules}, journal = {CoRR}, volume = {abs/2209.12655}, year = {2022}, url = {https://doi.org/10.48550/arXiv.2209.12655}, doi = {10.48550/ARXIV.2209.12655}, eprinttype = {arXiv}, eprint = {2209.12655}, timestamp = {Thu, 06 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2209-12655.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/ArdilaGG21, author = {Julieth Patricia Castellanos Ardila and Barbara Gallina and Guido Governatori}, title = {Compliance-aware engineering process plans: the case of space software engineering processes}, journal = {Artif. Intell. Law}, volume = {29}, number = {4}, pages = {587--627}, year = {2021}, url = {https://doi.org/10.1007/s10506-021-09285-5}, doi = {10.1007/S10506-021-09285-5}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/ArdilaGG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/AntoniouBBGILRS21, author = {Grigoris Antoniou and George Baryannis and Sotiris Batsakis and Guido Governatori and Mohammad Badiul Islam and Qing Liu and Livio Robaldo and Giovanni Siragusa and Ilias Tachmazidis}, title = {Large-scale Legal Reasoning with Rules and Databases}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {911--940}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/AntoniouBBGILRS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TamargoMRG21, author = {Luciano H. Tamargo and Diego C. Mart{\'{\i}}nez and Antonino Rotolo and Guido Governatori}, title = {Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {993--1022}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/TamargoMRG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TosattoG21, author = {Silvano Colombo Tosatto and Guido Governatori}, title = {Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice}, journal = {{FLAP}}, volume = {8}, number = {4}, pages = {1023--1064}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00046}, timestamp = {Tue, 04 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/TosattoG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GovernatoriMO21, author = {Guido Governatori and Michael J. Maher and Francesco Olivieri}, title = {Strategic Argumentation}, journal = {{FLAP}}, volume = {8}, number = {6}, pages = {1679--1748}, year = {2021}, url = {https://collegepublications.co.uk/ifcolog/?00048}, timestamp = {Fri, 27 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/flap/GovernatoriMO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kbs/LiuIG21, author = {Qing Liu and Mohammad Badiul Islam and Guido Governatori}, title = {Towards an efficient rule-based framework for legal reasoning}, journal = {Knowl. Based Syst.}, volume = {224}, pages = {107082}, year = {2021}, url = {https://doi.org/10.1016/j.knosys.2021.107082}, doi = {10.1016/J.KNOSYS.2021.107082}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kbs/LiuIG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/GhooshchiBGO21, author = {Nina Ghanbari Ghooshchi and Nick van Beest and Guido Governatori and Francesco Olivieri}, title = {Synthesis of Regulation Compliant Business Processes}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {14}, number = {4}, pages = {1179--1193}, year = {2021}, url = {https://doi.org/10.1109/TSC.2018.2866791}, doi = {10.1109/TSC.2018.2866791}, timestamp = {Thu, 23 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/GhooshchiBGO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/NeufeldBCG21, author = {Emery A. Neufeld and Ezio Bartocci and Agata Ciabattoni and Guido Governatori}, editor = {Andr{\'{e}} Platzer and Geoff Sutcliffe}, title = {A Normative Supervisor for Reinforcement Learning Agents}, booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12699}, pages = {565--576}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-79876-5\_32}, doi = {10.1007/978-3-030-79876-5\_32}, timestamp = {Tue, 15 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/NeufeldBCG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriTR21, author = {Guido Governatori and Silvano Colombo Tosatto and Antonino Rotolo}, editor = {Fenrong Liu and Alessandra Marra and Paul Portner and Frederik Van De Putte}, title = {A Defeasible Deontic Logic for Pragmatic Oddity}, booktitle = {Deontic Logic and Normative Systems - 15th International Conference, {DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021}, pages = {239--254}, publisher = {College Publications}, year = {2021}, timestamp = {Mon, 28 Aug 2023 10:20:20 +0200}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriTR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriR21, author = {Guido Governatori and Antonino Rotolo}, editor = {Fenrong Liu and Alessandra Marra and Paul Portner and Frederik Van De Putte}, title = {Is Free Choice Permission Admissible in Classical Deontic Logic?}, booktitle = {Deontic Logic and Normative Systems - 15th International Conference, {DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021}, pages = {255--271}, publisher = {College Publications}, year = {2021}, timestamp = {Wed, 02 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/AmanteaRSBG21, author = {Ilaria Angela Amantea and Livio Robaldo and Emilio Sulis and Guido Boella and Guido Governatori}, title = {Semi-automated checking for regulatory compliance in e-Health}, booktitle = {25th International Enterprise Distributed Object Computing Workshop, {EDOC} Workshop 2021, Gold Coast, Australia, October 25-29, 2021}, pages = {318--325}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/EDOCW52865.2021.00063}, doi = {10.1109/EDOCW52865.2021.00063}, timestamp = {Fri, 03 Dec 2021 09:13:31 +0100}, biburl = {https://dblp.org/rec/conf/edoc/AmanteaRSBG21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriO21, author = {Guido Governatori and Francesco Olivieri}, editor = {Juliano Maranh{\~{a}}o and Adam Zachary Wyner}, title = {Unravel legal references in defeasible deontic logic}, booktitle = {{ICAIL} '21: Eighteenth International Conference for Artificial Intelligence and Law, S{\~{a}}o Paulo Brazil, June 21 - 25, 2021}, pages = {69--78}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3462757.3466080}, doi = {10.1145/3462757.3466080}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/WittHGB21, author = {Alice Witt and Anna Huggins and Guido Governatori and Joshua Buckley}, editor = {Juliano Maranh{\~{a}}o and Adam Zachary Wyner}, title = {Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment}, booktitle = {{ICAIL} '21: Eighteenth International Conference for Artificial Intelligence and Law, S{\~{a}}o Paulo Brazil, June 21 - 25, 2021}, pages = {139--148}, publisher = {{ACM}}, year = {2021}, url = {https://doi.org/10.1145/3462757.3466083}, doi = {10.1145/3462757.3466083}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icail/WittHGB21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/OlivieriGC021, author = {Francesco Olivieri and Guido Governatori and Matteo Cristani and Abdul Sattar}, editor = {Wolfgang Faber and Gerhard Friedrich and Martin Gebser and Michael Morak}, title = {Computing Defeasible Meta-logic}, booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA} 2021, Virtual Event, May 17-20, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12678}, pages = {69--84}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-75775-5\_6}, doi = {10.1007/978-3-030-75775-5\_6}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jelia/OlivieriGC021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriOR0C21, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Abdul Sattar and Matteo Cristani}, editor = {Erich Schweighofer}, title = {Computing Private International Law}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2021: The Thirty-fourth Annual Conference, Vilnius, Lithuania, 8-10 December 2021}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {346}, pages = {181--190}, publisher = {{IOS} Press}, year = {2021}, url = {https://doi.org/10.3233/FAIA210334}, doi = {10.3233/FAIA210334}, timestamp = {Fri, 26 May 2023 09:14:50 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriOR0C21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pricai/2021-1, editor = {Duc Nghia Pham and Thanaruk Theeramunkong and Guido Governatori and Fenrong Liu}, title = {{PRICAI} 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, {PRICAI} 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {13031}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89188-6}, doi = {10.1007/978-3-030-89188-6}, isbn = {978-3-030-89187-9}, timestamp = {Tue, 26 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pricai/2021-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pricai/2021-2, editor = {Duc Nghia Pham and Thanaruk Theeramunkong and Guido Governatori and Fenrong Liu}, title = {{PRICAI} 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, {PRICAI} 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {13032}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89363-7}, doi = {10.1007/978-3-030-89363-7}, isbn = {978-3-030-89362-0}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/2021-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/pricai/2021-3, editor = {Duc Nghia Pham and Thanaruk Theeramunkong and Guido Governatori and Fenrong Liu}, title = {{PRICAI} 2021: Trends in Artificial Intelligence - 18th Pacific Rim International Conference on Artificial Intelligence, {PRICAI} 2021, Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part {III}}, series = {Lecture Notes in Computer Science}, volume = {13033}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-89370-5}, doi = {10.1007/978-3-030-89370-5}, isbn = {978-3-030-89369-9}, timestamp = {Fri, 05 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/2021-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-05431, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest}, title = {Proving Regulatory Compliance: {A} Computational Complexity Analysis of Elementary Variants}, journal = {CoRR}, volume = {abs/2105.05431}, year = {2021}, url = {https://arxiv.org/abs/2105.05431}, eprinttype = {arXiv}, eprint = {2105.05431}, timestamp = {Tue, 18 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-05431.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2105-08867, author = {Liming Zhu and Xiwei Xu and Qinghua Lu and Guido Governatori and Jon Whittle}, title = {{AI} and Ethics - Operationalising Responsible {AI}}, journal = {CoRR}, volume = {abs/2105.08867}, year = {2021}, url = {https://arxiv.org/abs/2105.08867}, eprinttype = {arXiv}, eprint = {2105.08867}, timestamp = {Sat, 27 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2105-08867.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-07710, author = {Ilaria Angela Amantea and Livio Robaldo and Emilio Sulis and Guido Boella and Guido Governatori}, title = {Semi-automated checking for regulatory compliance in e-Health}, journal = {CoRR}, volume = {abs/2110.07710}, year = {2021}, url = {https://arxiv.org/abs/2110.07710}, eprinttype = {arXiv}, eprint = {2110.07710}, timestamp = {Fri, 22 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-07710.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aicol/TosattoGR20, author = {Silvano Colombo Tosatto and Guido Governatori and Antonino Rotolo}, editor = {V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel and Monica Palmirani and Michal Araszkiewicz and Pompeu Casanovas and Ugo Pagallo and Giovanni Sartor}, title = {Principles and Semantics: Modelling Violations for Normative Reasoning}, booktitle = {{AI} Approaches to the Complexity of Legal Systems {XI-XII} - {AICOL} International Workshops 2018 and 2020: AICOL-XI@JURIX 2018, AICOL-XII@JURIX 2020, XAILA@JURIX 2020, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13048}, pages = {75--89}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-89811-3\_6}, doi = {10.1007/978-3-030-89811-3\_6}, timestamp = {Wed, 15 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aicol/TosattoGR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/TosattoGB20, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest}, title = {Verifying Compliance of Process Compositions Through Certification of its Components}, booktitle = {24th {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2020, Eindhoven, The Netherlands, October 5-8, 2020}, pages = {87--96}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/EDOC49727.2020.00020}, doi = {10.1109/EDOC49727.2020.00020}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/TosattoGB20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/BhuiyanGBDIR20, author = {Hanif Bhuiyan and Guido Governatori and Andy Bond and S{\'{e}}bastien Demmel and Mohammad Badiul Islam and Andry Rakotonirainy}, editor = {Serena Villata and Jakub Harasta and Petr Kremen}, title = {Traffic Rules Encoding Using Defeasible Deontic Logic}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9-11, 2020}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {334}, pages = {3--12}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200844}, doi = {10.3233/FAIA200844}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/BhuiyanGBDIR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriR20, author = {Guido Governatori and Antonino Rotolo}, editor = {Serena Villata and Jakub Harasta and Petr Kremen}, title = {Free Choice Permission in Defeasible Deontic Logic}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2020: The Thirty-third Annual Conference, Brno, Czech Republic, December 9-11, 2020}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {334}, pages = {93--102}, publisher = {{IOS} Press}, year = {2020}, url = {https://doi.org/10.3233/FAIA200853}, doi = {10.3233/FAIA200853}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriRK20, author = {Guido Governatori and Pompeu Casanovas Romeu and Louis de Koker}, editor = {V{\'{\i}}ctor Guti{\'{e}}rrez{-}Basulto and Tom{\'{a}}s Kliegr and Ahmet Soylu and Martin Giese and Dumitru Roman}, title = {On the Formal Representation of the Australian Spent Conviction Scheme}, booktitle = {Rules and Reasoning - 4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 - July 1, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12173}, pages = {177--185}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-57977-7\_14}, doi = {10.1007/978-3-030-57977-7\_14}, timestamp = {Thu, 20 Aug 2020 14:53:35 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriRK20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jurix/2019mirel, editor = {Giovanni Casini and Luigi Di Caro and Guido Governatori and Valentina Leone and R{\'{e}}ka Markovich}, title = {Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems {(JURIX} 2019), Madrid, Spain, December 11, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2632}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2632}, urn = {urn:nbn:de:0074-2632-0}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/2019mirel.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/semweb/2020asld, editor = {Manolis Koubarakis and Harith Alani and Grigoris Antoniou and Kalina Bontcheva and John G. Breslin and Diego Collarana and Elena Demidova and Stefan Dietze and Simon Gottschalk and Guido Governatori and Aidan Hogan and Freddy L{\'{e}}cu{\'{e}} and Elena Montiel{-}Ponsoda and Axel{-}Cyrille Ngonga Ngomo and Sofia Pinto and Muhammad Saleem and Rapha{\"{e}}l Troncy and Eleni Tsalapati and Ricardo Usbeck and Ruben Verborgh}, title = {Joint Proceedings of Workshops AI4LEGAL2020, NLIWOD, {PROFILES} 2020, QuWeDa 2020 and {SEMIFORM2020} Colocated with the 19th International Semantic Web Conference {(ISWC} 2020), Virtual Conference, November, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2722}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2722}, urn = {urn:nbn:de:0074-2722-0}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/2020asld.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2001-10148, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest}, title = {Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time}, journal = {CoRR}, volume = {abs/2001.10148}, year = {2020}, url = {https://arxiv.org/abs/2001.10148}, eprinttype = {arXiv}, eprint = {2001.10148}, timestamp = {Thu, 30 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2001-10148.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/RiveretGGRPS19, author = {R{\'{e}}gis Riveret and Yang Gao and Guido Governatori and Antonino Rotolo and Jeremy Pitt and Giovanni Sartor}, title = {A probabilistic argumentation framework for reinforcement learning agents - Towards a mentalistic approach to agent profiles}, journal = {Auton. Agents Multi Agent Syst.}, volume = {33}, number = {1-2}, pages = {216--274}, year = {2019}, url = {https://doi.org/10.1007/s10458-019-09404-2}, doi = {10.1007/S10458-019-09404-2}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/RiveretGGRPS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/TamargoMRG19, author = {Luciano H. Tamargo and Diego C. Mart{\'{\i}}nez and Antonino Rotolo and Guido Governatori}, title = {An axiomatic characterization of temporalised belief revision in the law}, journal = {Artif. Intell. Law}, volume = {27}, number = {4}, pages = {347--367}, year = {2019}, url = {https://doi.org/10.1007/s10506-019-09241-4}, doi = {10.1007/S10506-019-09241-4}, timestamp = {Sat, 09 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/TamargoMRG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ais/AhmedVG19, author = {Javed Ahmed and Serena Villata and Guido Governatori}, title = {Information and friend segregation for online social networks: a user study}, journal = {{AI} Soc.}, volume = {34}, number = {4}, pages = {753--766}, year = {2019}, url = {https://doi.org/10.1007/s00146-017-0789-1}, doi = {10.1007/S00146-017-0789-1}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ais/AhmedVG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/GovernatoriR19, author = {Guido Governatori and Antonino Rotolo}, title = {Time and Compensation Mechanisms in Checking Legal Compliance}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {815--846}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/GovernatoriR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/flap/TosattoGBO19, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest and Francesco Olivieri}, title = {Efficient Full Compliance Checking of Concurrent Components for business Process Models}, journal = {{FLAP}}, volume = {6}, number = {5}, pages = {963--998}, year = {2019}, url = {https://collegepublications.co.uk/ifcolog/?00034}, timestamp = {Fri, 29 Jan 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/flap/TosattoGBO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijar/GovernatoriOCS19, author = {Guido Governatori and Francesco Olivieri and Matteo Cristani and Simone Scannapieco}, title = {Revision of defeasible preferences}, journal = {Int. J. Approx. Reason.}, volume = {104}, pages = {205--230}, year = {2019}, url = {https://doi.org/10.1016/j.ijar.2018.10.020}, doi = {10.1016/J.IJAR.2018.10.020}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijar/GovernatoriOCS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/TosattoGB19, author = {Silvano Colombo Tosatto and Guido Governatori and Nick van Beest}, editor = {Thomas T. Hildebrandt and Boudewijn F. van Dongen and Maximilian R{\"{o}}glinger and Jan Mendling}, title = {Checking Regulatory Compliance: Will We Live to See It?}, booktitle = {Business Process Management - 17th International Conference, {BPM} 2019, Vienna, Austria, September 1-6, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11675}, pages = {119--138}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-26619-6\_10}, doi = {10.1007/978-3-030-26619-6\_10}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/bpm/TosattoGB19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriRRV19, author = {Guido Governatori and Antonino Rotolo and R{\'{e}}gis Riveret and Serena Villata}, title = {Modelling Dialogues for Optimal Legislation}, booktitle = {Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, {ICAIL} 2019, Montreal, QC, Canada, June 17-21, 2019}, pages = {229--233}, publisher = {{ACM}}, year = {2019}, url = {https://doi.org/10.1145/3322640.3326731}, doi = {10.1145/3322640.3326731}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriRRV19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/OlivieriGC19, author = {Francesco Olivieri and Guido Governatori and Matteo Cristani}, editor = {Francesco Calimeri and Nicola Leone and Marco Manna}, title = {Advancements in Resource-Driven Substructural Defeasible Logic}, booktitle = {Logics in Artificial Intelligence - 16th European Conference, {JELIA} 2019, Rende, Italy, May 7-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11468}, pages = {247--258}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-19570-0\_16}, doi = {10.1007/978-3-030-19570-0\_16}, timestamp = {Fri, 27 Mar 2020 08:53:33 +0100}, biburl = {https://dblp.org/rec/conf/jelia/OlivieriGC19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/FerraroLTOIBG19, author = {Gabriela Ferraro and Ho{-}Pun Lam and Silvano Colombo Tosatto and Francesco Olivieri and Mohammad Badiul Islam and Nick van Beest and Guido Governatori}, editor = {Maki Sakamoto and Naoaki Okazaki and Koji Mineshima and Ken Satoh}, title = {Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools}, booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, Yokohama, Japan, November 10-12, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12331}, pages = {64--81}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-58790-1\_5}, doi = {10.1007/978-3-030-58790-1\_5}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jsai/FerraroLTOIBG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/BhuiyanOGIBR19, author = {Hanif Bhuiyan and Francesco Olivieri and Guido Governatori and Mohammad Badiul Islam and Andy Bond and Andry Rakotonirainy}, editor = {Giovanni Casini and Luigi Di Caro and Guido Governatori and Valentina Leone and R{\'{e}}ka Markovich}, title = {A Methodology for Encoding Regulatory Rules}, booktitle = {Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems {(JURIX} 2019), Madrid, Spain, December 11, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2632}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2632/MIREL-19\_paper\_3.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/jurix/BhuiyanOGIBR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriR19, author = {Guido Governatori and Antonino Rotolo}, editor = {Michal Araszkiewicz and V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel}, title = {Legislative Dialogues with Incomplete Information}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {322}, pages = {93--102}, publisher = {{IOS} Press}, year = {2019}, url = {https://doi.org/10.3233/FAIA190310}, doi = {10.3233/FAIA190310}, timestamp = {Wed, 10 Feb 2021 22:02:18 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/FrancesconiG19, author = {Enrico Francesconi and Guido Governatori}, editor = {Michal Araszkiewicz and V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel}, title = {Legal Compliance in a Linked Open Data Framework}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {322}, pages = {175--180}, publisher = {{IOS} Press}, year = {2019}, url = {https://doi.org/10.3233/FAIA190321}, doi = {10.3233/FAIA190321}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/FrancesconiG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/Governatori19, author = {Guido Governatori}, editor = {Giovanni Casini and Luigi Di Caro and Guido Governatori and Valentina Leone and R{\'{e}}ka Markovich}, title = {A Short Note on the Chisholm Paradox}, booktitle = {Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems {(JURIX} 2019), Madrid, Spain, December 11, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2632}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2632/MIREL-19\_paper\_4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/Governatori19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriM19, author = {Guido Governatori and Robert Mullins}, editor = {Michal Araszkiewicz and V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel}, title = {Deontic Closure and Conflict in Legal Reasoning}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {322}, pages = {181--186}, publisher = {{IOS} Press}, year = {2019}, url = {https://doi.org/10.3233/FAIA190322}, doi = {10.3233/FAIA190322}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriR19a, author = {Guido Governatori and Antonino Rotolo}, editor = {Michal Araszkiewicz and V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel}, title = {A Computational Model for Pragmatic Oddity}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2019: The Thirty-second Annual Conference, Madrid, Spain, December 11-13, 2019}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {322}, pages = {187--192}, publisher = {{IOS} Press}, year = {2019}, url = {https://doi.org/10.3233/FAIA190323}, doi = {10.3233/FAIA190323}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriR19a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/CristaniOG19, author = {Matteo Cristani and Francesco Olivieri and Guido Governatori}, editor = {Matteo Baldoni and Mehdi Dastani and Beishui Liao and Yuko Sakurai and Rym Zalila{-}Wenkstern}, title = {Non-monotonic Collective Decisions}, booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11873}, pages = {387--404}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-33792-6\_24}, doi = {10.1007/978-3-030-33792-6\_24}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/CristaniOG19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1908-05737, author = {Francesco Olivieri and Guido Governatori and Claudio Tomazzoli and Matteo Cristani}, editor = {Thomas Seiller and Steffen Jost}, title = {Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes}, booktitle = {Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational {\&} Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019}, series = {{EPTCS}}, volume = {298}, pages = {1--14}, year = {2019}, url = {https://doi.org/10.4204/EPTCS.298.1}, doi = {10.4204/EPTCS.298.1}, timestamp = {Sun, 25 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1908-05737.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2019s, editor = {Ahmet Soylu and Sotiris Moschoyiannis and Guido Governatori and Mantas Simkus and Petros S. Stefaneas and Alexander Steen and Adrian Giurca}, title = {Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence {(GCAI} 2019) 15th Reasoning Web Summer School {(RW} 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2438}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2438}, urn = {urn:nbn:de:0074-2438-5}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2019s.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1905-07696, author = {Guido Governatori and Antonino Rotolo}, title = {Is Free Choice Permission Admissible in Classical Deontic Logic?}, journal = {CoRR}, volume = {abs/1905.07696}, year = {2019}, url = {http://arxiv.org/abs/1905.07696}, eprinttype = {arXiv}, eprint = {1905.07696}, timestamp = {Tue, 28 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1905-07696.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/DymitrukMLGDGV18, author = {Maria Dymitruk and R{\'{e}}ka Markovich and Ruta Liepina and Mirna El Ghosh and Robert van Doesburg and Guido Governatori and Bart Verheij}, title = {Research in progress: report on the {ICAIL} 2017 doctoral consortium}, journal = {Artif. Intell. Law}, volume = {26}, number = {1}, pages = {49--97}, year = {2018}, url = {https://doi.org/10.1007/s10506-018-9220-6}, doi = {10.1007/S10506-018-9220-6}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/DymitrukMLGDGV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/HashmiG18, author = {Mustafa Hashmi and Guido Governatori}, title = {Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation}, journal = {Artif. Intell. Law}, volume = {26}, number = {3}, pages = {251--305}, year = {2018}, url = {https://doi.org/10.1007/s10506-017-9215-8}, doi = {10.1007/S10506-017-9215-8}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/HashmiG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/IslamG18, author = {Mohammad Badiul Islam and Guido Governatori}, title = {RuleRS: a rule-based architecture for decision support systems}, journal = {Artif. Intell. Law}, volume = {26}, number = {4}, pages = {315--344}, year = {2018}, url = {https://doi.org/10.1007/s10506-018-9218-0}, doi = {10.1007/S10506-018-9218-0}, timestamp = {Sat, 01 Dec 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/IslamG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/GovernatoriIMRS18, author = {Guido Governatori and Florian Idelberger and Zoran Milosevic and R{\'{e}}gis Riveret and Giovanni Sartor and Xiwei Xu}, title = {On legal contracts, imperative and declarative smart contracts, and blockchain systems}, journal = {Artif. Intell. Law}, volume = {26}, number = {4}, pages = {377--409}, year = {2018}, url = {https://doi.org/10.1007/s10506-018-9223-3}, doi = {10.1007/S10506-018-9223-3}, timestamp = {Sun, 22 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/GovernatoriIMRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/amai/RiveretBGGRS18, author = {R{\'{e}}gis Riveret and Pietro Baroni and Yang Gao and Guido Governatori and Antonino Rotolo and Giovanni Sartor}, title = {A labelling framework for probabilistic argumentation}, journal = {Ann. Math. Artif. Intell.}, volume = {83}, number = {1}, pages = {21--71}, year = {2018}, url = {https://doi.org/10.1007/s10472-018-9574-1}, doi = {10.1007/S10472-018-9574-1}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/amai/RiveretBGGRS18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/CalardoGR18, author = {Erica Calardo and Guido Governatori and Antonino Rotolo}, title = {Sequence Semantics for Modelling Reason-based Preferences}, journal = {Fundam. Informaticae}, volume = {158}, number = {1-3}, pages = {217--238}, year = {2018}, url = {https://doi.org/10.3233/FI-2018-1647}, doi = {10.3233/FI-2018-1647}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/CalardoGR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kais/HashmiGLW18, author = {Mustafa Hashmi and Guido Governatori and Ho{-}Pun Lam and Moe Thandar Wynn}, title = {Are we done with business process compliance: state of the art and challenges ahead}, journal = {Knowl. Inf. Syst.}, volume = {57}, number = {1}, pages = {79--133}, year = {2018}, url = {https://doi.org/10.1007/s10115-017-1142-1}, doi = {10.1007/S10115-017-1142-1}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/kais/HashmiGLW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tmis/MendlingWABCDDC18, author = {Jan Mendling and Ingo Weber and Wil M. P. van der Aalst and Jan vom Brocke and Cristina Cabanillas and Florian Daniel and S{\o}ren Debois and Claudio Di Ciccio and Marlon Dumas and Schahram Dustdar and Avigdor Gal and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and Guido Governatori and Richard Hull and Marcello La Rosa and Henrik Leopold and Frank Leymann and Jan Recker and Manfred Reichert and Hajo A. Reijers and Stefanie Rinderle{-}Ma and Andreas Solti and Michael Rosemann and Stefan Schulte and Munindar P. Singh and Tijs Slaats and Mark Staples and Barbara Weber and Matthias Weidlich and Mathias Weske and Xiwei Xu and Liming Zhu}, title = {Blockchains for Business Process Management - Challenges and Opportunities}, journal = {{ACM} Trans. Manag. Inf. Syst.}, volume = {9}, number = {1}, pages = {4:1--4:16}, year = {2018}, url = {https://doi.org/10.1145/3183367}, doi = {10.1145/3183367}, timestamp = {Sat, 27 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tmis/MendlingWABCDDC18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriORRV18, author = {Guido Governatori and Francesco Olivieri and R{\'{e}}gis Riveret and Antonino Rotolo and Serena Villata}, editor = {Jan M. Broersen and Cleo Condoravdi and Nair Shyam and Gabriella Pigozzi}, title = {Dialogues on Moral Theories}, booktitle = {Deontic Logic and Normative Systems - 14th International Conference, {DEON} 2018, Utrecht, The Netherlands, July 3-6, 2018}, pages = {139--155}, publisher = {College Publications}, year = {2018}, timestamp = {Tue, 30 Oct 2018 16:34:44 +0100}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriORRV18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/ArdilaGG18, author = {Julieth Patricia Castellanos Ardila and Barbara Gallina and Guido Governatori}, editor = {V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel and Pompeu Casanovas and Jorge Gonz{\'{a}}lez{-}Conejero and Elena Montiel{-}Ponsoda}, title = {Lessons Learned while Formalizing {ISO} 26262 for Compliance Checking}, booktitle = {Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems {(JURIX} 2018), Groningen, The Netherlands, December 12, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2309}, pages = {5--16}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2309/01.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/jurix/ArdilaGG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/BatsakisBGTA18, author = {Sotiris Batsakis and George Baryannis and Guido Governatori and Ilias Tachmazidis and Grigoris Antoniou}, editor = {Monica Palmirani}, title = {Legal Representation and Reasoning in Practice: {A} Critical Comparison}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2018: The Thirty-first Annual Conference, Groningen, The Netherlands, 12-14 December 2018}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {313}, pages = {31--40}, publisher = {{IOS} Press}, year = {2018}, url = {https://doi.org/10.3233/978-1-61499-935-5-31}, doi = {10.3233/978-1-61499-935-5-31}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/BatsakisBGTA18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/PalmiraniG18, author = {Monica Palmirani and Guido Governatori}, editor = {Monica Palmirani}, title = {Modelling Legal Knowledge for {GDPR} Compliance Checking}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2018: The Thirty-first Annual Conference, Groningen, The Netherlands, 12-14 December 2018}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {313}, pages = {101--110}, publisher = {{IOS} Press}, year = {2018}, url = {https://doi.org/10.3233/978-1-61499-935-5-101}, doi = {10.3233/978-1-61499-935-5-101}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/PalmiraniG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kesamsta/CristaniOTG18, author = {Matteo Cristani and Francesco Olivieri and Claudio Tomazzoli and Guido Governatori}, editor = {Gordan Jezic and Yun{-}Heh Jessica Chen{-}Burger and Robert J. Howlett and Lakhmi C. Jain and Ljubo B. Vlacic and Roman Sperka}, title = {Sending Messages in Social Networks}, booktitle = {Agents and Multi-Agent Systems: Technologies and Applications 2018, Proceedings of the 12th International Conference on Agents and Multi-Agent Systems, {KES-AMSTA} 2018, Gold Coast, QLD, Australia, 20-22 June, 2018}, series = {Smart Innovation, Systems and Technologies}, volume = {96}, pages = {123--133}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92031-3\_12}, doi = {10.1007/978-3-319-92031-3\_12}, timestamp = {Thu, 17 Sep 2020 17:55:39 +0200}, biburl = {https://dblp.org/rec/conf/kesamsta/CristaniOTG18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/GovernatoriRR18, author = {Guido Governatori and Antonino Rotolo and R{\'{e}}gis Riveret}, editor = {Tim Miller and Nir Oren and Yuko Sakurai and Itsuki Noda and Bastin Tony Roy Savarimuthu and Tran Cao Son}, title = {A Deontic Argumentation Framework Based on Deontic Defeasible Logic}, booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11224}, pages = {484--492}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03098-8\_33}, doi = {10.1007/978-3-030-03098-8\_33}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prima/GovernatoriRR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/OlivieriGCBT18, author = {Francesco Olivieri and Guido Governatori and Matteo Cristani and Nick van Beest and Silvano Colombo Tosatto}, editor = {Tim Miller and Nir Oren and Yuko Sakurai and Itsuki Noda and Bastin Tony Roy Savarimuthu and Tran Cao Son}, title = {Resource-Driven Substructural Defeasible Logic}, booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11224}, pages = {594--602}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03098-8\_46}, doi = {10.1007/978-3-030-03098-8\_46}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/OlivieriGCBT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/Governatori18, author = {Guido Governatori}, editor = {Christoph Benzm{\"{u}}ller and Francesco Ricca and Xavier Parent and Dumitru Roman}, title = {Modal Rules: Extending Defeasible Logic with Modal Operators}, booktitle = {Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11092}, pages = {9--30}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-99906-7\_2}, doi = {10.1007/978-3-319-99906-7\_2}, timestamp = {Tue, 31 Mar 2020 16:35:50 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/Governatori18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/Governatori18, author = {Guido Governatori}, editor = {Claudia d'Amato and Martin Theobald}, title = {Practical Normative Reasoning with Defeasible Deontic Logic}, booktitle = {Reasoning Web. Learning, Uncertainty, Streaming, and Scalability - 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22-26, 2018, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {11078}, pages = {1--25}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-00338-8\_1}, doi = {10.1007/978-3-030-00338-8\_1}, timestamp = {Thu, 14 Oct 2021 10:41:11 +0200}, biburl = {https://dblp.org/rec/conf/rweb/Governatori18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1809-03656, author = {Francesco Olivieri and Guido Governatori and Matteo Cristani and Nick van Beest and Silvano Colombo Tosatto}, title = {Resource-driven Substructural Defeasible Logic}, journal = {CoRR}, volume = {abs/1809.03656}, year = {2018}, url = {http://arxiv.org/abs/1809.03656}, eprinttype = {arXiv}, eprint = {1809.03656}, timestamp = {Fri, 05 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1809-03656.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aim/FoderGAB17, author = {Paul Fodor and Guido Governatori and Jos{\'{e}} J{\'{u}}lio Alferes and Leopoldo E. Bertossi}, title = {RuleML (Web Rule Symposium) 2016 Report}, journal = {{AI} Mag.}, volume = {38}, number = {1}, pages = {109--110}, year = {2017}, url = {https://doi.org/10.1609/aimag.v38i1.2720}, doi = {10.1609/AIMAG.V38I1.2720}, timestamp = {Fri, 11 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/aim/FoderGAB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/GovernatoriM17, author = {Guido Governatori and Michael J. Maher}, title = {Annotated defeasible logic}, journal = {Theory Pract. Log. Program.}, volume = {17}, number = {5-6}, pages = {819--836}, year = {2017}, url = {https://doi.org/10.1017/S1471068417000266}, doi = {10.1017/S1471068417000266}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/GovernatoriM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aicol/DragoniVRG17, author = {Mauro Dragoni and Serena Villata and Williams Rizzi and Guido Governatori}, editor = {Ugo Pagallo and Monica Palmirani and Pompeu Casanovas and Giovanni Sartor and Serena Villata}, title = {Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents}, booktitle = {{AI} Approaches to the Complexity of Legal Systems - {AICOL} International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10791}, pages = {287--300}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-00178-0\_19}, doi = {10.1007/978-3-030-00178-0\_19}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aicol/DragoniVRG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/assri/OlivieriGBG17, author = {Francesco Olivieri and Guido Governatori and Nick van Beest and Nina Ghanbari Ghooshchi}, editor = {Amin Beheshti and Mustafa Hashmi and Hai Dong and Wei Emma Zhang}, title = {Declarative Approaches for Compliance by Design}, booktitle = {Service Research and Innovation - 5th and 6th Australasian Symposium, {ASSRI} 2015 and {ASSRI} 2017, Sydney, NSW, Australia, November 2-3, 2015, and October 19-20, 2017, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {234}, pages = {80--97}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-76587-7\_6}, doi = {10.1007/978-3-319-76587-7\_6}, timestamp = {Tue, 13 Feb 2024 10:55:49 +0100}, biburl = {https://dblp.org/rec/conf/assri/OlivieriGBG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/GhooshchiBGOS17, author = {Nina Ghanbari Ghooshchi and Nick van Beest and Guido Governatori and Francesco Olivieri and Abdul Sattar}, editor = {Sylvain Hall{\'{e}} and Roger Villemaire and Robert Lagerstr{\"{o}}m}, title = {Visualisation of Compliant Declarative Business Processes}, booktitle = {21st {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2017, Quebec City, QC, Canada, October 10-13, 2017}, pages = {89--94}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/EDOC.2017.21}, doi = {10.1109/EDOC.2017.21}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/GhooshchiBGOS17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GandonGV17, author = {Fabien Gandon and Guido Governatori and Serena Villata}, editor = {Adam Z. Wyner and Giovanni Casini}, title = {Normative Requirements as Linked Data}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2017: The Thirtieth Annual Conference, Luxembourg, 13-15 December 2017}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {302}, pages = {1--10}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-838-9-1}, doi = {10.3233/978-1-61499-838-9-1}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GandonGV17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/Governatori17, author = {Guido Governatori}, editor = {V{\'{\i}}ctor Rodr{\'{\i}}guez{-}Doncel and Pompeu Casanovas and Jorge Gonz{\'{a}}lez{-}Conejero}, title = {A Short Introduction to the Regorous Compliance by Design Methodology}, booktitle = {Proceedings of the 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems {(JURIX} 2017), Luxembourg, December 13, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {2049}, pages = {7--13}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-2049/01paper.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:14 +0100}, biburl = {https://dblp.org/rec/conf/jurix/Governatori17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/TamargoMRG17, author = {Luciano H. Tamargo and Diego C. Mart{\'{\i}}nez and Antonino Rotolo and Guido Governatori}, editor = {Adam Z. Wyner and Giovanni Casini}, title = {Temporalised Belief Revision in the Law}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2017: The Thirtieth Annual Conference, Luxembourg, 13-15 December 2017}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {302}, pages = {49--58}, publisher = {{IOS} Press}, year = {2017}, url = {https://doi.org/10.3233/978-1-61499-838-9-49}, doi = {10.3233/978-1-61499-838-9-49}, timestamp = {Wed, 10 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/TamargoMRG17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icail/2017, editor = {Jeroen Keppens and Guido Governatori}, title = {Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, {ICAIL} 2017, London, United Kingdom, June 12-16, 2017}, publisher = {{ACM}}, year = {2017}, url = {https://doi.org/10.1145/3086512}, doi = {10.1145/3086512}, isbn = {978-1-4503-4891-1}, timestamp = {Tue, 04 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/2017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/MendlingWABCDDC17, author = {Jan Mendling and Ingo Weber and Wil M. P. van der Aalst and Jan vom Brocke and Cristina Cabanillas and Florian Daniel and S{\o}ren Debois and Claudio Di Ciccio and Marlon Dumas and Schahram Dustdar and Avigdor Gal and Luciano Garc{\'{\i}}a{-}Ba{\~{n}}uelos and Guido Governatori and Richard Hull and Marcello La Rosa and Henrik Leopold and Frank Leymann and Jan Recker and Manfred Reichert and Hajo A. Reijers and Stefanie Rinderle{-}Ma and Andreas Rogge{-}Solti and Michael Rosemann and Stefan Schulte and Munindar P. Singh and Tijs Slaats and Mark Staples and Barbara Weber and Matthias Weidlich and Mathias Weske and Xiwei Xu and Liming Zhu}, title = {Blockchains for Business Process Management - Challenges and Opportunities}, journal = {CoRR}, volume = {abs/1704.03610}, year = {2017}, url = {http://arxiv.org/abs/1704.03610}, eprinttype = {arXiv}, eprint = {1704.03610}, timestamp = {Sat, 27 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/MendlingWABCDDC17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GovernatoriM17, author = {Guido Governatori and Michael J. Maher}, title = {Annotated Defeasible Logic}, journal = {CoRR}, volume = {abs/1707.04734}, year = {2017}, url = {http://arxiv.org/abs/1707.04734}, eprinttype = {arXiv}, eprint = {1707.04734}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GovernatoriM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1708-00109, author = {R{\'{e}}gis Riveret and Pietro Baroni and Yang Gao and Guido Governatori and Antonino Rotolo and Giovanni Sartor}, title = {A Labelling Framework for Probabilistic Argumentation}, journal = {CoRR}, volume = {abs/1708.00109}, year = {2017}, url = {http://arxiv.org/abs/1708.00109}, eprinttype = {arXiv}, eprint = {1708.00109}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1708-00109.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/KravariBG16, author = {Kalliopi Kravari and Nick Bassiliades and Guido Governatori}, title = {A policy-based {B2C} e-Contract management workflow methodology using semantic web agents}, journal = {Artif. Intell. Law}, volume = {24}, number = {2}, pages = {93--131}, year = {2016}, url = {https://doi.org/10.1007/s10506-016-9177-2}, doi = {10.1007/S10506-016-9177-2}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/KravariBG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/HashmiGW16, author = {Mustafa Hashmi and Guido Governatori and Moe Thandar Wynn}, title = {Normative requirements for regulatory compliance: An abstract formal framework}, journal = {Inf. Syst. Frontiers}, volume = {18}, number = {3}, pages = {429--455}, year = {2016}, url = {https://doi.org/10.1007/s10796-015-9558-1}, doi = {10.1007/S10796-015-9558-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isf/HashmiGW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/GovernatoriOSRC16, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Antonino Rotolo and Matteo Cristani}, title = {The rationale behind the concept of goal}, journal = {Theory Pract. Log. Program.}, volume = {16}, number = {3}, pages = {296--324}, year = {2016}, url = {https://doi.org/10.1017/S1471068416000053}, doi = {10.1017/S1471068416000053}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tplp/GovernatoriOSRC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/RiveretG16, author = {R{\'{e}}gis Riveret and Guido Governatori}, editor = {Catholijn M. Jonker and Stacy Marsella and John Thangarajah and Karl Tuyls}, title = {On Learning Attacks in Probabilistic Abstract Argumentation}, booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents {\&} Multiagent Systems, Singapore, May 9-13, 2016}, pages = {653--661}, publisher = {{ACM}}, year = {2016}, url = {http://dl.acm.org/citation.cfm?id=2937021}, timestamp = {Fri, 20 May 2016 20:33:29 +0200}, biburl = {https://dblp.org/rec/conf/atal/RiveretG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/WeberXRGPM16, author = {Ingo Weber and Xiwei Xu and R{\'{e}}gis Riveret and Guido Governatori and Alexander Ponomarev and Jan Mendling}, editor = {Marcello La Rosa and Peter Loos and Oscar Pastor}, title = {Untrusted Business Process Monitoring and Execution Using Blockchain}, booktitle = {Business Process Management - 14th International Conference, {BPM} 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9850}, pages = {329--347}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-45348-4\_19}, doi = {10.1007/978-3-319-45348-4\_19}, timestamp = {Sat, 27 May 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/WeberXRGPM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/comma/LamGR16, author = {Ho{-}Pun Lam and Guido Governatori and R{\'{e}}gis Riveret}, editor = {Pietro Baroni and Thomas F. Gordon and Tatjana Scheffler and Manfred Stede}, title = {On ASPIC\({}^{\mbox{+}}\) and Defeasible Logic}, booktitle = {Computational Models of Argument - Proceedings of {COMMA} 2016, Potsdam, Germany, 12-16 September, 2016}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {287}, pages = {359--370}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-686-6-359}, doi = {10.3233/978-1-61499-686-6-359}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/comma/LamGR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriOCR16, author = {Guido Governatori and Francesco Olivieri and Erica Calardo and Antonino Rotolo}, editor = {Olivier Roy and Allard M. Tamminga and Malte Willer}, title = {Sequence Semantics for Norms and Obligations}, booktitle = {Deontic Logic and Normative Systems - 13th International Conference, {DEON} 2016, Bayreuth, Germany, July 18-21, 2018}, pages = {93--108}, publisher = {College Publications}, year = {2016}, timestamp = {Mon, 04 Mar 2019 12:56:41 +0100}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriOCR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/BaroniGR16, author = {Pietro Baroni and Guido Governatori and R{\'{e}}gis Riveret}, editor = {Gal A. Kaminka and Maria Fox and Paolo Bouquet and Eyke H{\"{u}}llermeier and Virginia Dignum and Frank Dignum and Frank van Harmelen}, title = {On Labelling Statements in Multi-Labelling Argumentation}, booktitle = {{ECAI} 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence {(PAIS} 2016)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {285}, pages = {489--497}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-672-9-489}, doi = {10.3233/978-1-61499-672-9-489}, timestamp = {Tue, 02 Nov 2021 15:59:05 +0100}, biburl = {https://dblp.org/rec/conf/ecai/BaroniGR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ekaw/GovernatoriHLVP16, author = {Guido Governatori and Mustafa Hashmi and Ho{-}Pun Lam and Serena Villata and Monica Palmirani}, editor = {Eva Blomqvist and Paolo Ciancarini and Francesco Poggi and Fabio Vitali}, title = {Semantic Business Process Regulatory Compliance Checking Using LegalRuleML}, booktitle = {Knowledge Engineering and Knowledge Management - 20th International Conference, {EKAW} 2016, Bologna, Italy, November 19-23, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10024}, pages = {746--761}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-49004-5\_48}, doi = {10.1007/978-3-319-49004-5\_48}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ekaw/GovernatoriHLVP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/MalerbaRG16, author = {Alessandra Malerba and Antonino Rotolo and Guido Governatori}, editor = {Floris Bex and Serena Villata}, title = {Interpretation Across Legal Systems}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2016: The Twenty-Ninth Annual Conference}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {294}, pages = {83--92}, publisher = {{IOS} Press}, year = {2016}, url = {https://doi.org/10.3233/978-1-61499-726-9-83}, doi = {10.3233/978-1-61499-726-9-83}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/MalerbaRG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BaroniGLR16, author = {Pietro Baroni and Guido Governatori and Ho{-}Pun Lam and R{\'{e}}gis Riveret}, editor = {Chitta Baral and James P. Delgrande and Frank Wolter}, title = {On the Justification of Statements in Argumentation-based Reasoning}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016}, pages = {521--524}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12863}, timestamp = {Tue, 09 Feb 2021 08:33:50 +0100}, biburl = {https://dblp.org/rec/conf/kr/BaroniGLR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/GovernatoriOCRC16, author = {Guido Governatori and Francesco Olivieri and Erica Calardo and Antonino Rotolo and Matteo Cristani}, editor = {Matteo Baldoni and Amit K. Chopra and Tran Cao Son and Katsutoshi Hirayama and Paolo Torroni}, title = {Sequence Semantics for Normative Agents}, booktitle = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9862}, pages = {230--246}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-44832-9\_14}, doi = {10.1007/978-3-319-44832-9\_14}, timestamp = {Fri, 27 Mar 2020 08:49:36 +0100}, biburl = {https://dblp.org/rec/conf/prima/GovernatoriOCRC16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/IdelbergerGRS16, author = {Florian Idelberger and Guido Governatori and R{\'{e}}gis Riveret and Giovanni Sartor}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Leopoldo E. Bertossi and Guido Governatori and Paul Fodor and Dumitru Roman}, title = {Evaluation of Logic-Based Smart Contracts for Blockchain Systems}, booktitle = {Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9718}, pages = {167--183}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42019-6\_11}, doi = {10.1007/978-3-319-42019-6\_11}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/IdelbergerGRS16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2016, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Leopoldo E. Bertossi and Guido Governatori and Paul Fodor and Dumitru Roman}, title = {Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9718}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42019-6}, doi = {10.1007/978-3-319-42019-6}, isbn = {978-3-319-42018-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/TosattoK0KGT15, author = {Silvano Colombo Tosatto and Pierre Kelsen and Qin Ma and Marwane El Kharbili and Guido Governatori and Leendert W. N. van der Torre}, title = {Algorithms for tractable compliance problems}, journal = {Frontiers Comput. Sci.}, volume = {9}, number = {1}, pages = {55--74}, year = {2015}, url = {https://doi.org/10.1007/s11704-014-3239-y}, doi = {10.1007/S11704-014-3239-Y}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fcsc/TosattoK0KGT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scpe/DamPGIX15, author = {Hoa Khanh Dam and Jeremy V. Pitt and Guido Governatori and Takayuki Ito and Yang Xu}, title = {Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems}, journal = {Scalable Comput. Pract. Exp.}, volume = {16}, number = {4}, pages = {iii}, year = {2015}, url = {https://doi.org/10.12694/scpe.v16i4.1126}, doi = {10.12694/SCPE.V16I4.1126}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scpe/DamPGIX15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tsc/TosattoGK15, author = {Silvano Colombo Tosatto and Guido Governatori and Pierre Kelsen}, title = {Business Process Regulatory Compliance is Hard}, journal = {{IEEE} Trans. Serv. Comput.}, volume = {8}, number = {6}, pages = {958--970}, year = {2015}, url = {https://doi.org/10.1109/TSC.2014.2341236}, doi = {10.1109/TSC.2014.2341236}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tsc/TosattoGK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/GovernatoriGK15, author = {Guido Governatori and Georg Grossmann and Jens Kolb}, editor = {Jens Kolb and Barbara Weber and Sylvain Hall{\'{e}} and Wolfgang Mayer and Aditya K. Ghose and Georg Grossmann}, title = {Message from the {EVL-BP} 2015 Workshop Co-Chairs}, booktitle = {19th {IEEE} International Enterprise Distributed Object Computing Workshop, {EDOC} Workshops 2015, Adelaide, Australia, September 21-25, 2015}, pages = {1--3}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/EDOCW.2015.14}, doi = {10.1109/EDOCW.2015.14}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/GovernatoriGK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/GovernatoriH15, author = {Guido Governatori and Mustafa Hashmi}, editor = {Sylvain Hall{\'{e}} and Wolfgang Mayer and Aditya K. Ghose and Georg Grossmann}, title = {No Time for Compliance}, booktitle = {19th {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2015, Adelaide, Australia, September 21-25, 2015}, pages = {9--18}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/EDOC.2015.12}, doi = {10.1109/EDOC.2015.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/GovernatoriH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/Governatori15, author = {Guido Governatori}, editor = {Jens Kolb and Barbara Weber and Sylvain Hall{\'{e}} and Wolfgang Mayer and Aditya K. Ghose and Georg Grossmann}, title = {The Regorous Approach to Process Compliance}, booktitle = {19th {IEEE} International Enterprise Distributed Object Computing Workshop, {EDOC} Workshops 2015, Adelaide, Australia, September 21-25, 2015}, pages = {33--40}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/EDOCW.2015.28}, doi = {10.1109/EDOCW.2015.28}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/Governatori15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/Governatori15, author = {Guido Governatori}, editor = {Ted Sichelman and Katie Atkinson}, title = {Thou shalt is not you will}, booktitle = {Proceedings of the 15th International Conference on Artificial Intelligence and Law, {ICAIL} 2015, San Diego, CA, USA, June 8-12, 2015}, pages = {63--68}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2746090.2746105}, doi = {10.1145/2746090.2746105}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/Governatori15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/RotoloGS15, author = {Antonino Rotolo and Guido Governatori and Giovanni Sartor}, editor = {Ted Sichelman and Katie Atkinson}, title = {Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments}, booktitle = {Proceedings of the 15th International Conference on Artificial Intelligence and Law, {ICAIL} 2015, San Diego, CA, USA, June 8-12, 2015}, pages = {99--108}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2746090.2746100}, doi = {10.1145/2746090.2746100}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icail/RotoloGS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/IslamG15, author = {Mohammad Badiul Islam and Guido Governatori}, editor = {Ted Sichelman and Katie Atkinson}, title = {RuleOMS: a rule-based online management system}, booktitle = {Proceedings of the 15th International Conference on Artificial Intelligence and Law, {ICAIL} 2015, San Diego, CA, USA, June 8-12, 2015}, pages = {187--191}, publisher = {{ACM}}, year = {2015}, url = {https://doi.org/10.1145/2746090.2746120}, doi = {10.1145/2746090.2746120}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/IslamG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/Governatori15, author = {Guido Governatori}, title = {Burden of Compliance and Burden of Violation}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2015: The Twenty-Eighth Annual Conference, Braga, Portugal, December 10-11, 2015}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {279}, pages = {31--40}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-609-5-31}, doi = {10.3233/978-1-61499-609-5-31}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/Governatori15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriH15, author = {Guido Governatori and Mustafa Hashmi}, title = {Permissions in Deontic Event-Calculus}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2015: The Twenty-Eighth Annual Conference, Braga, Portugal, December 10-11, 2015}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {279}, pages = {181--182}, publisher = {{IOS} Press}, year = {2015}, url = {https://doi.org/10.3233/978-1-61499-609-5-181}, doi = {10.3233/978-1-61499-609-5-181}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriH15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/CalardoGR15, author = {Erica Calardo and Guido Governatori and Antonino Rotolo}, editor = {Qingliang Chen and Paolo Torroni and Serena Villata and Jane Yung{-}jen Hsu and Andrea Omicini}, title = {Semantics for Modelling Reason-Based Preferences}, booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9387}, pages = {101--117}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25524-8\_7}, doi = {10.1007/978-3-319-25524-8\_7}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/prima/CalardoGR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/OlivieriCG15, author = {Francesco Olivieri and Matteo Cristani and Guido Governatori}, editor = {Qingliang Chen and Paolo Torroni and Serena Villata and Jane Yung{-}jen Hsu and Andrea Omicini}, title = {Compliant Business Processes with Exclusive Choices from Agent Specification}, booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9387}, pages = {603--612}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25524-8\_43}, doi = {10.1007/978-3-319-25524-8\_43}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prima/OlivieriCG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rweb/AthanGPPW15, author = {Tara Athan and Guido Governatori and Monica Palmirani and Adrian Paschke and Adam Z. Wyner}, editor = {Wolfgang Faber and Adrian Paschke}, title = {LegalRuleML: Design Principles and Foundations}, booktitle = {Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures}, series = {Lecture Notes in Computer Science}, volume = {9203}, pages = {151--188}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-21768-0\_6}, doi = {10.1007/978-3-319-21768-0\_6}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rweb/AthanGPPW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/daglib/p/GovernatoriR15, author = {Guido Governatori and Antonino Rotolo}, editor = {Michal Araszkiewicz and Krzysztof Pleszka}, title = {Logics for Legal Dynamics}, booktitle = {Logic in the Theory and Practice of Lawmaking}, series = {Legisprudence Library}, volume = {2}, pages = {323--356}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19575-9\_12}, doi = {10.1007/978-3-319-19575-9\_12}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/daglib/p/GovernatoriR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ihis/SadiqG15, author = {Shazia Wasim Sadiq and Guido Governatori}, editor = {Jan vom Brocke and Michael Rosemann}, title = {Managing Regulatory Compliance in Business Processes}, booktitle = {Handbook on Business Process Management 2, Strategic Alignment, Governance, People and Culture, 2nd Ed}, series = {International Handbooks on Information Systems}, pages = {265--288}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-642-45103-4\_11}, doi = {10.1007/978-3-642-45103-4\_11}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/ihis/SadiqG15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GovernatoriOSRC15, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Antonino Rotolo and Matteo Cristani}, title = {The Rationale behind the Concept of Goal}, journal = {CoRR}, volume = {abs/1512.04021}, year = {2015}, url = {http://arxiv.org/abs/1512.04021}, eprinttype = {arXiv}, eprint = {1512.04021}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GovernatoriOSRC15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/FisherTDG14, author = {Michael Fisher and Leendert W. N. van der Torre and Mehdi Dastani and Guido Governatori}, title = {Preface to the Special Issue on Computational Logic in Multi-Agent Systems {(CLIMA} {XIII)}}, journal = {J. Log. Comput.}, volume = {24}, number = {6}, pages = {1251--1252}, year = {2014}, url = {https://doi.org/10.1093/logcom/ext075}, doi = {10.1093/LOGCOM/EXT075}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/FisherTDG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/CalardoGR14, author = {Erica Calardo and Guido Governatori and Antonino Rotolo}, editor = {Fabrizio Cariani and Davide Grossi and Joke Meheus and Xavier Parent}, title = {A Preference-Based Semantics for {CTD} Reasoning}, booktitle = {Deontic Logic and Normative Systems - 12th International Conference, {DEON} 2014, Ghent, Belgium, July 12-15, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8554}, pages = {49--64}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08615-6\_5}, doi = {10.1007/978-3-319-08615-6\_5}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/deon/CalardoGR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/TosattoGK14, author = {Silvano Colombo Tosatto and Guido Governatori and Pierre Kelsen}, editor = {Fabrizio Cariani and Davide Grossi and Joke Meheus and Xavier Parent}, title = {Detecting Deontic Conflicts in Dynamic Settings}, booktitle = {Deontic Logic and Normative Systems - 12th International Conference, {DEON} 2014, Ghent, Belgium, July 12-15, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8554}, pages = {65--80}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08615-6\_6}, doi = {10.1007/978-3-319-08615-6\_6}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/deon/TosattoGK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/GovernatoriOSRC14, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Antonino Rotolo and Matteo Cristani}, editor = {Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan}, title = {Strategic Argumentation is NP-Complete}, booktitle = {{ECAI} 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems {(PAIS} 2014)}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {263}, pages = {399--404}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-419-0-399}, doi = {10.3233/978-1-61499-419-0-399}, timestamp = {Mon, 19 Jun 2023 16:36:09 +0200}, biburl = {https://dblp.org/rec/conf/ecai/GovernatoriOSRC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecsi/AhmedGTV14, author = {Javed Ahmed and Guido Governatori and Leendert W. N. van der Torre and Serena Villata}, editor = {Andreas Herzig and Emiliano Lorini}, title = {Social Interaction Based Audience Segregation for Online Social Networks}, booktitle = {Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, November 3-5, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1283}, pages = {186--197}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1283/paper\_25.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:55 +0100}, biburl = {https://dblp.org/rec/conf/ecsi/AhmedGTV14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eumas/GovernatoriMORS14, author = {Guido Governatori and Michael J. Maher and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco}, editor = {Nils Bulling}, title = {Strategic Argumentation Under Grounded Semantics is NP-Complete}, booktitle = {Multi-Agent Systems - 12th European Conference, {EUMAS} 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8953}, pages = {379--387}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17130-2\_26}, doi = {10.1007/978-3-319-17130-2\_26}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/eumas/GovernatoriMORS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/AthanGPPW14, author = {Tara Athan and Guido Governatori and Monica Palmirani and Adrian Paschke and Adam Z. Wyner}, editor = {Serena Villata and Silvio Peroni and Monica Palmirani}, title = {Legal Interpretations in LegalRuleML}, booktitle = {Proceedings of the Semantic Web for the Law and Second Doctoral Consortium Workshops Co-located with 27th International Conference on Legal Knowledge and Information Systems, Krakow, Poland, December 10th-12th, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1296}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1296/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:15 +0100}, biburl = {https://dblp.org/rec/conf/jurix/AthanGPPW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriORSS14, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco and Giovanni Sartor}, editor = {Rinke Hoekstra}, title = {Two Faces of Strategic Argumentation in the Law}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2014: The Twenty-Seventh Annual Conference, Jagiellonian University, Krakow, Poland, 10-12 December 2014}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {271}, pages = {81--90}, publisher = {{IOS} Press}, year = {2014}, url = {https://doi.org/10.3233/978-1-61499-468-8-81}, doi = {10.3233/978-1-61499-468-8-81}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriORSS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/AllaireG14, author = {Marc Allaire and Guido Governatori}, editor = {Hoa Khanh Dam and Jeremy V. Pitt and Yang Xu and Guido Governatori and Takayuki Ito}, title = {On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic}, booktitle = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8861}, pages = {74--90}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13191-7\_7}, doi = {10.1007/978-3-319-13191-7\_7}, timestamp = {Thu, 09 Sep 2021 16:09:54 +0200}, biburl = {https://dblp.org/rec/conf/prima/AllaireG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriOSC14, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Matteo Cristani}, editor = {Antonis Bikakis and Paul Fodor and Dumitru Roman}, title = {The Hardness of Revising Defeasible Preferences}, booktitle = {Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, {ECAI} 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8620}, pages = {168--177}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09870-8\_12}, doi = {10.1007/978-3-319-09870-8\_12}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriOSC14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/HashmiGW14, author = {Mustafa Hashmi and Guido Governatori and Moe Thandar Wynn}, editor = {Antonis Bikakis and Paul Fodor and Dumitru Roman}, title = {Modeling Obligations with Event-Calculus}, booktitle = {Rules on the Web. From Theory to Applications - 8th International Symposium, RuleML 2014, Co-located with the 21st European Conference on Artificial Intelligence, {ECAI} 2014, Prague, Czech Republic, August 18-20, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8620}, pages = {296--310}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-09870-8\_22}, doi = {10.1007/978-3-319-09870-8\_22}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/HashmiGW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/GovernatoriLRVAG14, author = {Guido Governatori and Ho{-}Pun Lam and Antonino Rotolo and Serena Villata and Ghislain Auguste Atemezing and Fabien Gandon}, editor = {Matthew Horridge and Marco Rospocher and Jacco van Ossenbruggen}, title = {{LIVE:} a Tool for Checking Licenses Compatibility between Vocabularies and Data}, booktitle = {Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track a track within the 13th International Semantic Web Conference, {ISWC} 2014, Riva del Garda, Italy, October 21, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1272}, pages = {77--80}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1272/paper\_62.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:04 +0100}, biburl = {https://dblp.org/rec/conf/semweb/GovernatoriLRVAG14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/CardellinoVGGLR14, author = {Cristian Cardellino and Serena Villata and Fabien Gandon and Guido Governatori and Ho{-}Pun Lam and Antonino Rotolo}, editor = {Matthew Horridge and Marco Rospocher and Jacco van Ossenbruggen}, title = {Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data}, booktitle = {Proceedings of the {ISWC} 2014 Posters {\&} Demonstrations Track a track within the 13th International Semantic Web Conference, {ISWC} 2014, Riva del Garda, Italy, October 21, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1272}, pages = {277--280}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1272/paper\_54.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/CardellinoVGGLR14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/GovernatoriLRVAG14a, author = {Guido Governatori and Ho{-}Pun Lam and Antonino Rotolo and Serena Villata and Ghislain Auguste Atemezing and Fabien Gandon}, editor = {Olaf Hartig and Aidan Hogan and Juan F. Sequeda}, title = {Checking Licenses Compatibility between Vocabularies and Data}, booktitle = {Proceedings of the 5th International Workshop on Consuming Linked Data {(COLD} 2014) co-located with the 13th International Semantic Web Conference {(ISWC} 2014), Riva del Garda, Italy, October 20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1264}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1264/cold2014\_GovernatoriLRVAG.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:04 +0100}, biburl = {https://dblp.org/rec/conf/semweb/GovernatoriLRVAG14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/prima/2014, editor = {Hoa Khanh Dam and Jeremy V. Pitt and Yang Xu and Guido Governatori and Takayuki Ito}, title = {{PRIMA} 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8861}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13191-7}, doi = {10.1007/978-3-319-13191-7}, isbn = {978-3-319-13190-0}, timestamp = {Thu, 09 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/2014.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Governatori14, author = {Guido Governatori}, title = {{ICT} Support for Regulatory Compliance of Business Processes}, journal = {CoRR}, volume = {abs/1403.6865}, year = {2014}, url = {http://arxiv.org/abs/1403.6865}, eprinttype = {arXiv}, eprint = {1403.6865}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Governatori14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/Governatori14a, author = {Guido Governatori}, title = {Thou Shalt is not You Will}, journal = {CoRR}, volume = {abs/1404.1685}, year = {2014}, url = {http://arxiv.org/abs/1404.1685}, eprinttype = {arXiv}, eprint = {1404.1685}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/Governatori14a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/it/Governatori13, author = {Guido Governatori}, title = {Business Process Compliance: An Abstract Normative Framework}, journal = {it Inf. Technol.}, volume = {55}, number = {6}, pages = {231--238}, year = {2013}, url = {https://doi.org/10.1524/itit.2013.2003}, doi = {10.1524/ITIT.2013.2003}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/it/Governatori13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/GovernatoriORS13, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco}, title = {Computing Strong and Weak Permissions in Defeasible Logic}, journal = {J. Philos. Log.}, volume = {42}, number = {6}, pages = {799--829}, year = {2013}, url = {https://doi.org/10.1007/s10992-013-9295-1}, doi = {10.1007/S10992-013-9295-1}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/GovernatoriORS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/LamG13, author = {Ho{-}Pun Lam and Guido Governatori}, title = {Towards a model of UAVs navigation in urban canyon through defeasible logic}, journal = {J. Log. Comput.}, volume = {23}, number = {2}, pages = {373--395}, year = {2013}, url = {https://doi.org/10.1093/logcom/exr028}, doi = {10.1093/LOGCOM/EXR028}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/LamG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apbpm/HashmiG13, author = {Mustafa Hashmi and Guido Governatori}, editor = {Minseok Song and Moe Thandar Wynn and Jianxun Liu}, title = {A Methodological Evaluation of Business Process Compliance Management Frameworks}, booktitle = {Asia Pacific Business Process Management - First Asia Pacific Conference, {AP-BPM} 2013, Beijing, China, August 29-30, 2013. Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {159}, pages = {106--115}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-02922-1\_8}, doi = {10.1007/978-3-319-02922-1\_8}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apbpm/HashmiG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/assri/HashmiGW13, author = {Mustafa Hashmi and Guido Governatori and Moe Thandar Wynn}, editor = {Joseph G. Davis and Haluk Demirkan and Hamid Reza Motahari{-}Nezhad}, title = {Normative Requirements for Business Process Compliance}, booktitle = {Service Research and Innovation - Third Australian Symposium, {ASSRI} 2013, Sydney, NSW, Australia, November 27-29, 2013, Revised Selected Papers}, series = {Lecture Notes in Business Information Processing}, volume = {177}, pages = {100--116}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-07950-9\_8}, doi = {10.1007/978-3-319-07950-9\_8}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/assri/HashmiGW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/TosattoGK13, author = {Silvano Colombo Tosatto and Guido Governatori and Pierre Kelsen}, editor = {Ebrahim Bagheri and Dragan Gasevic and Sylvain Hall{\'{e}} and Marek Hatala and Hamid R. Motahari Nezhad and Manfred Reichert}, title = {Towards an Abstract Framework for Compliance}, booktitle = {17th {IEEE} International Enterprise Distributed Object Computing Conference Workshops, {EDOC} Workshops, Vancouver, BC, Canada, September 9-13, 2013}, pages = {79--88}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/EDOCW.2013.16}, doi = {10.1109/EDOCW.2013.16}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/TosattoGK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/AthanBGPPW13, author = {Tara Athan and Harold Boley and Guido Governatori and Monica Palmirani and Adrian Paschke and Adam Z. Wyner}, editor = {Enrico Francesconi and Bart Verheij}, title = {{OASIS} LegalRuleML}, booktitle = {International Conference on Artificial Intelligence and Law, {ICAIL} '13, Rome, Italy, June 10-14, 2013}, pages = {3--12}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2514601.2514603}, doi = {10.1145/2514601.2514603}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/AthanBGPPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriROS13, author = {Guido Governatori and Antonino Rotolo and Francesco Olivieri and Simone Scannapieco}, editor = {Enrico Francesconi and Bart Verheij}, title = {Legal contractions: a logical analysis}, booktitle = {International Conference on Artificial Intelligence and Law, {ICAIL} '13, Rome, Italy, June 10-14, 2013}, pages = {63--72}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2514601.2514609}, doi = {10.1145/2514601.2514609}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriROS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriS13, author = {Guido Governatori and Sidney Shek}, editor = {Enrico Francesconi and Bart Verheij}, title = {Regorous: a business process compliance checker}, booktitle = {International Conference on Artificial Intelligence and Law, {ICAIL} '13, Rome, Italy, June 10-14, 2013}, pages = {245--246}, publisher = {{ACM}}, year = {2013}, url = {https://doi.org/10.1145/2514601.2514638}, doi = {10.1145/2514601.2514638}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriS13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icst/TosattoKGK0T13, author = {Silvano Colombo Tosatto and Marwane El Kharbili and Guido Governatori and Pierre Kelsen and Qin Ma and Leendert W. N. van der Torre}, title = {Algorithms for Basic Compliance Problems}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, pages = {2--7}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/ICSTW.2013.6}, doi = {10.1109/ICSTW.2013.6}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icst/TosattoKGK0T13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriLRVG13, author = {Guido Governatori and Ho{-}Pun Lam and Antonino Rotolo and Serena Villata and Fabien Gandon}, editor = {Kevin D. Ashley}, title = {Heuristics for Licenses Composition}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2013: The Twenty-Sixth Annual Conference, December 11-13, 2013, University of Bologna, Italy}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {259}, pages = {77--86}, publisher = {{IOS} Press}, year = {2013}, url = {https://doi.org/10.3233/978-1-61499-359-9-77}, doi = {10.3233/978-1-61499-359-9-77}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriLRVG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/OlivieriGSC13, author = {Francesco Olivieri and Guido Governatori and Simone Scannapieco and Matteo Cristani}, editor = {Guido Boella and Edith Elkind and Bastin Tony Roy Savarimuthu and Frank Dignum and Martin K. Purvis}, title = {Compliant Business Process Design by Declarative Specifications}, booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8291}, pages = {213--228}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-44927-7\_15}, doi = {10.1007/978-3-642-44927-7\_15}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/OlivieriGSC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/ScannapiecoGOC13, author = {Simone Scannapieco and Guido Governatori and Francesco Olivieri and Matteo Cristani}, editor = {Guido Boella and Edith Elkind and Bastin Tony Roy Savarimuthu and Frank Dignum and Martin K. Purvis}, title = {A Methodology for Plan Revision under Norm and Outcome Compliance}, booktitle = {{PRIMA} 2013: Principles and Practice of Multi-Agent Systems - 16th International Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8291}, pages = {324--339}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-44927-7\_22}, doi = {10.1007/978-3-642-44927-7\_22}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/ScannapiecoGOC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/AthanBGPPW13, author = {Tara Athan and Harold Boley and Guido Governatori and Monica Palmirani and Adrian Paschke and Adam Z. Wyner}, editor = {Leora Morgenstern and Petros S. Stefaneas and Fran{\c{c}}ois L{\'{e}}vy and Adam Z. Wyner and Adrian Paschke}, title = {LegalRuleML: From Metamodel to Use Cases - {(A} Tutorial)}, booktitle = {Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8035}, pages = {13--18}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39617-5\_4}, doi = {10.1007/978-3-642-39617-5\_4}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/AthanBGPPW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriORSC13, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco and Matteo Cristani}, editor = {Leora Morgenstern and Petros S. Stefaneas and Fran{\c{c}}ois L{\'{e}}vy and Adam Z. Wyner and Adrian Paschke}, title = {Picking Up the Best Goal - An Analytical Study in Defeasible Logic}, booktitle = {Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8035}, pages = {99--113}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39617-5\_12}, doi = {10.1007/978-3-642-39617-5\_12}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriORSC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriR13, author = {Guido Governatori and Antonino Rotolo}, editor = {Leora Morgenstern and Petros S. Stefaneas and Fran{\c{c}}ois L{\'{e}}vy and Adam Z. Wyner and Adrian Paschke}, title = {Computing Temporal Defeasible Logic}, booktitle = {Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8035}, pages = {114--128}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-39617-5\_13}, doi = {10.1007/978-3-642-39617-5\_13}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/WynerG13, author = {Adam Z. Wyner and Guido Governatori}, editor = {Paul Fodor and Dumitru Roman and Darko Anicic and Adam Z. Wyner and Monica Palmirani and Davide Sottara and Fran{\c{c}}ois L{\'{e}}vy}, title = {A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics}, booktitle = {Joint Proceedings of the 7th International Rule Challenge, the Special Track on Human Language Technology and the 3rd RuleML Doctoral Consortium, Seattle, USA, July 11 -13, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1004}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1004/paper16.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/WynerG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/GovernatoriRVG13, author = {Guido Governatori and Antonino Rotolo and Serena Villata and Fabien Gandon}, editor = {Harith Alani and Lalana Kagal and Achille Fokoue and Paul Groth and Chris Biemann and Josiane Xavier Parreira and Lora Aroyo and Natasha F. Noy and Chris Welty and Krzysztof Janowicz}, title = {One License to Compose Them All - {A} Deontic Logic Approach to Data Licensing on the Web of Data}, booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {8218}, pages = {151--166}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41335-3\_10}, doi = {10.1007/978-3-642-41335-3\_10}, timestamp = {Mon, 26 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/semweb/GovernatoriRVG13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/dagstuhl/SinghABCCCDEFFGGDHKLMNSTVV13, author = {Munindar P. Singh and Matthew Arrott and Tina Balke and Amit K. Chopra and Rob Christiaanse and Stephen Cranefield and Frank Dignum and Davide Eynard and Emilia Farcas and Nicoletta Fornara and Fabien Gandon and Guido Governatori and Hoa Khanh Dam and Joris Hulstijn and Ingolf Kr{\"{u}}ger and Ho{-}Pun Lam and Michael Meisinger and Pablo Noriega and Bastin Tony Roy Savarimuthu and Kartik Tadanki and Harko Verhagen and Serena Villata}, editor = {Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leendert W. N. van der Torre}, title = {The Uses of Norms}, booktitle = {Normative Multi-Agent Systems}, series = {Dagstuhl Follow-Ups}, volume = {4}, pages = {191--229}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {https://doi.org/10.4230/DFU.Vol4.12111.191}, doi = {10.4230/DFU.VOL4.12111.191}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/SinghABCCCDEFFGGDHKLMNSTVV13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:conf/dagstuhl/2013dfu4, editor = {Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leendert W. N. van der Torre}, title = {Normative Multi-Agent Systems}, series = {Dagstuhl Follow-Ups}, volume = {4}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2013}, url = {http://drops.dagstuhl.de/opus/portals/dfu/index.php?semnr=13003}, isbn = {978-3-939897-51-4}, timestamp = {Tue, 11 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/2013dfu4.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/GovernatoriOSRC13, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Antonino Rotolo and Matteo Cristani}, title = {Strategic Argumentation is NP-Complete}, journal = {CoRR}, volume = {abs/1312.4287}, year = {2013}, url = {http://arxiv.org/abs/1312.4287}, eprinttype = {arXiv}, eprint = {1312.4287}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/GovernatoriOSRC13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/Bench-CaponAAABBBBCFGGLLLMPSSTTVWW12, author = {Trevor J. M. Bench{-}Capon and Michal Araszkiewicz and Kevin D. Ashley and Katie Atkinson and Floris Bex and Filipe Borges and Dani{\`{e}}le Bourcier and Paul Bourgine and Jack G. Conrad and Enrico Francesconi and Thomas F. Gordon and Guido Governatori and Jochen L. Leidner and David D. Lewis and Ronald Prescott Loui and L. Thorne McCarty and Henry Prakken and Frank Schilder and Erich Schweighofer and Paul Thompson and Alex Tyrrell and Bart Verheij and Douglas N. Walton and Adam Z. Wyner}, title = {A history of {AI} and Law in 50 papers: 25 years of the international conference on {AI} and Law}, journal = {Artif. Intell. Law}, volume = {20}, number = {3}, pages = {215--319}, year = {2012}, url = {https://doi.org/10.1007/s10506-012-9131-x}, doi = {10.1007/S10506-012-9131-X}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ail/Bench-CaponAAABBBBCFGGLLLMPSSTTVWW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/artmed/StanticTGBS12, author = {Bela Stantic and Paolo Terenziani and Guido Governatori and Alessio Bottrighi and Abdul Sattar}, title = {An implicit approach to deal with periodically repeated medical data}, journal = {Artif. Intell. Medicine}, volume = {55}, number = {3}, pages = {149--162}, year = {2012}, url = {https://doi.org/10.1016/j.artmed.2012.03.002}, doi = {10.1016/J.ARTMED.2012.03.002}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/artmed/StanticTGBS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isf/HoffmannWG12, author = {J{\"{o}}rg Hoffmann and Ingo Weber and Guido Governatori}, title = {On compliance checking for clausal constraints in annotated process models}, journal = {Inf. Syst. Frontiers}, volume = {14}, number = {2}, pages = {155--177}, year = {2012}, url = {https://doi.org/10.1007/s10796-009-9179-7}, doi = {10.1007/S10796-009-9179-7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isf/HoffmannWG12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aamas/ThakurGS12, author = {Subhasis Thakur and Guido Governatori and Abdul Sattar}, editor = {Wiebe van der Hoek and Lin Padgham and Vincent Conitzer and Michael Winikoff}, title = {On modeling punishment in multi-agent systems}, booktitle = {International Conference on Autonomous Agents and Multiagent Systems, {AAMAS} 2012, Valencia, Spain, June 4-8, 2012 {(3} Volumes)}, pages = {1375--1376}, publisher = {{IFAAMAS}}, year = {2012}, url = {http://dl.acm.org/citation.cfm?id=2344013}, timestamp = {Mon, 06 Nov 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aamas/ThakurGS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clima/LamGSH12, author = {Ho{-}Pun Lam and Guido Governatori and Ken Satoh and Hiroshi Hosobe}, editor = {Michael Fisher and Leon van der Torre and Mehdi Dastani and Guido Governatori}, title = {Distributed Defeasible Speculative Reasoning in Ambient Environment}, booktitle = {Computational Logic in Multi-Agent Systems - 13th International Workshop, {CLIMA} XIII, Montpellier, France, August 27-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7486}, pages = {43--60}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32897-8\_5}, doi = {10.1007/978-3-642-32897-8\_5}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/clima/LamGSH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriRC12, author = {Guido Governatori and Antonino Rotolo and Erica Calardo}, editor = {Thomas {\AA}gotnes and Jan M. Broersen and Dag Elgesem}, title = {Possible World Semantics for Defeasible Deontic Logic}, booktitle = {Deontic Logic in Computer Science - 11th International Conference, {DEON} 2012, Bergen, Norway, July 16-18, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7393}, pages = {46--60}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31570-1\_4}, doi = {10.1007/978-3-642-31570-1\_4}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriRC12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriORS12, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco}, editor = {Burkhard Sch{\"{a}}fer}, title = {Narrowing Legal Concepts}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2012: The Twenty-Fifth Annual Conference, University of Amsterdam, The Netherlands, 17-19 December 2012}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {250}, pages = {51--60}, publisher = {{IOS} Press}, year = {2012}, url = {https://doi.org/10.3233/978-1-61499-167-0-51}, doi = {10.3233/978-1-61499-167-0-51}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriORS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriS12, author = {Guido Governatori and Sidney Shek}, editor = {Hassan A{\"{\i}}t{-}Kaci and Yuh{-}Jong Hu and Grzegorz J. Nalepa and Monica Palmirani and Dumitru Roman}, title = {Rule Based Business Process Compliance}, booktitle = {Proceedings of the RuleML2012@ECAI Challenge, at the 6th International Symposium on Rules, Montpellier, France, August 27th-29th, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {874}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-874/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/HashmiGW12, author = {Mustafa Hashmi and Guido Governatori and Moe Thandar Wynn}, editor = {Antonis Bikakis and Adrian Giurca}, title = {Business Process Data Compliance}, booktitle = {Rules on the Web: Research and Applications - 6th International Symposium, RuleML 2012, Montpellier, France, August 27-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7438}, pages = {32--46}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32689-9\_4}, doi = {10.1007/978-3-642-32689-9\_4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/HashmiGW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clima/2012, editor = {Michael Fisher and Leon van der Torre and Mehdi Dastani and Guido Governatori}, title = {Computational Logic in Multi-Agent Systems - 13th International Workshop, {CLIMA} XIII, Montpellier, France, August 27-28, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7486}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32897-8}, doi = {10.1007/978-3-642-32897-8}, isbn = {978-3-642-32896-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clima/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1206-5833, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Matteo Cristani}, title = {Revision of Defeasible Logic Preferences}, journal = {CoRR}, volume = {abs/1206.5833}, year = {2012}, url = {http://arxiv.org/abs/1206.5833}, eprinttype = {arXiv}, eprint = {1206.5833}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1206-5833.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1212-0079, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco}, title = {Computing Strong and Weak Permissions in Defeasible Logic}, journal = {CoRR}, volume = {abs/1212.0079}, year = {2012}, url = {http://arxiv.org/abs/1212.0079}, eprinttype = {arXiv}, eprint = {1212.0079}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1212-0079.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dagstuhl-reports/AndrighettoGNT12, author = {Giulia Andrighetto and Guido Governatori and Pablo Noriega and Leon van der Torre}, title = {Normative Multi-Agent Systems (Dagstuhl Seminar 12111)}, journal = {Dagstuhl Reports}, volume = {2}, number = {3}, pages = {23--49}, year = {2012}, url = {https://doi.org/10.4230/DagRep.2.3.23}, doi = {10.4230/DAGREP.2.3.23}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dagstuhl-reports/AndrighettoGNT12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eis/GovernatoriI11, author = {Guido Governatori and Renato Iannella}, title = {A modelling and reasoning framework for social networks policies}, journal = {Enterp. Inf. Syst.}, volume = {5}, number = {1}, pages = {145--167}, year = {2011}, url = {https://doi.org/10.1080/17517575.2010.513014}, doi = {10.1080/17517575.2010.513014}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eis/GovernatoriI11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijswis/KontopoulosBGA11, author = {Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou}, title = {A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web}, journal = {Int. J. Semantic Web Inf. Syst.}, volume = {7}, number = {1}, pages = {18--43}, year = {2011}, url = {https://doi.org/10.4018/jswis.2011010102}, doi = {10.4018/JSWIS.2011010102}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijswis/KontopoulosBGA11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/OrgunGLRS11, author = {Mehmet A. Orgun and Guido Governatori and Chuchang Liu and Mark Reynolds and Abdul Sattar}, title = {Special issue on logics for intelligent agents and multi-agent systems}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {221--222}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.003}, doi = {10.1016/J.JAL.2011.09.003}, timestamp = {Mon, 05 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/OrgunGLRS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BleeBGS11, author = {Jeff Blee and David Billington and Guido Governatori and Abdul Sattar}, title = {Levels of modality for {BDI} Logic}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {250--273}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.08.002}, doi = {10.1016/J.JAL.2011.08.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/japll/BleeBGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/japll/BoellaGHRRT11, author = {Guido Boella and Guido Governatori and Joris Hulstijn and R{\'{e}}gis Riveret and Antonino Rotolo and Leendert W. N. van der Torre}, title = {Time and defeasibility in {FIPA} {ACL} semantics}, journal = {J. Appl. Log.}, volume = {9}, number = {4}, pages = {274--288}, year = {2011}, url = {https://doi.org/10.1016/j.jal.2011.09.006}, doi = {10.1016/J.JAL.2011.09.006}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/japll/BoellaGHRRT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adma/GollapalliLWG11, author = {Mohammed Gollapalli and Xue Li and Ian A. Wood and Guido Governatori}, editor = {Jie Tang and Irwin King and Ling Chen and Jianyong Wang}, title = {Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts}, booktitle = {Advanced Data Mining and Applications - 7th International Conference, {ADMA} 2011, Beijing, China, December 17-19, 2011, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {7121}, pages = {252--265}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25856-5\_19}, doi = {10.1007/978-3-642-25856-5\_19}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adma/GollapalliLWG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/clima/GovernatoriR11, author = {Guido Governatori and Antonino Rotolo}, editor = {Jo{\~{a}}o Leite and Paolo Torroni and Thomas {\AA}gotnes and Guido Boella and Leon van der Torre}, title = {Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance}, booktitle = {Computational Logic in Multi-Agent Systems - 12th International Workshop, {CLIMA} XII, Barcelona, Spain, July 17-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6814}, pages = {364--382}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22359-4\_25}, doi = {10.1007/978-3-642-22359-4\_25}, timestamp = {Fri, 07 Aug 2020 08:55:19 +0200}, biburl = {https://dblp.org/rec/conf/clima/GovernatoriR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/Governatori11, author = {Guido Governatori}, editor = {Kevin D. Ashley and Tom M. van Engers}, title = {On the relationship between Carneades and Defeasible Logic}, booktitle = {The 13th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-10, 2011, Pittsburgh, PA, {USA}}, pages = {31--40}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2018358.2018362}, doi = {10.1145/2018358.2018362}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/Governatori11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/PalmiraniGC11, author = {Monica Palmirani and Guido Governatori and Giuseppe Contissa}, editor = {Kevin D. Ashley and Tom M. van Engers}, title = {Modelling temporal legal rules}, booktitle = {The 13th International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-10, 2011, Pittsburgh, PA, {USA}}, pages = {131--135}, publisher = {{ACM}}, year = {2011}, url = {https://doi.org/10.1145/2018358.2018378}, doi = {10.1145/2018358.2018378}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/PalmiraniGC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdm/GollapalliLWG11, author = {Mohammed Gollapalli and Xue Li and Ian A. Wood and Guido Governatori}, editor = {Myra Spiliopoulou and Haixun Wang and Diane J. Cook and Jian Pei and Wei Wang and Osmar R. Za{\"{\i}}ane and Xindong Wu}, title = {Approximate Record Matching Using Hash Grams}, booktitle = {Data Mining Workshops (ICDMW), 2011 {IEEE} 11th International Conference on, Vancouver, BC, Canada, December 11, 2011}, pages = {504--511}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ICDMW.2011.33}, doi = {10.1109/ICDMW.2011.33}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdm/GollapalliLWG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iicai/PadmanabhanSGB11, author = {Vineet Padmanabhan and Abdul Sattar and Guido Governatori and Kollapalli Ramesh Babu}, editor = {Bhanu Prasad and Pawan Lingras and Ramakant Nevatia}, title = {Incorporating Temporal Planning Within a {BDI} Architecture}, booktitle = {Proceedings of the 5th Indian International Conference on Artificial Intelligence, {IICAI} 2011, Tumkur, Karnataka State, India, December 14-16, 2011}, pages = {1618--1636}, publisher = {{IICAI}}, year = {2011}, timestamp = {Fri, 15 Dec 2023 18:26:01 +0100}, biburl = {https://dblp.org/rec/conf/iicai/PadmanabhanSGB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriORS11, author = {Guido Governatori and Francesco Olivieri and Antonino Rotolo and Simone Scannapieco}, editor = {Katie Atkinson}, title = {Three Concepts of Defeasible Permission}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2011: The Twenty-Fourth Annual Conference, University of Vienna, Austria, 14th-16th December 2011}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {235}, pages = {63--72}, publisher = {{IOS} Press}, year = {2011}, url = {https://doi.org/10.3233/978-1-60750-981-3-63}, doi = {10.3233/978-1-60750-981-3-63}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriORS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/LamG11, author = {Ho{-}Pun Lam and Guido Governatori}, editor = {James P. Delgrande and Wolfgang Faber}, title = {What Are the Necessity Rules in Defeasible Reasoning?}, booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6645}, pages = {187--192}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-20895-9\_17}, doi = {10.1007/978-3-642-20895-9\_17}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/LamG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/miwai/PadmanabhanGS11, author = {Vineet Padmanabhan and Guido Governatori and Abdul Sattar}, editor = {Chattrakul Sombattheera and Arun Agarwal and Siba K. Udgata and Kittichai Lavangnananda}, title = {Fibred {BDI} Logics: Completeness Preservation in the Presence of Interaction Axioms}, booktitle = {Multi-disciplinary Trends in Artificial Intelligence - 5th International Workshop, {MIWAI} 2011, Hyderabad, India, December 7-9, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7080}, pages = {63--74}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25725-4\_6}, doi = {10.1007/978-3-642-25725-4\_6}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/miwai/PadmanabhanGS11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriOSC11, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Matteo Cristani}, editor = {Frank Olken and Monica Palmirani and Davide Sottara}, title = {Designing for Compliance: Norms and Goals}, booktitle = {Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7018}, pages = {282--297}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24908-2\_29}, doi = {10.1007/978-3-642-24908-2\_29}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriOSC11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/PalmiraniGRTBP11, author = {Monica Palmirani and Guido Governatori and Antonino Rotolo and Said Tabet and Harold Boley and Adrian Paschke}, editor = {Frank Olken and Monica Palmirani and Davide Sottara}, title = {LegalRuleML: XML-Based Rules and Norms}, booktitle = {Rule-Based Modeling and Computing on the Semantic Web, 5th International Symposium, RuleML 2011- America, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7018}, pages = {298--312}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24908-2\_30}, doi = {10.1007/978-3-642-24908-2\_30}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/PalmiraniGRTBP11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/prima/2011, editor = {David Kinny and Jane Yung{-}jen Hsu and Guido Governatori and Aditya K. Ghose}, title = {Agents in Principle, Agents in Practice - 14th International Conference, {PRIMA} 2011, Wollongong, Australia, November 16-18, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7047}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-25044-6}, doi = {10.1007/978-3-642-25044-6}, isbn = {978-3-642-25043-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2011e, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6826}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-22546-8}, doi = {10.1007/978-3-642-22546-8}, isbn = {978-3-642-22545-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2011e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/GovernatoriR10, author = {Guido Governatori and Antonino Rotolo}, title = {Changing legal systems: legal abrogations and annulments in Defeasible Logic}, journal = {Log. J. {IGPL}}, volume = {18}, number = {1}, pages = {157--194}, year = {2010}, url = {https://doi.org/10.1093/jigpal/jzp075}, doi = {10.1093/JIGPAL/JZP075}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/GovernatoriR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/BassiliadesGPD10, author = {Nick Bassiliades and Guido Governatori and Adrian Paschke and J{\"{u}}rgen Dix}, title = {Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {22}, number = {11}, pages = {1489--1491}, year = {2010}, url = {https://doi.org/10.1109/TKDE.2010.179}, doi = {10.1109/TKDE.2010.179}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tkde/BassiliadesGPD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/BillingtonAGM10, author = {David Billington and Grigoris Antoniou and Guido Governatori and Michael J. Maher}, title = {An inclusion theorem for defeasible logics}, journal = {{ACM} Trans. Comput. Log.}, volume = {12}, number = {1}, pages = {6:1--6:27}, year = {2010}, url = {https://doi.org/10.1145/1838552.1838558}, doi = {10.1145/1838552.1838558}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/BillingtonAGM10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccm/GovernatoriR10, author = {Guido Governatori and Antonino Rotolo}, editor = {Sebastian Link and Aditya Ghose}, title = {A conceptually rich model of business process compliance}, booktitle = {Conceptual Modelling 2010, Seventh Asia-Pacific Conference on Conceptual Modelling {(APCCM} 2010), Brisbane, Australia, January 18-21 2010}, series = {{CRPIT}}, volume = {110}, pages = {3--12}, publisher = {Australian Computer Society}, year = {2010}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV110Governatori.html}, timestamp = {Fri, 05 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apccm/GovernatoriR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icarcv/SongGD10, author = {Insu Song and Guido Governatori and Joachim Diederich}, title = {Automatic synthesis of reactive agents}, booktitle = {11th International Conference on Control, Automation, Robotics and Vision, {ICARCV} 2010, Singapore, 7-10 December 2010, Proceedings}, pages = {970--975}, publisher = {{IEEE}}, year = {2010}, url = {https://doi.org/10.1109/ICARCV.2010.5707867}, doi = {10.1109/ICARCV.2010.5707867}, timestamp = {Wed, 16 Oct 2019 14:14:52 +0200}, biburl = {https://dblp.org/rec/conf/icarcv/SongGD10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriS10, author = {Guido Governatori and Giovanni Sartor}, editor = {Radboud Winkels}, title = {Burdens of Proof in Monological Argumentation}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Liverpool, UK, 16-17 December 2010}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {223}, pages = {57--66}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-682-9-57}, doi = {10.3233/978-1-60750-682-9-57}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/PalmiraniGC10, author = {Monica Palmirani and Guido Governatori and Giuseppe Contissa}, editor = {Radboud Winkels}, title = {Temporal Dimensions in Rules Modelling}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Liverpool, UK, 16-17 December 2010}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {223}, pages = {159--162}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-682-9-159}, doi = {10.3233/978-1-60750-682-9-159}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/PalmiraniGC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BoellaGRT10, author = {Guido Boella and Guido Governatori and Antonino Rotolo and Leendert W. N. van der Torre}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {A Logical Understanding of Legal Interpretation}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1379}, timestamp = {Tue, 08 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/BoellaGRT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/medinfo/StanticTSBG10, author = {Bela Stantic and Paolo Terenziani and Abdul Sattar and Alessio Bottrighi and Guido Governatori}, editor = {Charles Safran and Shane R. Reti and Heimar F. Marin}, title = {Towards an implicit treatment of periodically-repeated medical data}, booktitle = {{MEDINFO} 2010 - Proceedings of the 13th World Congress on Medical Informatics, Cape Town, South Africa, September 12-15, 2010}, series = {Studies in Health Technology and Informatics}, volume = {160}, pages = {1131--1135}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-588-4-1131}, doi = {10.3233/978-1-60750-588-4-1131}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/medinfo/StanticTSBG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/re/Governatori10, author = {Guido Governatori}, title = {Law, logic and business processes}, booktitle = {Third International Workshop on Requirements Engineering and Law, {RELAW} 2010, Sydney, NSW, Australia, September 28, 2010}, pages = {1--10}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/RELAW.2010.5625356}, doi = {10.1109/RELAW.2010.5625356}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/re/Governatori10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriOSC10, author = {Guido Governatori and Francesco Olivieri and Simone Scannapieco and Matteo Cristani}, editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet}, title = {Superiority Based Revision of Defeasible Theories}, booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6403}, pages = {104--118}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16289-3\_10}, doi = {10.1007/978-3-642-16289-3\_10}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriOSC10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriR10, author = {Guido Governatori and Antonino Rotolo}, editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet}, title = {Norm Compliance in Business Process Modeling}, booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6403}, pages = {194--209}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16289-3\_17}, doi = {10.1007/978-3-642-16289-3\_17}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriR10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/KamadaGS10a, author = {Aqueo Kamada and Guido Governatori and Shazia Wasim Sadiq}, editor = {Monica Palmirani and M. Omair Shafiq and Enrico Francesconi and Fabio Vitali}, title = {{SBVR} based Business Contract and Business Rule {IDE}}, booktitle = {Proceedings of the RuleML-2010 Challenge, at the 4th International Web Rule Symposium, Washington, DC, USA, October, 21-23, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {649}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-649/paper8.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/KamadaGS10a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/LamG10, author = {Ho{-}Pun Lam and Guido Governatori}, editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet}, title = {On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic}, booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6403}, pages = {119--127}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16289-3\_11}, doi = {10.1007/978-3-642-16289-3\_11}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/LamG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/KamadaGS10, author = {Aqueo Kamada and Guido Governatori and Shazia Wasim Sadiq}, editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet}, title = {Transformation of {SBVR} Compliant Business Rules to Executable {FCL} Rules}, booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6403}, pages = {153--161}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16289-3\_14}, doi = {10.1007/978-3-642-16289-3\_14}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/KamadaGS10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/KravariKBG10, author = {Kalliopi Kravari and Grammati{-}Eirini Kastori and Nick Bassiliades and Guido Governatori}, editor = {Mike Dean and John Hall and Antonino Rotolo and Said Tabet}, title = {A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web}, booktitle = {Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6403}, pages = {225--239}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16289-3\_19}, doi = {10.1007/978-3-642-16289-3\_19}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/KravariKBG10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/clima/2010, editor = {J{\"{u}}rgen Dix and Jo{\~{a}}o Leite and Guido Governatori and Wojtek Jamroga}, title = {Computational Logic in Multi-Agent Systems, 11th International Workshop, {CLIMA} XI, Lisbon, Portugal, August 16-17, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6245}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14977-1}, doi = {10.1007/978-3-642-14977-1}, isbn = {978-3-642-14976-4}, timestamp = {Fri, 07 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/clima/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/deon/2010, editor = {Guido Governatori and Giovanni Sartor}, title = {Deontic Logic in Computer Science, 10th International Conference, {DEON} 2010, Fiesole, Italy, July 7-9, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6181}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-14183-6}, doi = {10.1007/978-3-642-14183-6}, isbn = {978-3-642-14182-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deon/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/OrgunGL09, author = {Mehmet A. Orgun and Guido Governatori and Chuchang Liu}, title = {Modal tableaux for verifying stream authentication protocols}, journal = {Auton. Agents Multi Agent Syst.}, volume = {19}, number = {1}, pages = {53--75}, year = {2009}, url = {https://doi.org/10.1007/s10458-007-9027-4}, doi = {10.1007/S10458-007-9027-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/OrgunGL09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/LuSG09, author = {Ruopeng Lu and Shazia Wasim Sadiq and Guido Governatori}, title = {On managing business processes variants}, journal = {Data Knowl. Eng.}, volume = {68}, number = {7}, pages = {642--664}, year = {2009}, url = {https://doi.org/10.1016/j.datak.2009.02.009}, doi = {10.1016/J.DATAK.2009.02.009}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dke/LuSG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eswa/AntoniouDG09, author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori}, title = {A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems}, journal = {Expert Syst. Appl.}, volume = {36}, number = {2}, pages = {4125--4134}, year = {2009}, url = {https://doi.org/10.1016/j.eswa.2008.03.009}, doi = {10.1016/J.ESWA.2008.03.009}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eswa/AntoniouDG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/igpl/GovernatoriPRS09, author = {Guido Governatori and Vineet Padmanabhan and Antonino Rotolo and Abdul Sattar}, title = {A defeasible logic for modelling policy-based intentions and motivational attitudes}, journal = {Log. J. {IGPL}}, volume = {17}, number = {3}, pages = {227--265}, year = {2009}, url = {https://doi.org/10.1093/jigpal/jzp006}, doi = {10.1093/JIGPAL/JZP006}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/igpl/GovernatoriPRS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijbpim/GovernatoriP09, author = {Guido Governatori and Duy Hoang Pham}, title = {{DR-CONTRACT:} an architecture for e-contracts in defeasible logic}, journal = {Int. J. Bus. Process. Integr. Manag.}, volume = {4}, number = {3}, pages = {187--199}, year = {2009}, url = {https://doi.org/10.1504/IJBPIM.2009.030985}, doi = {10.1504/IJBPIM.2009.030985}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijbpim/GovernatoriP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/PhamGT09, author = {Duy Hoang Pham and Guido Governatori and Subhasis Thakur}, title = {Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games}, journal = {J. Univers. Comput. Sci.}, volume = {15}, number = {13}, pages = {2653--2675}, year = {2009}, url = {https://doi.org/10.3217/jucs-015-13-2653}, doi = {10.3217/JUCS-015-13-2653}, timestamp = {Thu, 07 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jucs/PhamGT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bis/LuSGY09, author = {Ruopeng Lu and Shazia Wasim Sadiq and Guido Governatori and Xiaoping Yang}, editor = {Witold Abramowicz}, title = {Defining Adaptation Constraints for Business Process Variants}, booktitle = {Business Information Systems, 12th International Conference, {BIS} 2009, Poznan, Poland, April 27-29, 2009. Proceedings}, series = {Lecture Notes in Business Information Processing}, volume = {21}, pages = {145--156}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01190-0\_13}, doi = {10.1007/978-3-642-01190-0\_13}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bis/LuSGY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/GovernatoriI09, author = {Guido Governatori and Renato Iannella}, title = {Modelling and Reasoning Languages for Social Networks Policies}, booktitle = {Proceedings of the 13th {IEEE} International Enterprise Distributed Object Computing Conference, {EDOC} 2009, 1-4 September 2009, Auckland, New Zealand}, pages = {193--200}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/EDOC.2009.19}, doi = {10.1109/EDOC.2009.19}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/GovernatoriI09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/GovernatoriR09, author = {Guido Governatori and Antonino Rotolo}, title = {How Do Agents Comply with Norms?}, booktitle = {Proceedings of the 2009 {IEEE/WIC/ACM} International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, Milan, Italy, 15-18 September 2009}, pages = {488--491}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/WI-IAT.2009.332}, doi = {10.1109/WI-IAT.2009.332}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/GovernatoriR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jsai/GovernatoriRR09, author = {Guido Governatori and Antonino Rotolo and Rossella Rubino}, editor = {Kumiyo Nakakoji and Yohei Murakami and Eric McCready}, title = {Implementing Temporal Defeasible Logic for Modeling Legal Reasoning}, booktitle = {New Frontiers in Artificial Intelligence, JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6284}, pages = {45--58}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-14888-0\_5}, doi = {10.1007/978-3-642-14888-0\_5}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/jsai/GovernatoriRR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/BoellaGRT09, author = {Guido Boella and Guido Governatori and Antonino Rotolo and Leendert W. N. van der Torre}, editor = {Pompeu Casanovas and Ugo Pagallo and Giovanni Sartor and Gianmaria Ajani}, title = {\emph{Lex Minus Dixit Quam Voluit}, \emph{Lex Magis}\emph{ Dixit Quam Voluit}: {A} Formal Study on Legal Compliance and Interpretation}, booktitle = {{AI} Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue - International Workshops {AICOL-I/IVR-XXIV} Beijing, China, September 19, 2009 and {AICOL-II/JURIX} 2009, Rotterdam,The Netherlands, December 16, 2009 Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {6237}, pages = {162--183}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-16524-5\_11}, doi = {10.1007/978-3-642-16524-5\_11}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/BoellaGRT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GordonGR09, author = {Thomas F. Gordon and Guido Governatori and Antonino Rotolo}, editor = {Guido Governatori and John Hall and Adrian Paschke}, title = {Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain}, booktitle = {Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5858}, pages = {282--296}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04985-9\_26}, doi = {10.1007/978-3-642-04985-9\_26}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GordonGR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/LamG09, author = {Ho{-}Pun Lam and Guido Governatori}, editor = {Guido Governatori and John Hall and Adrian Paschke}, title = {The Making of SPINdle}, booktitle = {Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5858}, pages = {315--322}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04985-9\_29}, doi = {10.1007/978-3-642-04985-9\_29}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/LamG09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/LamTGS09, author = {Ho{-}Pun Lam and Subhasis Thakur and Guido Governatori and Abdul Sattar}, editor = {Yuh{-}Jong Hu and Ching{-}Long Yeh and Wolfgang Laun and Guido Governatori and John Hall and Adrian Paschke}, title = {A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic}, booktitle = {Proceedings of the 3rd International RuleML-2009 Challenge, collocated with the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009), Las Vegas, Nevada, USA, November 5-7, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {549}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-549/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:58 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/LamTGS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/igi/09/GovernatoriS09, author = {Guido Governatori and Shazia W. Sadiq}, editor = {Jorge Cardoso and Wil M. P. van der Aalst}, title = {The Journey to Business Process Compliance}, booktitle = {Handbook of Research on Business Process Modeling}, pages = {426--454}, publisher = {{IGI} Global}, year = {2009}, url = {https://doi.org/10.4018/978-1-60566-288-6.ch020}, doi = {10.4018/978-1-60566-288-6.CH020}, timestamp = {Thu, 03 Feb 2022 09:27:46 +0100}, biburl = {https://dblp.org/rec/books/igi/09/GovernatoriS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/jurix/2009, editor = {Guido Governatori}, title = {Legal Knowledge and Information Systems - {JURIX} 2009: The Twenty-Second Annual Conference on Legal Knowledge and Information Systems, Rotterdam, The Netherlands, 16-18 December 2009}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {205}, publisher = {{IOS} Press}, year = {2009}, isbn = {978-1-60750-082-7}, timestamp = {Tue, 24 Aug 2010 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/prima/2007, editor = {Aditya K. Ghose and Guido Governatori and Ramakoti Sadananda}, title = {Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, {PRIMA} 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5044}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-01639-4}, doi = {10.1007/978-3-642-01639-4}, isbn = {978-3-642-01638-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/2007.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2009c, editor = {Yuh{-}Jong Hu and Ching{-}Long Yeh and Wolfgang Laun and Guido Governatori and John Hall and Adrian Paschke}, title = {Proceedings of the 3rd International RuleML-2009 Challenge, collocated with the 3rd International Symposium on Rules, Applications and Interoperability (RuleML-2009), Las Vegas, Nevada, USA, November 5-7, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {549}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-549}, urn = {urn:nbn:de:0074-549-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/2009c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2009, editor = {Guido Governatori and John Hall and Adrian Paschke}, title = {Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5858}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04985-9}, doi = {10.1007/978-3-642-04985-9}, isbn = {978-3-642-04984-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2009.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GovernatoriR09, author = {Guido Governatori and Antonino Rotolo}, editor = {Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen}, title = {How Do Agents Comply with Norms?}, booktitle = {Normative Multi-Agent Systems, 15.03. - 20.03.2009}, series = {Dagstuhl Seminar Proceedings}, volume = {09121}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany}, year = {2009}, url = {http://drops.dagstuhl.de/opus/volltexte/2009/1909/}, timestamp = {Thu, 10 Jun 2021 13:02:07 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GovernatoriR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/aamas/GovernatoriR08, author = {Guido Governatori and Antonino Rotolo}, title = {{BIO} logical agents: Norms, beliefs, intentions in defeasible logic}, journal = {Auton. Agents Multi Agent Syst.}, volume = {17}, number = {1}, pages = {36--69}, year = {2008}, url = {https://doi.org/10.1007/s10458-008-9030-4}, doi = {10.1007/S10458-008-9030-4}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/aamas/GovernatoriR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/GovernatoriR08, author = {Guido Governatori and Antonino Rotolo}, title = {A computational framework for institutional agency}, journal = {Artif. Intell. Law}, volume = {16}, number = {1}, pages = {25--52}, year = {2008}, url = {https://doi.org/10.1007/s10506-007-9056-y}, doi = {10.1007/S10506-007-9056-Y}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/GovernatoriR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/AntoniouBDGGGKKKKLPPTTZ08, author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolaos Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis}, title = {Proof explanation for a nonmonotonic Semantic Web rules language}, journal = {Data Knowl. Eng.}, volume = {64}, number = {3}, pages = {662--687}, year = {2008}, url = {https://doi.org/10.1016/j.datak.2007.10.006}, doi = {10.1016/J.DATAK.2007.10.006}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/AntoniouBDGGGKKKKLPPTTZ08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijecommerce/BartoliniGM08, author = {Claudio Bartolini and Guido Governatori and Zoran Milosevic}, title = {Introduction to the Special Issue: Electronic Contract Architectures and Languages}, journal = {Int. J. Electron. Commer.}, volume = {12}, number = {4}, pages = {5--8}, year = {2008}, url = {https://doi.org/10.2753/JEC1086-4415120400}, doi = {10.2753/JEC1086-4415120400}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijecommerce/BartoliniGM08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ism/LuSG08, author = {Ruopeng Lu and Shazia Wasim Sadiq and Guido Governatori}, title = {Measurement of Compliance Distance in Business Processes}, journal = {Inf. Syst. Manag.}, volume = {25}, number = {4}, pages = {344--355}, year = {2008}, url = {https://doi.org/10.1080/10580530802384613}, doi = {10.1080/10580530802384613}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ism/LuSG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/Governatori08, author = {Guido Governatori}, editor = {Carlos Areces and Robert Goldblatt}, title = {Labelled modal tableaux}, booktitle = {Advances in Modal Logic 7, papers from the seventh conference on "Advances in Modal Logic," held in Nancy, France, 9-12 September 2008}, pages = {87--110}, publisher = {College Publications}, year = {2008}, url = {http://www.aiml.net/volumes/volume7/Governatori.pdf}, timestamp = {Wed, 17 Jan 2024 09:57:43 +0100}, biburl = {https://dblp.org/rec/conf/aiml/Governatori08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/GovernatoriHSW08, author = {Guido Governatori and J{\"{o}}rg Hoffmann and Shazia Wasim Sadiq and Ingo Weber}, editor = {Danilo Ardagna and Massimo Mecella and Jian Yang}, title = {Detecting Regulatory Compliance for Business Process Models through Semantic Annotations}, booktitle = {Business Process Management Workshops, {BPM} 2008 International Workshops, Milano, Italy, September 1-4, 2008. Revised Papers}, series = {Lecture Notes in Business Information Processing}, volume = {17}, pages = {5--17}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-00328-8\_2}, doi = {10.1007/978-3-642-00328-8\_2}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/GovernatoriHSW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriR08, author = {Guido Governatori and Antonino Rotolo}, editor = {Ron van der Meyden and Leendert W. N. van der Torre}, title = {Changing Legal Systems: Abrogation and Annulment Part {I:} Revision of Defeasible Theories}, booktitle = {Deontic Logic in Computer Science, 9th International Conference, {DEON} 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5076}, pages = {3--18}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-70525-3\_2}, doi = {10.1007/978-3-540-70525-3\_2}, timestamp = {Thu, 14 Oct 2021 10:16:00 +0200}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/KontopoulosBGA08, author = {Efstratios Kontopoulos and Nick Bassiliades and Guido Governatori and Grigoris Antoniou}, title = {Extending a Defeasible Reasoner with Modal and Deontic Logic Operators}, booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia}, pages = {626--629}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/WIIAT.2008.164}, doi = {10.1109/WIIAT.2008.164}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/KontopoulosBGA08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/BoellaGHRRT08, author = {Guido Boella and Guido Governatori and Joris Hulstijn and R{\'{e}}gis Riveret and Antonino Rotolo and Leendert W. N. van der Torre}, title = {Time and Defeasibility in {FIPA} {ACL} Semantics}, booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia}, pages = {634--637}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/WIIAT.2008.275}, doi = {10.1109/WIIAT.2008.275}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/BoellaGHRRT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iat/BleeBGS08, author = {Jeff Blee and David Billington and Guido Governatori and Abdul Sattar}, title = {Levels of Modalities for {BDI} Logic}, booktitle = {Proceedings of the 2008 {IEEE/WIC/ACM} International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 9-12 December 2008, Sydney, NSW, Australia}, pages = {647--650}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/WIIAT.2008.231}, doi = {10.1109/WIIAT.2008.231}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iat/BleeBGS08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriTP08, author = {Guido Governatori and Subhasis Thakur and Duy Hoang Pham}, editor = {Enrico Francesconi and Giovanni Sartor and Daniela Tiscornia}, title = {A Compliance Model of Trust}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2008: The Twenty-First Annual Conference on Legal Knowledge and Information Systems, Florence, Italy, 10-13 December 2008}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {189}, pages = {118--127}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-952-3-118}, doi = {10.3233/978-1-58603-952-3-118}, timestamp = {Sat, 16 Sep 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriTP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriR08, author = {Guido Governatori and Antonino Rotolo}, editor = {Enrico Francesconi and Giovanni Sartor and Daniela Tiscornia}, title = {An Algorithm for Business Process Compliance}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2008: The Twenty-First Annual Conference on Legal Knowledge and Information Systems, Florence, Italy, 10-13 December 2008}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {189}, pages = {186--191}, publisher = {{IOS} Press}, year = {2008}, url = {https://doi.org/10.3233/978-1-58603-952-3-186}, doi = {10.3233/978-1-58603-952-3-186}, timestamp = {Sun, 04 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/normas/GovernatoriR08, author = {Guido Governatori and Antonino Rotolo}, editor = {Guido Boella and Gabriella Pigozzi and Munindar P. Singh and Harko Verhagen}, title = {Changing Legal Systems: Abrogation and Annulment. Part {II:} Temporalised Defeasible Logic}, booktitle = {Third International Workshop on Normative Multiagent Systems - NorMAS 2008, Luxembourg, July 15-16, 2008. Proceedings}, pages = {112--127}, year = {2008}, timestamp = {Tue, 20 Jan 2009 15:22:27 +0100}, biburl = {https://dblp.org/rec/conf/normas/GovernatoriR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/PadmanabhanGT08, author = {Vineet Padmanabhan and Guido Governatori and Subhasis Thakur}, editor = {The Duy Bui and Tuong Vinh Ho and Quang{-}Thuy Ha}, title = {Knowledge Assessment: {A} Modal Logic Approach}, booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5357}, pages = {315--322}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89674-6\_35}, doi = {10.1007/978-3-540-89674-6\_35}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/prima/PadmanabhanGT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/PhamTG08, author = {Duy Hoang Pham and Subhasis Thakur and Guido Governatori}, editor = {The Duy Bui and Tuong Vinh Ho and Quang{-}Thuy Ha}, title = {Settling on the Group's Goals: An n-Person Argumentation Game Approach}, booktitle = {Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, {PRIMA} 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5357}, pages = {328--339}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-89674-6\_37}, doi = {10.1007/978-3-540-89674-6\_37}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prima/PhamTG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/PhamGRNT08, author = {Duy Hoang Pham and Guido Governatori and Simon Raboczi and Andrew Newman and Subhasis Thakur}, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {On Extending RuleML for Modal Defeasible Logic}, booktitle = {Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5321}, pages = {89--103}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88808-6\_12}, doi = {10.1007/978-3-540-88808-6\_12}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/PhamGRNT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/AntoniouDG08, author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori}, editor = {Roger L. Wainwright and Hisham Haddad}, title = {A system for modal and deontic defeasible reasoning}, booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008}, pages = {2261--2265}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1363686.1364226}, doi = {10.1145/1363686.1364226}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sac/AntoniouDG08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ruleml/2008, editor = {Nick Bassiliades and Guido Governatori and Adrian Paschke}, title = {Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5321}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88808-6}, doi = {10.1007/978-3-540-88808-6}, isbn = {978-3-540-88807-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/dke/SkylogiannisABGB07, author = {Thomas Skylogiannis and Grigoris Antoniou and Nick Bassiliades and Guido Governatori and Antonis Bikakis}, title = {{DR-NEGOTIATE} - {A} system for automated agent negotiation with defeasible logic-based strategies}, journal = {Data Knowl. Eng.}, volume = {63}, number = {2}, pages = {362--380}, year = {2007}, url = {https://doi.org/10.1016/j.datak.2007.03.004}, doi = {10.1016/J.DATAK.2007.03.004}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dke/SkylogiannisABGB07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/DastaniGRST07, author = {Mehdi Dastani and Guido Governatori and Antonino Rotolo and Insu Song and Leendert W. N. van der Torre}, editor = {Edmund H. Durfee and Makoto Yokoo and Michael N. Huhns and Onn Shehory}, title = {Contextual deliberation of cognitive agents in defeasible logic}, booktitle = {6th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2007), Honolulu, Hawaii, USA, May 14-18, 2007}, pages = {148}, publisher = {{IFAAMAS}}, year = {2007}, url = {https://doi.org/10.1145/1329125.1329306}, doi = {10.1145/1329125.1329306}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/DastaniGRST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/GovernatoriT07, author = {Guido Governatori and Paolo Terenziani}, editor = {Mehmet A. Orgun and John Thornton}, title = {Temporal Extensions to Defeasible Logic}, booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4830}, pages = {476--485}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76928-6\_49}, doi = {10.1007/978-3-540-76928-6\_49}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/GovernatoriT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/GovernatoriHRR07, author = {Guido Governatori and Joris Hulstijn and R{\'{e}}gis Riveret and Antonino Rotolo}, editor = {Mehmet A. Orgun and John Thornton}, title = {Characterising Deadlines in Temporal Modal Defeasible Logic}, booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4830}, pages = {486--496}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76928-6\_50}, doi = {10.1007/978-3-540-76928-6\_50}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/GovernatoriHRR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/ThakurGPL07, author = {Subhasis Thakur and Guido Governatori and Vineet Padmanabhan and Jenny Eriksson Lundstr{\"{o}}m}, editor = {Mehmet A. Orgun and John Thornton}, title = {Dialogue Games in Defeasible Logic}, booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4830}, pages = {497--506}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76928-6\_51}, doi = {10.1007/978-3-540-76928-6\_51}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/ThakurGPL07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/AntoniouDG07, author = {Grigoris Antoniou and Nikos Dimaresis and Guido Governatori}, editor = {Mehmet A. Orgun and John Thornton}, title = {A System for Modal and Deontic Defeasible Reasoning}, booktitle = {{AI} 2007: Advances in Artificial Intelligence, 20th Australian Joint Conference on Artificial Intelligence, Gold Coast, Australia, December 2-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4830}, pages = {609--613}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76928-6\_62}, doi = {10.1007/978-3-540-76928-6\_62}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/AntoniouDG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/LuSG07, author = {Ruopeng Lu and Shazia Wasim Sadiq and Guido Governatori}, editor = {Arthur H. M. ter Hofstede and Boualem Benatallah and Hye{-}Young Paik}, title = {Compliance Aware Business Process Design}, booktitle = {Business Process Management Workshops, {BPM} 2007 International Workshops, BPI, BPD, CBP, ProHealth, RefMod, semantics4ws, Brisbane, Australia, September 24, 2007, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {4928}, pages = {120--131}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-78238-4\_14}, doi = {10.1007/978-3-540-78238-4\_14}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/LuSG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bpm/SadiqGN07, author = {Shazia Wasim Sadiq and Guido Governatori and Kioumars Namiri}, editor = {Gustavo Alonso and Peter Dadam and Michael Rosemann}, title = {Modeling Control Objectives for Business Process Compliance}, booktitle = {Business Process Management, 5th International Conference, {BPM} 2007, Brisbane, Australia, September 24-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4714}, pages = {149--164}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75183-0\_12}, doi = {10.1007/978-3-540-75183-0\_12}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bpm/SadiqGN07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/RothRRG07, author = {Bram Roth and R{\'{e}}gis Riveret and Antonino Rotolo and Guido Governatori}, editor = {Anne Gardner and Radboud Winkels}, title = {Strategic argumentation: a game theoretical investigation}, booktitle = {The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, {USA}}, pages = {81--90}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1276318.1276333}, doi = {10.1145/1276318.1276333}, timestamp = {Fri, 27 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/RothRRG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriRRPS07, author = {Guido Governatori and Antonino Rotolo and R{\'{e}}gis Riveret and Monica Palmirani and Giovanni Sartor}, editor = {Anne Gardner and Radboud Winkels}, title = {Variants of temporal defeasible logics for modelling norm modifications}, booktitle = {The Eleventh International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 4-8, 2007, Stanford Law School, Stanford, California, {USA}}, pages = {155--159}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1276318.1276347}, doi = {10.1145/1276318.1276347}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriRRPS07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriHRR07, author = {Guido Governatori and Joris Hulstijn and R{\'{e}}gis Riveret and Antonino Rotolo}, editor = {Arno R. Lodder and Laurens Mommers}, title = {On the Representation of Deadlines in a Rental Agreement}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2007: The Twentieth Annual Conference on Legal Knowledge and Information Systems, Leiden, The Netherlands, 12-15 December 2007}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {165}, pages = {169--170}, publisher = {{IOS} Press}, year = {2007}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7857}, timestamp = {Wed, 14 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriHRR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ksem/AntoniouBDGGGKKKKLPPTTZ07, author = {Grigoris Antoniou and Antonis Bikakis and Nikos Dimaresis and Manolis Genetzakis and Giannis Georgalis and Guido Governatori and Efie Karouzaki and Nikolaos Kazepis and Dimitris Kosmadakis and Manolis Kritsotakis and Giannis Lilis and Antonis Papadogiannakis and Panagiotis Pediaditis and Constantinos Terzakis and Rena Theodosaki and Dimitris Zeginis}, editor = {Zili Zhang and J{\"{o}}rg H. Siekmann}, title = {Proof Explanation for the Semantic Web Using Defeasible Logic}, booktitle = {Knowledge Science, Engineering and Management, Second International Conference, {KSEM} 2007, Melbourne, Australia, November 28-30, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4798}, pages = {186--197}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-76719-0\_21}, doi = {10.1007/978-3-540-76719-0\_21}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ksem/AntoniouBDGGGKKKKLPPTTZ07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/DastaniGRST07, author = {Mehdi Dastani and Guido Governatori and Antonino Rotolo and Insu Song and Leendert W. N. van der Torre}, editor = {Aditya K. Ghose and Guido Governatori and Ramakoti Sadananda}, title = {Contextual Agent Deliberation in Defeasible Logic}, booktitle = {Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, {PRIMA} 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5044}, pages = {98--109}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-01639-4\_9}, doi = {10.1007/978-3-642-01639-4\_9}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/prima/DastaniGRST07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/prima/LundstromGTP07, author = {Jenny Eriksson Lundstr{\"{o}}m and Guido Governatori and Subhasis Thakur and Vineet Padmanabhan}, editor = {Aditya K. Ghose and Guido Governatori and Ramakoti Sadananda}, title = {An Asymmetric Protocol for Argumentation Games in Defeasible Logic}, booktitle = {Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, {PRIMA} 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {5044}, pages = {219--231}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-642-01639-4\_19}, doi = {10.1007/978-3-642-01639-4\_19}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/prima/LundstromGTP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rr/BassiliadesAG07, author = {Nick Bassiliades and Grigoris Antoniou and Guido Governatori}, editor = {Massimo Marchiori and Jeff Z. Pan and Christian de Sainte Marie}, title = {Proof Explanation in the {DR-DEVICE} System}, booktitle = {Web Reasoning and Rule Systems, First International Conference, {RR} 2007, Innsbruck , Austria, June 7-8, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4524}, pages = {249--258}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-72982-2\_19}, doi = {10.1007/978-3-540-72982-2\_19}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/rr/BassiliadesAG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/GovernatoriR07, author = {Guido Governatori and Antonino Rotolo}, editor = {Guido Boella and Leendert W. N. van der Torre and Harko Verhagen}, title = {{BIO} Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic}, booktitle = {Normative Multi-agent Systems, 18.03. - 23.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07122}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/912}, timestamp = {Thu, 10 Jun 2021 13:02:06 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/GovernatoriR07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/RiveretRG07, author = {R{\'{e}}gis Riveret and Antonino Rotolo and Guido Governatori}, editor = {Guido Boella and Leendert W. N. van der Torre and Harko Verhagen}, title = {Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic}, booktitle = {Normative Multi-agent Systems, 18.03. - 23.03.2007}, series = {Dagstuhl Seminar Proceedings}, volume = {07122}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2007}, url = {http://drops.dagstuhl.de/opus/volltexte/2007/923}, timestamp = {Thu, 23 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/RiveretRG07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcis/GovernatoriM06, author = {Guido Governatori and Zoran Milosevic}, title = {A Formal Analysis of a Business Contract Language}, journal = {Int. J. Cooperative Inf. Syst.}, volume = {15}, number = {4}, pages = {659--685}, year = {2006}, url = {https://doi.org/10.1142/S0218843006001529}, doi = {10.1142/S0218843006001529}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijcis/GovernatoriM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tplp/AntoniouBGM06, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Embedding defeasible logic into logic programming}, journal = {Theory Pract. Log. Program.}, volume = {6}, number = {6}, pages = {703--735}, year = {2006}, url = {https://doi.org/10.1017/S1471068406002778}, doi = {10.1017/S1471068406002778}, timestamp = {Thu, 13 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tplp/AntoniouBGM06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adc/PothiprukG06, author = {Pakornpong Pothipruk and Guido Governatori}, editor = {Gillian Dobbie and James Bailey}, title = {An optimization for query answering on \emph{ALC} database}, booktitle = {Database Technologies 2006, Proceedings of the 17th Australasian Database Conference, {ADC} 2006, Hobart, Tasmania, Australia, January 16-19 2006}, series = {{CRPIT}}, volume = {49}, pages = {129--137}, publisher = {Australian Computer Society}, year = {2006}, url = {https://dl.acm.org/citation.cfm?id=1151750}, timestamp = {Tue, 16 Apr 2019 17:19:28 +0200}, biburl = {https://dblp.org/rec/conf/adc/PothiprukG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adc/LuSPG06, author = {Ruopeng Lu and Shazia Wasim Sadiq and Vineet Padmanabhan and Guido Governatori}, editor = {Gillian Dobbie and James Bailey}, title = {Using a temporal constraint network for business process execution}, booktitle = {Database Technologies 2006, Proceedings of the 17th Australasian Database Conference, {ADC} 2006, Hobart, Tasmania, Australia, January 16-19 2006}, series = {{CRPIT}}, volume = {49}, pages = {157--166}, publisher = {Australian Computer Society}, year = {2006}, url = {https://dl.acm.org/citation.cfm?id=1151753}, timestamp = {Wed, 28 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adc/LuSPG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adc/StanticGS06, author = {Bela Stantic and Guido Governatori and Abdul Sattar}, editor = {Gillian Dobbie and James Bailey}, title = {Handling of current time in native {XML} databases}, booktitle = {Database Technologies 2006, Proceedings of the 17th Australasian Database Conference, {ADC} 2006, Hobart, Tasmania, Australia, January 16-19 2006}, series = {{CRPIT}}, volume = {49}, pages = {175--182}, publisher = {Australian Computer Society}, year = {2006}, url = {https://dl.acm.org/citation.cfm?id=1151755}, timestamp = {Wed, 28 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/adc/StanticGS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apccm/PadmanabhanGSCR06, author = {Vineet Padmanabhan and Guido Governatori and Shazia Wasim Sadiq and Robert M. Colomb and Antonino Rotolo}, editor = {Markus Stumptner and Sven Hartmann and Yasushi Kiyoki}, title = {Process modelling: the deontic way}, booktitle = {Conceptual Modelling 2006, Third Asia-Pacific Conference on Conceptual Modelling {(APCCM} 2005), Hobart, Tasmania, Australia, January 16-19 2006}, series = {{CRPIT}}, volume = {53}, pages = {75--84}, publisher = {Australian Computer Society}, year = {2006}, url = {https://dl.acm.org/citation.cfm?id=1151864}, timestamp = {Fri, 30 Nov 2018 02:24:56 +0100}, biburl = {https://dblp.org/rec/conf/apccm/PadmanabhanGSCR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/GovernatoriRP06, author = {Guido Governatori and Antonino Rotolo and Vineet Padmanabhan}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, title = {The cost of social agents}, booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006}, pages = {513--520}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1160633.1160728}, doi = {10.1145/1160633.1160728}, timestamp = {Tue, 08 Mar 2022 10:12:47 +0100}, biburl = {https://dblp.org/rec/conf/atal/GovernatoriRP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/SongG06, author = {Insu Song and Guido Governatori}, editor = {Hideyuki Nakashima and Michael P. Wellman and Gerhard Weiss and Peter Stone}, title = {Designing agent chips}, booktitle = {5th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2006), Hakodate, Japan, May 8-12, 2006}, pages = {1311--1313}, publisher = {{ACM}}, year = {2006}, url = {https://doi.org/10.1145/1160633.1160874}, doi = {10.1145/1160633.1160874}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/atal/SongG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/PothiprukG06, author = {Pakornpong Pothipruk and Guido Governatori}, editor = {Abdul Sattar and Byeong{-}Ho Kang}, title = {\emph{ALE} Defeasible Description Logic}, booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4304}, pages = {110--119}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11941439\_15}, doi = {10.1007/11941439\_15}, timestamp = {Mon, 04 Nov 2019 12:36:13 +0100}, biburl = {https://dblp.org/rec/conf/ausai/PothiprukG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/SongG06, author = {Insu Song and Guido Governatori}, editor = {Abdul Sattar and Byeong{-}Ho Kang}, title = {Hardware Implementation of Temporal Nonmonotonic Logics}, booktitle = {{AI} 2006: Advances in Artificial Intelligence, 19th Australian Joint Conference on Artificial Intelligence, Hobart, Australia, December 4-8, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4304}, pages = {808--817}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11941439\_85}, doi = {10.1007/11941439\_85}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/SongG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/bis/LuSG06, author = {Ruopeng Lu and Shazia Wasim Sadiq and Guido Governatori}, editor = {Witold Abramowicz and Heinrich C. Mayr}, title = {Utilizing Successful Work Practice for Business Process Evolution}, booktitle = {Business Information Systems, 9th International Conference on Business Information Systems, {BIS} 2006, May 31 - June 2, 2006, Klagenfurt, Austria}, series = {{LNI}}, volume = {{P-85}}, pages = {58--76}, publisher = {{GI}}, year = {2006}, url = {https://dl.gi.de/handle/20.500.12116/24174}, timestamp = {Tue, 04 Jul 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/bis/LuSG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dalt/PadmanabhanG06, author = {Vineet Padmanabhan and Guido Governatori}, editor = {Matteo Baldoni and Ulle Endriss}, title = {A Fibred Tableau Calculus for Modal Logics of Agents}, booktitle = {Declarative Agent Languages and Technologies IV, 4th International Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4327}, pages = {105--122}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11961536\_8}, doi = {10.1007/11961536\_8}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/dalt/PadmanabhanG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dasc/OrgunMLG06, author = {Mehmet A. Orgun and Ji Ma and Chuchang Liu and Guido Governatori}, title = {Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems}, booktitle = {Second International Symposium on Dependable Autonomic and Secure Computing {(DASC} 2006), 29 September - 1 October 2006, Indianapolis, Indiana, {USA}}, pages = {325--332}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/DASC.2006.19}, doi = {10.1109/DASC.2006.19}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dasc/OrgunMLG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/GovernatoriMS06, author = {Guido Governatori and Zoran Milosevic and Shazia Wasim Sadiq}, title = {Compliance checking between business processes and business contracts}, booktitle = {Tenth {IEEE} International Enterprise Distributed Object Computing Conference {(EDOC} 2006), 16-20 October 2006, Hong Kong, China}, pages = {221--232}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/EDOC.2006.22}, doi = {10.1109/EDOC.2006.22}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/GovernatoriMS06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/GovernatoriPR06, author = {Guido Governatori and Vineet Padmanabhan and Antonino Rotolo}, editor = {Qiang Yang and Geoffrey I. Webb}, title = {Rule-Based Agents in Temporalised Defeasible Logic}, booktitle = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4099}, pages = {31--40}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11801603\_6}, doi = {10.1007/11801603\_6}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/pricai/GovernatoriPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/SongG06, author = {Insu Song and Guido Governatori}, editor = {Qiang Yang and Geoffrey I. Webb}, title = {Affective Web Service Design}, booktitle = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4099}, pages = {71--80}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11801603\_10}, doi = {10.1007/11801603\_10}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/SongG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/PadmanabhanG06, author = {Vineet Padmanabhan and Guido Governatori}, editor = {Qiang Yang and Geoffrey I. Webb}, title = {On Constructing Fibred Tableaux for {BDI} Logics}, booktitle = {{PRICAI} 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4099}, pages = {150--160}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11801603\_18}, doi = {10.1007/11801603\_18}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/PadmanabhanG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stairs/SongG06, author = {Insu Song and Guido Governatori}, editor = {Loris Penserini and Pavlos Peppas and Anna Perini}, title = {A Compact Argumentation System for Agent System Specification}, booktitle = {{STAIRS} 2006 - Proceedings of the Third Starting {AI} Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {142}, pages = {26--37}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1867}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stairs/SongG06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stairs/RiveretGR06, author = {R{\'{e}}gis Riveret and Guido Governatori and Antonino Rotolo}, editor = {Loris Penserini and Pavlos Peppas and Anna Perini}, title = {Argumentation Semantics for Temporal Defeasible Logic}, booktitle = {{STAIRS} 2006 - Proceedings of the Third Starting {AI} Researchers' Symposium, Riva del Garda, Trentino, Italy, 2006}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {142}, pages = {267--268}, publisher = {{IOS} Press}, year = {2006}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=1896}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stairs/RiveretGR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/aiml/2006, editor = {Guido Governatori and Ian M. Hodkinson and Yde Venema}, title = {Advances in Modal Logic 6, papers from the sixth conference on "Advances in Modal Logic," held in Noosa, Queensland, Australia, on 25-28 September 2006}, publisher = {College Publications}, year = {2006}, url = {http://www.aiml.net/volumes/volume6/}, isbn = {1-904987-20-6}, timestamp = {Wed, 17 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/aiml/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ecr/DumasAGH05, author = {Marlon Dumas and Lachlan Aldred and Guido Governatori and Arthur H. M. ter Hofstede}, title = {Probabilistic Automated Bidding in Multiple Auctions}, journal = {Electron. Commer. Res.}, volume = {5}, number = {1}, pages = {25--49}, year = {2005}, url = {https://doi.org/10.1023/B:ELEC.0000045972.75533.90}, doi = {10.1023/B:ELEC.0000045972.75533.90}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ecr/DumasAGH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcis/MilosevicG05, author = {Zoran Milosevic and Guido Governatori}, title = {Guest editors' introduction}, journal = {Int. J. Cooperative Inf. Syst.}, volume = {14}, number = {2-3}, pages = {73--76}, year = {2005}, url = {https://doi.org/10.1142/S021884300500116X}, doi = {10.1142/S021884300500116X}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijcis/MilosevicG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijcis/Governatori05, author = {Guido Governatori}, title = {Representing business contracts in \emph{RuleML}}, journal = {Int. J. Cooperative Inf. Syst.}, volume = {14}, number = {2-3}, pages = {181--216}, year = {2005}, url = {https://doi.org/10.1142/S0218843005001092}, doi = {10.1142/S0218843005001092}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijcis/Governatori05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jphil/GovernatoriR05, author = {Guido Governatori and Antonino Rotolo}, title = {On the Axiomatisation of Elgesem's Logic of Agency and Ability}, journal = {J. Philos. Log.}, volume = {34}, number = {4}, pages = {403--431}, year = {2005}, url = {https://doi.org/10.1007/s10992-004-6368-1}, doi = {10.1007/S10992-004-6368-1}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jphil/GovernatoriR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/SuSWLGP05, author = {Kaile Su and Abdul Sattar and Kewen Wang and Xiangyu Luo and Guido Governatori and Vineet Padmanabhan}, editor = {Manuela M. Veloso and Subbarao Kambhampati}, title = {Observation-based Model for BDI-Agents}, booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}}, pages = {190--195}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2005}, url = {http://www.aaai.org/Library/AAAI/2005/aaai05-031.php}, timestamp = {Tue, 05 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/SuSWLGP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/atal/SuSGC05, author = {Kaile Su and Abdul Sattar and Guido Governatori and Qingliang Chen}, editor = {Frank Dignum and Virginia Dignum and Sven Koenig and Sarit Kraus and Munindar P. Singh and Michael J. Wooldridge}, title = {A computationally grounded logic of knowledge, belief and certainty}, booktitle = {4th International Joint Conference on Autonomous Agents and Multiagent Systems {(AAMAS} 2005), July 25-29, 2005, Utrecht, The Netherlands}, pages = {149--156}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1082473.1082496}, doi = {10.1145/1082473.1082496}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/atal/SuSGC05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/DastaniGRT05, author = {Mehdi Dastani and Guido Governatori and Antonino Rotolo and Leendert W. N. van der Torre}, editor = {Shichao Zhang and Ray Jarvis}, title = {Preferences of Agents in Defeasible Logic}, booktitle = {{AI} 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3809}, pages = {695--704}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11589990\_72}, doi = {10.1007/11589990\_72}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/DastaniGRT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edoc/GovernatoriM05, author = {Guido Governatori and Zoran Milosevic}, title = {Dealing with contract violations: formalism and domain specific language}, booktitle = {Ninth {IEEE} International Enterprise Distributed Object Computing Conference {(EDOC} 2005), 19-23 September 2005, Enschede, The Netherlands}, pages = {46--57}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/EDOC.2005.13}, doi = {10.1109/EDOC.2005.13}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edoc/GovernatoriM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/eee/SkylogiannisABG05, author = {Thomas Skylogiannis and Grigoris Antoniou and Nick Bassiliades and Guido Governatori}, title = {{DR-NEGOTIATE} - {A} System for Automated Agent Negotiation with Defeasible Logic-Based Strategies}, booktitle = {2005 {IEEE} International Conference on e-Technology, e-Commerce, and e-Services {(EEE} 2005), 29 March - 1 April 2005, Hong Kong, China}, pages = {44--49}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/EEE.2005.61}, doi = {10.1109/EEE.2005.61}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/eee/SkylogiannisABG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriRS05, author = {Guido Governatori and Antonino Rotolo and Giovanni Sartor}, editor = {Giovanni Sartor}, title = {Temporalised Normative Positions in Defeasible Logic}, booktitle = {The Tenth International Conference on Artificial Intelligence and Law, Proceedings of the Conference, June 6-11, 2005, Bologna, Italy}, pages = {25--34}, publisher = {{ACM}}, year = {2005}, url = {https://doi.org/10.1145/1165485.1165490}, doi = {10.1145/1165485.1165490}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/SuSWG05, author = {Kaile Su and Abdul Sattar and Kewen Wang and Guido Governatori}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {Computationally Grounded Model of BDI-Agents}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {1581--1582}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/post-0148.pdf}, timestamp = {Wed, 27 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ijcai/SuSWG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jurix/GovernatoriPRRS05, author = {Guido Governatori and Monica Palmirani and R{\'{e}}gis Riveret and Antonino Rotolo and Giovanni Sartor}, editor = {Marie{-}Francine Moens and Peter Spyns}, title = {Norm Modifications in Defeasible Logic}, booktitle = {Legal Knowledge and Information Systems - {JURIX} 2005: The Eighteenth Annual Conference on Legal Knowledge and Information Systems, Brussels, Belgium, 8-10 December 2005}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {134}, pages = {13--22}, publisher = {{IOS} Press}, year = {2005}, url = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=835}, timestamp = {Tue, 13 Mar 2012 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/jurix/GovernatoriPRRS05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/DastaniGRT05, author = {Mehdi Dastani and Guido Governatori and Antonino Rotolo and Leendert W. N. van der Torre}, editor = {Geoff Sutcliffe and Andrei Voronkov}, title = {Programming Cognitive Agents in Defeasible Logic}, booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, {LPAR} 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3835}, pages = {621--636}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11591191\_43}, doi = {10.1007/11591191\_43}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lpar/DastaniGRT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/GovernatoriH05, author = {Guido Governatori and Duy Hoang}, editor = {Asaf Adi and Suzette Stoutenburg and Said Tabet}, title = {A Semantic Web Based Architecture for e-Contracts in Defeasible Logic}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3791}, pages = {145--159}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11580072\_12}, doi = {10.1007/11580072\_12}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/GovernatoriH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/SongG05, author = {Insu Song and Guido Governatori}, editor = {Asaf Adi and Suzette Stoutenburg and Said Tabet}, title = {Nested Rules in Defeasible Logic}, booktitle = {Rules and Rule Markup Languages for the Semantic Web, First International Conference, RuleML 2005, Galway, Ireland, November 10-12, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3791}, pages = {204--208}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11580072\_18}, doi = {10.1007/11580072\_18}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/SongG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wise/PothiprukG05, author = {Pakornpong Pothipruk and Guido Governatori}, editor = {Anne H. H. Ngu and Masaru Kitsuregawa and Erich J. Neuhold and Jen{-}Yao Chung and Quan Z. Sheng}, title = {A Formal Ontology Reasoning with Individual Optimization: {A} Realization of the Semantic Web}, booktitle = {Web Information Systems Engineering - {WISE} 2005, 6th International Conference on Web Information Systems Engineering, New York, NY, USA, November 20-22, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3806}, pages = {119--132}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11581062\_10}, doi = {10.1007/11581062\_10}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/wise/PothiprukG05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-cs-0511055, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Embedding Defeasible Logic into Logic Programming}, journal = {CoRR}, volume = {abs/cs/0511055}, year = {2005}, url = {http://arxiv.org/abs/cs/0511055}, eprinttype = {arXiv}, eprint = {cs/0511055}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511055.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ail/GelatiRSG04, author = {Jonathan Gelati and Antonino Rotolo and Giovanni Sartor and Guido Governatori}, title = {Normative autonomy and normative co-ordination: Declarative power, representation, and mandate}, journal = {Artif. Intell. Law}, volume = {12}, number = {1-2}, pages = {53--81}, year = {2004}, url = {https://doi.org/10.1007/s10506-004-1922-2}, doi = {10.1007/S10506-004-1922-2}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ail/GelatiRSG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/GovernatoriMAB04, author = {Guido Governatori and Michael J. Maher and Grigoris Antoniou and David Billington}, title = {Argumentation Semantics for Defeasible Logic}, journal = {J. Log. Comput.}, volume = {14}, number = {5}, pages = {675--702}, year = {2004}, url = {https://doi.org/10.1093/logcom/14.5.675}, doi = {10.1093/LOGCOM/14.5.675}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/GovernatoriMAB04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adc/CheowG04, author = {Peng Yew Cheow and Guido Governatori}, editor = {Klaus{-}Dieter Schewe and Hugh E. Williams}, title = {Representing and Reasoning on XForms Document}, booktitle = {Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, {ADC} 2004, Dunedin, New Zealand, 18-22 January 2004}, series = {{CRPIT}}, volume = {27}, pages = {141--150}, publisher = {Australian Computer Society}, year = {2004}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV27Cheow.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adc/CheowG04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adc/GovernatoriRS04, author = {Guido Governatori and Antonino Rotolo and Shazia Wasim Sadiq}, editor = {Klaus{-}Dieter Schewe and Hugh E. Williams}, title = {A Model of Dynamic Resource Allocation in Workflow Systems}, booktitle = {Database Technologies 2004, Proceedings of the Fifteenth Australasian Database Conference, {ADC} 2004, Dunedin, New Zealand, 18-22 January 2004}, series = {{CRPIT}}, volume = {27}, pages = {197--206}, publisher = {Australian Computer Society}, year = {2004}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV27Governatori.html}, timestamp = {Thu, 25 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adc/GovernatoriRS04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/SongGC04, author = {Insu Song and Guido Governatori and Robert M. Colomb}, editor = {Geoffrey I. Webb and Xinghuo Yu}, title = {An Interaction Model for Affect Monitoring}, booktitle = {{AI} 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence, Cairns, Australia, December 4-6, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3339}, pages = {979--984}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30549-1\_89}, doi = {10.1007/978-3-540-30549-1\_89}, timestamp = {Wed, 20 Nov 2019 16:52:44 +0100}, biburl = {https://dblp.org/rec/conf/ausai/SongGC04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/GovernatoriR04, author = {Guido Governatori and Antonino Rotolo}, editor = {Alessio Lomuscio and Donald Nute}, title = {Defeasible Logic: Agency, Intention and Obligation}, booktitle = {Deontic Logic in Computer Science, 7th International Workshop on Deontic Logic in Computer Science, {DEON} 2004, Madeira, Portugal, May 26-28, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3065}, pages = {114--128}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-25927-5\_8}, doi = {10.1007/978-3-540-25927-5\_8}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/deon/GovernatoriR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/Governatori04, author = {Guido Governatori}, editor = {Grigoris Antoniou and Harold Boley}, title = {Defeasible Description Logics}, booktitle = {Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3323}, pages = {98--112}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30504-0\_8}, doi = {10.1007/978-3-540-30504-0\_8}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/ruleml/Governatori04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adc/JohnstonG03, author = {Benjamin Johnston and Guido Governatori}, editor = {Klaus{-}Dieter Schewe and Xiaofang Zhou}, title = {An algorithm for the induction of defeasible logic theories from databases}, booktitle = {Database Technologies 2003, Proceedings of the 14th Australasian Database Conference, {ADC} 2003, Adelaide, South Australia, February 2003}, series = {{CRPIT}}, volume = {17}, pages = {75--83}, publisher = {Australian Computer Society}, year = {2003}, url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV17Johnston.html}, timestamp = {Sat, 08 Feb 2020 13:22:58 +0100}, biburl = {https://dblp.org/rec/conf/adc/JohnstonG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/GovernatoriLS03, author = {Guido Governatori and Alessio Lomuscio and Marek J. Sergot}, editor = {Tam{\'{a}}s D. Gedeon and Lance Chun Che Fung}, title = {A Tableaux System for Deontic Interpreted Systems}, booktitle = {{AI} 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2903}, pages = {339--351}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24581-0\_29}, doi = {10.1007/978-3-540-24581-0\_29}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ausai/GovernatoriLS03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/GovernatoriP03, author = {Guido Governatori and Vineet Padmanabhan}, editor = {Tam{\'{a}}s D. Gedeon and Lance Chun Che Fung}, title = {A Defeasible Logic of Policy-Based Intention}, booktitle = {{AI} 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2903}, pages = {414--426}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-24581-0\_35}, doi = {10.1007/978-3-540-24581-0\_35}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/GovernatoriP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/JohnstonG03, author = {Benjamin Johnston and Guido Governatori}, editor = {John Zeleznikow and Giovanni Sartor}, title = {Induction of Defeasible Logic Theories in the Legal Domain}, booktitle = {Proceedings of the 9th International Conference on Artificial Intelligence and Law, {ICAIL} 2003, Edinburgh, Scotland, UK, June 24-28, 2003}, pages = {204--213}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/1047788.1047834}, doi = {10.1145/1047788.1047834}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icail/JohnstonG03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Governatori03, author = {Guido Governatori}, editor = {James Harland}, title = {On the Relative Complexity of Labelled Modal Tableaux}, booktitle = {Computing: the Australasian Theory Symposiumm, {CATS} 2003, Adelaide, SA, Australia, February 4-7, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {78}, pages = {40--57}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)81005-3}, doi = {10.1016/S1571-0661(04)81005-3}, timestamp = {Fri, 11 Nov 2022 16:09:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Governatori03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ecra/DumasGHO02, author = {Marlon Dumas and Guido Governatori and Arthur H. M. ter Hofstede and Phillipa Oaks}, title = {A formal approach to negotiating agents development}, journal = {Electron. Commer. Res. Appl.}, volume = {1}, number = {2}, pages = {193--207}, year = {2002}, url = {https://doi.org/10.1016/S1567-4223(02)00016-9}, doi = {10.1016/S1567-4223(02)00016-9}, timestamp = {Sat, 22 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ecra/DumasGHO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/ArtosiGR02, author = {Alberto Artosi and Guido Governatori and Antonino Rotolo}, title = {Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations}, journal = {J. Log. Comput.}, volume = {12}, number = {6}, pages = {1027--1060}, year = {2002}, url = {https://doi.org/10.1093/logcom/12.6.1027}, doi = {10.1093/LOGCOM/12.6.1027}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/logcom/ArtosiGR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/GovernatoriPS02, author = {Guido Governatori and Vineet Padmanabhan and Abdul Sattar}, editor = {Bob McKay and John K. Slaney}, title = {A Defeasible Logic of Policy-Based Intention}, booktitle = {{AI} 2002: Advances in Artificial Intelligence, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2-6, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2557}, pages = {723}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36187-1\_71}, doi = {10.1007/3-540-36187-1\_71}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/GovernatoriPS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/GovernatoriPS02, author = {Guido Governatori and Vineet Padmanabhan and Abdul Sattar}, editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni}, title = {On Fibring Semantics for {BDI} Logics}, booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002, Cosenza, Italy, September, 23-26, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2424}, pages = {198--210}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45757-7\_17}, doi = {10.1007/3-540-45757-7\_17}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/jelia/GovernatoriPS02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ride/DumasGHR02, author = {Marlon Dumas and Guido Governatori and Arthur H. M. ter Hofstede and Nick Russell}, editor = {Yanchun Zhang and Amjad Umar and Ee{-}Peng Lim}, title = {An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions}, booktitle = {12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, RIDE'02, San Jose, California, USA, February 24-25, 2002}, pages = {75--83}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/RIDE.2002.995101}, doi = {10.1109/RIDE.2002.995101}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ride/DumasGHR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/www/DumasAGHR02, author = {Marlon Dumas and Lachlan Aldred and Guido Governatori and Arthur H. M. ter Hofstede and Nick Russell}, editor = {David Lassner and David De Roure and Arun Iyengar}, title = {A probabilistic approach to automated bidding in alternative auctions}, booktitle = {Proceedings of the Eleventh International World Wide Web Conference, {WWW} 2002, May 7-11, 2002, Honolulu, Hawaii, {USA}}, pages = {99--108}, publisher = {{ACM}}, year = {2002}, url = {https://doi.org/10.1145/511446.511460}, doi = {10.1145/511446.511460}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/www/DumasAGHR02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tocl/AntoniouBGM01, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Representation results for defeasible logic}, journal = {{ACM} Trans. Comput. Log.}, volume = {2}, number = {2}, pages = {255--287}, year = {2001}, url = {https://doi.org/10.1145/371316.371517}, doi = {10.1145/371316.371517}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tocl/AntoniouBGM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/PadmanabhanGS01, author = {Vineet Padmanabhan and Guido Governatori and Abdul Sattar}, editor = {Markus Stumptner and Dan Corbett and Michael J. Brooks}, title = {Actions Made Explicit in {BDI}}, booktitle = {{AI} 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2256}, pages = {390--401}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45656-2\_34}, doi = {10.1007/3-540-45656-2\_34}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/ausai/PadmanabhanGS01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icail/GovernatoriDHO01, author = {Guido Governatori and Marlon Dumas and Arthur H. M. ter Hofstede and Phillipa Oaks}, editor = {Ronald Prescott Loui}, title = {A formal approach to legal negotiation}, booktitle = {Proceedings of the Eigths International Conference on Artificial Intelligence and Law, {ICAIL} 2001, St. Louis, Missouri, USA, May 21-25, 2001}, pages = {168--177}, publisher = {{ACM}}, year = {2001}, url = {https://doi.org/10.1145/383535.383555}, doi = {10.1145/383535.383555}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icail/GovernatoriDHO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/AntoniouBGM00, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, editor = {Henry A. Kautz and Bruce W. Porter}, title = {A Flexible Framework for Defeasible Logics}, booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}}, pages = {405--410}, publisher = {{AAAI} Press / The {MIT} Press}, year = {2000}, url = {http://www.aaai.org/Library/AAAI/2000/aaai00-062.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/AntoniouBGM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/AntoniouBGMR00, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher and Andrew Rock}, editor = {Werner Horn}, title = {A Family of Defeasible Reasoning Logics and its Implementation}, booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000}, pages = {459--463}, publisher = {{IOS} Press}, year = {2000}, timestamp = {Mon, 30 Jun 2003 10:55:01 +0200}, biburl = {https://dblp.org/rec/conf/ecai/AntoniouBGMR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ecai/GovernatoriM00, author = {Guido Governatori and Michael J. Maher}, editor = {Werner Horn}, title = {An Argumentation-Theoretic Characterization of Defeasible Logic}, booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000}, pages = {469--473}, publisher = {{IOS} Press}, year = {2000}, timestamp = {Mon, 30 Jun 2003 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ecai/GovernatoriM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/GovernatoriMAB00, author = {Guido Governatori and Michael J. Maher and Grigoris Antoniou and David Billington}, editor = {Riichiro Mizoguchi and John K. Slaney}, title = {Argumentation Semantics for Defeasible Logics}, booktitle = {{PRICAI} 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28 - September 1, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1886}, pages = {27--37}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44533-1\_7}, doi = {10.1007/3-540-44533-1\_7}, timestamp = {Sat, 07 Sep 2019 11:59:26 +0200}, biburl = {https://dblp.org/rec/conf/pricai/GovernatoriMAB00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/ArtosiGR00, author = {Alberto Artosi and Guido Governatori and Antonino Rotolo}, editor = {Roy Dyckhoff}, title = {A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, {TABLEAUX} 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1847}, pages = {82--97}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/10722086\_10}, doi = {10.1007/10722086\_10}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/ArtosiGR00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-AI-0003013, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {A flexible framework for defeasible logics}, journal = {CoRR}, volume = {cs.AI/0003013}, year = {2000}, url = {https://arxiv.org/abs/cs/0003013}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-AI-0003013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0003050, author = {Alberto Artosi and Guido Governatori}, title = {A tableau methodology for deontic conditional logics}, journal = {CoRR}, volume = {cs.LO/0003050}, year = {2000}, url = {https://arxiv.org/abs/cs/0003050}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003050.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/cs-LO-0003082, author = {Grigoris Antoniou and David Billington and Guido Governatori and Michael J. Maher}, title = {Representation results for defeasible logic}, journal = {CoRR}, volume = {cs.LO/0003082}, year = {2000}, url = {https://arxiv.org/abs/cs/0003082}, timestamp = {Fri, 10 Jan 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/cs-LO-0003082.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/MaherG99, author = {Michael J. Maher and Guido Governatori}, editor = {Jim Hendler and Devika Subramanian}, title = {A Semantic Decomposition of Defeasible Logics}, booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, July 18-22, 1999, Orlando, Florida, {USA}}, pages = {299--305}, publisher = {{AAAI} Press / The {MIT} Press}, year = {1999}, url = {http://www.aaai.org/Library/AAAI/1999/aaai99-044.php}, timestamp = {Tue, 05 Sep 2023 09:10:47 +0200}, biburl = {https://dblp.org/rec/conf/aaai/MaherG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiia/GovernatoriL99, author = {Guido Governatori and Alessandro Luppi}, editor = {Evelina Lamma and Paola Mello}, title = {Labelled Tableaux for Non-normal Modal Logics}, booktitle = {AI*IA 99:Advances in Artificial Intelligence, 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1792}, pages = {119--130}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46238-4\_11}, doi = {10.1007/3-540-46238-4\_11}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/aiia/GovernatoriL99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/GiustoG99, author = {Paolo Di Giusto and Guido Governatori}, editor = {Pedro Barahona and Jos{\'{e}} J{\'{u}}lio Alferes}, title = {Analytic Modal Revision for Multi-agent Systems}, booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September 21-24, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1695}, pages = {282--296}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48159-1\_20}, doi = {10.1007/3-540-48159-1\_20}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/epia/GiustoG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/epia/GiustoG99a, author = {Paolo Di Giusto and Guido Governatori}, editor = {Pedro Barahona and Jos{\'{e}} J{\'{u}}lio Alferes}, title = {A New Approach to Base Revision}, booktitle = {Progress in Artificial Intelligence, 9th Portuguese Conference on Artificial Intelligence, {EPIA} '99, {\'{E}}vora, Portugal, September 21-24, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1695}, pages = {327--341}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48159-1\_23}, doi = {10.1007/3-540-48159-1\_23}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/epia/GiustoG99a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/BillingtonAGM99, author = {David Billington and Grigoris Antoniou and Guido Governatori and Michael J. Maher}, editor = {Wolfram Burgard and Thomas Christaller and Armin B. Cremers}, title = {Revising Nonmonotonic Theories: The Case of Defeasible Logic}, booktitle = {{KI-99:} Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1701}, pages = {101--112}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48238-5\_8}, doi = {10.1007/3-540-48238-5\_8}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/BillingtonAGM99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpnmr/AntoniouMBG99, author = {Grigoris Antoniou and Michael J. Maher and David Billington and Guido Governatori}, editor = {Michael Gelfond and Nicola Leone and Gerald Pfeifer}, title = {A Comparison of Sceptical NAF-Free Logic Programming Approaches}, booktitle = {Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1730}, pages = {347--356}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46767-X\_25}, doi = {10.1007/3-540-46767-X\_25}, timestamp = {Sun, 02 Oct 2022 16:11:19 +0200}, biburl = {https://dblp.org/rec/conf/lpnmr/AntoniouMBG99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ki/ArtosiCG97, author = {Alberto Artosi and Paola Cattabriga and Guido Governatori}, editor = {Gerhard Brewka and Christopher Habel and Bernhard Nebel}, title = {A Modal Computational Framework for Default Reasoning}, booktitle = {{KI-97:} Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1303}, pages = {373--376}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3540634932\_30}, doi = {10.1007/3540634932\_30}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ki/ArtosiCG97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aiml/ArtosiBGR96, author = {Alberto Artosi and Paola Benassi and Guido Governatori and Antonino Rotolo}, editor = {Marcus Kracht and Maarten de Rijke and Heinrich Wansing and Michael Zakharyaschev}, title = {Shakespearian Modal Logic: {A} Labelled Treatment of Modal Identity}, booktitle = {Advances in Modal Logic 1, papers from the first workshop on "Advances in Modal logic," held in Berlin, Germany, 8-10 October 1996}, pages = {1--21}, publisher = {{CSLI} Publications}, year = {1996}, timestamp = {Wed, 17 Jan 2024 17:12:17 +0100}, biburl = {https://dblp.org/rec/conf/aiml/ArtosiBGR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/deon/ArtosiGS96, author = {Alberto Artosi and Guido Governatori and Giovanni Sartor}, editor = {Mark A. Brown and Jos{\'{e}} Carmo}, title = {Towards a Computational Treatment of Deontic Defeasibility}, booktitle = {Deontic Logic, Agency and Normative Systems, {DEON} '96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11-13 January 1996}, series = {Workshops in Computing}, pages = {27--46}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/978-1-4471-1488-8\_2}, doi = {10.1007/978-1-4471-1488-8\_2}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/deon/ArtosiGS96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fapr/Governatori96, author = {Guido Governatori}, editor = {Dov M. Gabbay and Hans J{\"{u}}rgen Ohlbach}, title = {Labelling Ideality and Subideality}, booktitle = {Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, {FAPR} '96, Bonn, Germany, June 3-7, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1085}, pages = {291--304}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61313-7\_80}, doi = {10.1007/3-540-61313-7\_80}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/fapr/Governatori96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/jelia/ArtosiBGR96, author = {Alberto Artosi and Paola Benassi and Guido Governatori and Antonino Rotolo}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Lu{\'{\i}}s Moniz Pereira and Ewa Orlowska}, title = {Labelled Proofs for Quantified Modal Logic}, booktitle = {Logics in Artificial Intelligence, European Workshop, {JELIA} '96, {\'{E}}vora, Portugal, September 30 - October 3, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1126}, pages = {70--86}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61630-6\_5}, doi = {10.1007/3-540-61630-6\_5}, timestamp = {Sat, 19 Oct 2019 20:16:50 +0200}, biburl = {https://dblp.org/rec/conf/jelia/ArtosiBGR96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/ArtosiCG95, author = {Alberto Artosi and Paola Cattabriga and Guido Governatori}, editor = {Mar{\'{\i}}a Alpuente and Maria I. Sessa}, title = {A Prolog Implementation of Kem}, booktitle = {1995 Joint Conference on Declarative Programming, GULP-PRODE'95, Marina di Vietri, Italy, September 11-14, 1995}, pages = {395--400}, year = {1995}, timestamp = {Wed, 01 Dec 2004 15:33:44 +0100}, biburl = {https://dblp.org/rec/conf/agp/ArtosiCG95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/Governatori95, author = {Guido Governatori}, editor = {Peter Baumgartner and Reiner H{\"{a}}hnle and Joachim Posegga}, title = {Labelled Tableaux for Multi-Modal Logics}, booktitle = {Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, {TABLEAUX} '95, Schlo{\ss} Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {918}, pages = {79--94}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59338-1\_29}, doi = {10.1007/3-540-59338-1\_29}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Governatori95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/ArtosiCG94, author = {Alberto Artosi and Paola Cattabriga and Guido Governatori}, editor = {Carlo Biagioli and Giovanni Sartor and Daniela Tiscornia}, title = {{KED:} {A} Deontic Theorem Prover}, booktitle = {{ICLP} 1994 Workshop {W12:} Legal Application of Logic Programming, Santa Margherita Ligure, Italy, June 1994}, year = {1994}, timestamp = {Mon, 02 Dec 2013 17:40:43 +0100}, biburl = {https://dblp.org/rec/conf/iclp/ArtosiCG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.