Guido Governatori

383 papers A* 5A 14B 48C 56Misc 13Journal 112Unranked 116
YearRankTypeTitle / Venue / Authors
2025 — conf
An Experimental Analysis of the Legal Coding Process.
RuleML+RR (Companion)
Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
2025 J jnl
ChatGPT Unveils Its Limits: Principles of Law Deliver Checkmate.
CoRR
Marianna Molinari, Ilaria Angela Amantea, Marinella Quaranta, Guido Governatori
2025 — conf
Deontic Argumentation.
DEON
Guido Governatori, Antonino Rotolo
2025 — conf
Deontic Argumentation.
NMR
Guido Governatori, Antonino Rotolo
2025 J jnl
Deontic Argumentation.
CoRR
Guido Governatori, Antonino Rotolo
2025 J jnl
Explainability by design: an experimental analysis of the legal coding process.
CoRR
Matteo Cristani, Guido Governatori, Francesco Olivieri, Monica Palmirani, Gabriele Buriola
2025 — conf
From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis.
ASAIL@ICAIL
Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni
2025 J jnl
From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis.
CoRR
Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni
2025 J jnl
Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers From the 6th International Joint Conference on Rules and Reasoning (RuleML+RR 2022).
Theory Pract. Log. Program.
Guido Governatori, Anni-Yasmin Turhan
2025 C conf
Judicial Permission.
ICAIL
Guido Governatori, Antonino Rotolo
2025 J jnl
Judicial Permission.
CoRR
Guido Governatori, Antonino Rotolo
2025 C conf
Legal Explanation in Defeasible Deontic Logic via LegalRuleML.
ICAIL
Guido Governatori, Monica Palmirani
2025 C conf
Plans and Diversions EA.
JURIX
Galileo Sartor, Guido Governatori, Giuseppe Pisano, Antonino Rotolo, Adam Wyner
2025 C conf
Principles of Law: LLMs vs RegEx.
JURIX
Marianna Molinari, Ilaria Angela Amantea, Marinella Quaranta, Guido Governatori
2025 J jnl
Quantum-Cognitive Tunnelling Neural Networks for Military-Civilian Vehicle Classification and Sentiment Analysis.
CoRR
Milan Maksimovic, Anna Bohdanets, Immaculate Motsi-Omoijiade, Guido Governatori, Ivan S. Maksymov
2025 J jnl
Revising non-monotonic theories with sufficient and necessary conditions: the case of Defeasible Logic.
J. Log. Comput.
Francesco Olivieri, Matteo Cristani, Guido Governatori, Luca Pasetto, Antonino Rotolo, Simone Scannapieco, Claudio Tomazzoli, Tewabe Chekole Workneh
2025 C conf
Rule-based Deontic Case-based Reasoning.
ICAIL
Antonino Rotolo, Cecilia Di Florio, Guido Governatori
2024 C conf
A Logical Framework for Weak Permissions in Criminal Procedure.
JURIX
Guido Governatori, Antonino Rotolo
2024 B conf
Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm.
RuleML+RR
Guido Governatori, Francesco Olivieri
2024 J jnl
An ASP Implementation of Defeasible Deontic Logic.
Künstliche Intell.
Guido Governatori
2024 J jnl
Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic.
J. Log. Comput.
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
2024 J jnl
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Francesco Pacenza, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis, Jessica Zangari
2024 J jnl
Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity.
Artif. Intell. Law
Alice Witt, Anna Huggins, Guido Governatori, Joshua Buckley
2024 — conf
Fair Shifts by the Rule: a Rule-based Compliance Methodology for Medical Rosters.
RuleML+RR (Companion)
Guido Governatori, Ilaria Angela Amantea, Marinella Quaranta, Marianna Molinari, Simone Vagnoni, Andrea Filippo Ferraris, Giuseppe Contissa, Monica Palmirani, Marco Busso, Marco Grosso
2024 — conf
Simulating the Law in a Multi-Agent System.
WOA
Matteo Cristani, Francesco Olivieri, Guido Governatori, Gabriele Buriola
2024 J jnl
Traffic rules compliance checking of automated vehicle maneuvers.
Artif. Intell. Law
Hanif Bhuiyan, Guido Governatori, Andy Bond, Andry Rakotonirainy
2024 J jnl
Weak Permission is not Well-Founded, Grounded and Stable.
CoRR
Guido Governatori
2024 — conf
What's the AIM? A Methodology for Artificial Intelligence Compliance.
PLC@ICPM
Ilaria Angela Amantea, Guido Governatori, Marianna Molinari, Marinella Quaranta, Immaculate Motsi-Omoijiade
2023 C conf
Automating Business Process Compliance for the EU AI Act.
JURIX
Claudio Novelli, Guido Governatori, Antonino Rotolo
2023 J jnl
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs.
IEEE Trans. Software Eng.
Nick van Beest, Heerko Groefsema, Adrian Cryer, Guido Governatori, Silvano Colombo Tosatto, Hannah M. S. Burke
2023 C conf
Deontic Ambiguities in Legal Reasoning.
ICAIL
Guido Governatori, Antonino Rotolo
2023 J jnl
Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules.
Rev. Socionetwork Strateg.
Hanif Bhuiyan, Guido Governatori, Andry Rakotonirainy, Meng Weng Wong, Avishkar Mahajan
2023 — conf
Extraction of Defeasible Proofs as Explanations.
AI³@AI*IA
Luca Pasetto, Matteo Cristani, Guido Governatori, Francesco Olivieri, Edoardo Zorzi
2023 J jnl
Patterns for legal compliance checking in a decidable framework of linked open data.
Artif. Intell. Law
Enrico Francesconi, Guido Governatori
2023 B conf
Stable Normative Explanations: From Argumentation to Deontic Logic.
JELIA
Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor
2023 J jnl
Stable Normative Explanations: From Argumentation to Deontic Logic.
CoRR
Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor
2023 B conf
The architecture of a reasoning system for Defeasible Deontic Logic.
KES
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi
2022 J jnl
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic.
CoRR
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
2022 J jnl
Business Process Modelling in Healthcare and Compliance Management: A Logical Framework.
FLAP
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Governatori, Guido Boella
2022 J jnl
Deontic Meta-Rules.
CoRR
Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar
2022 J jnl
Enforcing ethical goals over reinforcement-learning policies.
Ethics Inf. Technol.
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
2022 J jnl
Explainable Reasoning with Legal Big Data: A Layered Framework.
FLAP
Grigoris Antoniou, Katie Atkinson, George Baryannis, Sotiris Batsakis, Luigo Di Caro, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2022 B conf
From Defeasible Logic to Counterfactual Reasoning.
RuleML+RR
Matteo Cristani, Guido Governatori, Francesco Olivieri, Antonino Rotolo
2022 — conf
Houdini (unchained): An Effective Reasoner for Defeasible Logic.
AI³@AI*IA
Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi
2022 B conf
Inference to the Stable Explanations.
LPNMR
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani
2022 — conf
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes.
BPM (Forum)
Heerko Groefsema, Nick R. T. P. van Beest, Guido Governatori
2022 B ed.
Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings
RuleML+RR
Guido Governatori, Anni-Yasmin Turhan
2022 C conf
Stable Normative Explanations.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani
2022 — conf
Taking stock of available technologies for compliance checking on first-order knowledge.
CILC
Livio Robaldo, Sotiris Batsakis, Roberta Calegari, Francesco Calimeri, Megumi Fujita, Guido Governatori, Maria Concetta Morelli, Giuseppe Pisano, Ken Satoh, Ilias Tachmazidis
2022 J jnl
Thirty years of Artificial Intelligence and Law: the first decade.
Artif. Intell. Law
Guido Governatori, Trevor J. M. Bench-Capon, Bart Verheij, Michal Araszkiewicz, Enrico Francesconi, Matthias Grabmair
2022 — conf
Validation of Autonomous Vehicle Overtaking under Queensland Road Rules.
RuleML+RR (Companion)
Hanif Bhuiyan, Guido Governatori, Andy Bond, Andry Rakotonirainy
2021 — conf
A Defeasible Deontic Logic for Pragmatic Oddity.
DEON
Guido Governatori, Silvano Colombo Tosatto, Antonino Rotolo
2021 A conf
A Normative Supervisor for Reinforcement Learning Agents.
CADE
Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori
2021 J jnl
AI and Ethics - Operationalising Responsible AI.
CoRR
Liming Zhu, Xiwei Xu, Qinghua Lu, Guido Governatori, Jon Whittle
2021 J jnl
Compliance-aware engineering process plans: the case of space software engineering processes.
Artif. Intell. Law
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
2021 J jnl
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice.
FLAP
Silvano Colombo Tosatto, Guido Governatori
2021 B conf
Computing Defeasible Meta-logic.
JELIA
Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar
2021 C conf
Computing Private International Law.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani
2021 C conf
Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment.
ICAIL
Alice Witt, Anna Huggins, Guido Governatori, Joshua Buckley
2021 — conf
Is Free Choice Permission Admissible in Classical Deontic Logic?
DEON
Guido Governatori, Antonino Rotolo
2021 J jnl
Large-scale Legal Reasoning with Rules and Databases.
FLAP
Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Mohammad Badiul Islam, Qing Liu, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis
2021 — ed.
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
PRICAI (1)
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
2021 — ed.
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
PRICAI (2)
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
2021 — ed.
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
PRICAI (3)
Duc Nghia Pham, Thanaruk Theeramunkong, Guido Governatori, Fenrong Liu
2021 J jnl
Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants.
CoRR
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2021 — conf
Semi-automated checking for regulatory compliance in e-Health.
EDOC Workshops
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Boella, Guido Governatori
2021 J jnl
Semi-automated checking for regulatory compliance in e-Health.
CoRR
Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Boella, Guido Governatori
2021 J jnl
Strategic Argumentation.
FLAP
Guido Governatori, Michael J. Maher, Francesco Olivieri
2021 J jnl
Synthesis of Regulation Compliant Business Processes.
IEEE Trans. Serv. Comput.
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri
2021 J jnl
Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics.
FLAP
Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori
2021 J jnl
Towards an efficient rule-based framework for legal reasoning.
Knowl. Based Syst.
Qing Liu, Mohammad Badiul Islam, Guido Governatori
2021 C conf
Unravel legal references in defeasible deontic logic.
ICAIL
Guido Governatori, Francesco Olivieri
2020 J jnl
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time.
CoRR
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2020 C conf
Free Choice Permission in Defeasible Deontic Logic.
JURIX
Guido Governatori, Antonino Rotolo
2020 — ed.
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.
ASLD@ISWC
Manolis Koubarakis, Harith Alani, Grigoris Antoniou, Kalina Bontcheva, John G. Breslin, Diego Collarana, Elena Demidova, Stefan Dietze, Simon Gottschalk, Guido Governatori, Aidan Hogan, Freddy Lécué, Elena Montiel-Ponsoda, Axel-Cyrille Ngonga Ngomo, Sofia Pinto, Muhammad Saleem, Raphaël Troncy, Eleni Tsalapati, Ricardo Usbeck, Ruben Verborgh
2020 B conf
On the Formal Representation of the Australian Spent Conviction Scheme.
RuleML+RR
Guido Governatori, Pompeu Casanovas Romeu, Louis de Koker
2020 — conf
Principles and Semantics: Modelling Violations for Normative Reasoning.
AICOL
Silvano Colombo Tosatto, Guido Governatori, Antonino Rotolo
2020 — ed.
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.
MIREL@JURIX
Giovanni Casini, Luigi Di Caro, Guido Governatori, Valentina Leone, Réka Markovich
2020 C conf
Traffic Rules Encoding Using Defeasible Deontic Logic.
JURIX
Hanif Bhuiyan, Guido Governatori, Andy Bond, Sébastien Demmel, Mohammad Badiul Islam, Andry Rakotonirainy
2020 B conf
Verifying Compliance of Process Compositions Through Certification of its Components.
EDOC
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2019 C conf
A Computational Model for Pragmatic Oddity.
JURIX
Guido Governatori, Antonino Rotolo
2019 — conf
A Methodology for Encoding Regulatory Rules.
MIREL@JURIX
Hanif Bhuiyan, Francesco Olivieri, Guido Governatori, Mohammad Badiul Islam, Andy Bond, Andry Rakotonirainy
2019 — conf
A Short Note on the Chisholm Paradox.
MIREL@JURIX
Guido Governatori
2019 J jnl
A probabilistic argumentation framework for reinforcement learning agents - Towards a mentalistic approach to agent profiles.
Auton. Agents Multi Agent Syst.
Régis Riveret, Yang Gao, Guido Governatori, Antonino Rotolo, Jeremy Pitt, Giovanni Sartor
2019 B conf
Advancements in Resource-Driven Substructural Defeasible Logic.
JELIA
Francesco Olivieri, Guido Governatori, Matteo Cristani
2019 J jnl
An axiomatic characterization of temporalised belief revision in the law.
Artif. Intell. Law
Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori
2019 — conf
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes.
DICE-FOPARA@ETAPS
Francesco Olivieri, Guido Governatori, Claudio Tomazzoli, Matteo Cristani
2019 — conf
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.
JSAI-isAI Workshops
Gabriela Ferraro, Ho-Pun Lam, Silvano Colombo Tosatto, Francesco Olivieri, Mohammad Badiul Islam, Nick van Beest, Guido Governatori
2019 A conf
Checking Regulatory Compliance: Will We Live to See It?
BPM
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest
2019 C conf
Deontic Closure and Conflict in Legal Reasoning.
JURIX
Guido Governatori, Robert Mullins
2019 J jnl
Efficient Full Compliance Checking of Concurrent Components for business Process Models.
FLAP
Silvano Colombo Tosatto, Guido Governatori, Nick van Beest, Francesco Olivieri
2019 J jnl
Information and friend segregation for online social networks: a user study.
AI Soc.
Javed Ahmed, Serena Villata, Guido Governatori
2019 J jnl
Is Free Choice Permission Admissible in Classical Deontic Logic?
CoRR
Guido Governatori, Antonino Rotolo
2019 C conf
Legal Compliance in a Linked Open Data Framework.
JURIX
Enrico Francesconi, Guido Governatori
2019 C conf
Legislative Dialogues with Incomplete Information.
JURIX
Guido Governatori, Antonino Rotolo
2019 C conf
Modelling Dialogues for Optimal Legislation.
ICAIL
Guido Governatori, Antonino Rotolo, Régis Riveret, Serena Villata
2019 B conf
Non-monotonic Collective Decisions.
PRIMA
Matteo Cristani, Francesco Olivieri, Guido Governatori
2019 — ed.
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.
RuleML+RR (Supplement)
Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca
2019 J jnl
Revision of defeasible preferences.
Int. J. Approx. Reason.
Guido Governatori, Francesco Olivieri, Matteo Cristani, Simone Scannapieco
2019 J jnl
Time and Compensation Mechanisms in Checking Legal Compliance.
FLAP
Guido Governatori, Antonino Rotolo
2018 B conf
A Deontic Argumentation Framework Based on Deontic Defeasible Logic.
PRIMA
Guido Governatori, Antonino Rotolo, Régis Riveret
2018 J jnl
A labelling framework for probabilistic argumentation.
Ann. Math. Artif. Intell.
Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor
2018 J jnl
Are we done with business process compliance: state of the art and challenges ahead.
Knowl. Inf. Syst.
Mustafa Hashmi, Guido Governatori, Ho-Pun Lam, Moe Thandar Wynn
2018 J jnl
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Manag. Inf. Syst.
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu
2018 — conf
Dialogues on Moral Theories.
DEON
Guido Governatori, Francesco Olivieri, Régis Riveret, Antonino Rotolo, Serena Villata
2018 C conf
Legal Representation and Reasoning in Practice: A Critical Comparison.
JURIX
Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
2018 — conf
Lessons Learned while Formalizing ISO 26262 for Compliance Checking.
TERECOM@JURIX
Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori
2018 B conf
Modal Rules: Extending Defeasible Logic with Modal Operators.
RuleML+RR
Guido Governatori
2018 C conf
Modelling Legal Knowledge for GDPR Compliance Checking.
JURIX
Monica Palmirani, Guido Governatori
2018 J jnl
Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation.
Artif. Intell. Law
Mustafa Hashmi, Guido Governatori
2018 J jnl
On legal contracts, imperative and declarative smart contracts, and blockchain systems.
Artif. Intell. Law
Guido Governatori, Florian Idelberger, Zoran Milosevic, Régis Riveret, Giovanni Sartor, Xiwei Xu
2018 — conf
Practical Normative Reasoning with Defeasible Deontic Logic.
RW
Guido Governatori
2018 J jnl
Research in progress: report on the ICAIL 2017 doctoral consortium.
Artif. Intell. Law
Maria Dymitruk, Réka Markovich, Ruta Liepina, Mirna El Ghosh, Robert van Doesburg, Guido Governatori, Bart Verheij
2018 B conf
Resource-Driven Substructural Defeasible Logic.
PRIMA
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
2018 J jnl
Resource-driven Substructural Defeasible Logic.
CoRR
Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto
2018 J jnl
RuleRS: a rule-based architecture for decision support systems.
Artif. Intell. Law
Mohammad Badiul Islam, Guido Governatori
2018 — conf
Sending Messages in Social Networks.
KES-AMSTA
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Guido Governatori
2018 J jnl
Sequence Semantics for Modelling Reason-based Preferences.
Fundam. Informaticae
Erica Calardo, Guido Governatori, Antonino Rotolo
2017 J jnl
A Labelling Framework for Probabilistic Argumentation.
CoRR
Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor
2017 — conf
A Short Introduction to the Regorous Compliance by Design Methodology.
TERECOM@JURIX
Guido Governatori
2017 J jnl
Annotated Defeasible Logic.
CoRR
Guido Governatori, Michael J. Maher
2017 J jnl
Annotated defeasible logic.
Theory Pract. Log. Program.
Guido Governatori, Michael J. Maher
2017 J jnl
Blockchains for Business Process Management - Challenges and Opportunities.
CoRR
Jan Mendling, Ingo Weber, Wil M. P. van der Aalst, Jan vom Brocke, Cristina Cabanillas, Florian Daniel, Søren Debois, Claudio Di Ciccio, Marlon Dumas, Schahram Dustdar, Avigdor Gal, Luciano García-Bañuelos, Guido Governatori, Richard Hull, Marcello La Rosa, Henrik Leopold, Frank Leymann, Jan Recker, Manfred Reichert, Hajo A. Reijers, Stefanie Rinderle-Ma, Andreas Rogge-Solti, Michael Rosemann, Stefan Schulte, Munindar P. Singh, Tijs Slaats, Mark Staples, Barbara Weber, Matthias Weidlich, Mathias Weske, Xiwei Xu, Liming Zhu
2017 — conf
Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents.
AICOL
Mauro Dragoni, Serena Villata, Williams Rizzi, Guido Governatori
2017 — conf
Declarative Approaches for Compliance by Design.
ASSRI
Francesco Olivieri, Guido Governatori, Nick van Beest, Nina Ghanbari Ghooshchi
2017 C conf
Normative Requirements as Linked Data.
JURIX
Fabien Gandon, Guido Governatori, Serena Villata
2017 C ed.
Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, ICAIL 2017, London, United Kingdom, June 12-16, 2017
ICAIL
Jeroen Keppens, Guido Governatori
2017 J jnl
RuleML (Web Rule Symposium) 2016 Report.
AI Mag.
Paul Fodor, Guido Governatori, José Júlio Alferes, Leopoldo E. Bertossi
2017 C conf
Temporalised Belief Revision in the Law.
JURIX
Luciano H. Tamargo, Diego C. Martínez, Antonino Rotolo, Guido Governatori
2017 B conf
Visualisation of Compliant Declarative Business Processes.
EDOC
Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar
2016 J jnl
A policy-based B2C e-Contract management workflow methodology using semantic web agents.
Artif. Intell. Law
Kalliopi Kravari, Nick Bassiliades, Guido Governatori
2016 — conf
Evaluation of Logic-Based Smart Contracts for Blockchain Systems.
RuleML
Florian Idelberger, Guido Governatori, Régis Riveret, Giovanni Sartor
2016 C conf
Interpretation Across Legal Systems.
JURIX
Alessandra Malerba, Antonino Rotolo, Guido Governatori
2016 J jnl
Normative requirements for regulatory compliance: An abstract formal framework.
Inf. Syst. Frontiers
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn
2016 C conf
On ASPIC
COMMA
Ho-Pun Lam, Guido Governatori, Régis Riveret
2016 A conf
On Labelling Statements in Multi-Labelling Argumentation.
ECAI
Pietro Baroni, Guido Governatori, Régis Riveret
2016 A conf
On Learning Attacks in Probabilistic Abstract Argumentation.
AAMAS
Régis Riveret, Guido Governatori
2016 A* conf
On the Justification of Statements in Argumentation-based Reasoning.
KR
Pietro Baroni, Guido Governatori, Ho-Pun Lam, Régis Riveret
2016 — ed.
Rule Technologies. Research, Tools, and Applications - 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
RuleML
José Júlio Alferes, Leopoldo E. Bertossi, Guido Governatori, Paul Fodor, Dumitru Roman
2016 B conf
Semantic Business Process Regulatory Compliance Checking Using LegalRuleML.
EKAW
Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani
2016 B conf
Sequence Semantics for Normative Agents.
PRIMA
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
2016 — conf
Sequence Semantics for Norms and Obligations.
DEON
Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo
2016 J jnl
The rationale behind the concept of goal.
Theory Pract. Log. Program.
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2016 A conf
Untrusted Business Process Monitoring and Execution Using Blockchain.
BPM
Ingo Weber, Xiwei Xu, Régis Riveret, Guido Governatori, Alexander Ponomarev, Jan Mendling
2015 J jnl
Algorithms for tractable compliance problems.
Frontiers Comput. Sci.
Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre
2015 C conf
Burden of Compliance and Burden of Violation.
JURIX
Guido Governatori
2015 J jnl
Business Process Regulatory Compliance is Hard.
IEEE Trans. Serv. Comput.
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
2015 B conf
Compliant Business Processes with Exclusive Choices from Agent Specification.
PRIMA
Francesco Olivieri, Matteo Cristani, Guido Governatori
2015 C conf
Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments.
ICAIL
Antonino Rotolo, Guido Governatori, Giovanni Sartor
2015 J jnl
Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems.
Scalable Comput. Pract. Exp.
Hoa Khanh Dam, Jeremy V. Pitt, Guido Governatori, Takayuki Ito, Yang Xu
2015 — conf
LegalRuleML: Design Principles and Foundations.
Reasoning Web
Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
2015 — ch.
Logics for Legal Dynamics.
Logic in the Theory and Practice of Lawmaking
Guido Governatori, Antonino Rotolo
2015 — ch.
Managing Regulatory Compliance in Business Processes.
Handbook on Business Process Management (2)
Shazia Sadiq, Guido Governatori
2015 — conf
Message from the EVL-BP 2015 Workshop Co-Chairs.
EDOC Workshops
Guido Governatori, Georg Grossmann, Jens Kolb
2015 B conf
No Time for Compliance.
EDOC
Guido Governatori, Mustafa Hashmi
2015 C conf
Permissions in Deontic Event-Calculus.
JURIX
Guido Governatori, Mustafa Hashmi
2015 C conf
RuleOMS: a rule-based online management system.
ICAIL
Mohammad Badiul Islam, Guido Governatori
2015 B conf
Semantics for Modelling Reason-Based Preferences.
PRIMA
Erica Calardo, Guido Governatori, Antonino Rotolo
2015 J jnl
The Rationale behind the Concept of Goal.
CoRR
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2015 — conf
The Regorous Approach to Process Compliance.
EDOC Workshops
Guido Governatori
2015 C conf
Thou shalt is not you will.
ICAIL
Guido Governatori
2014 — conf
A Preference-Based Semantics for CTD Reasoning.
DEON
Erica Calardo, Guido Governatori, Antonino Rotolo
2014 — conf
Checking Licenses Compatibility between Vocabularies and Data.
COLD
Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Ghislain Auguste Atemezing, Fabien Gandon
2014 — conf
Detecting Deontic Conflicts in Dynamic Settings.
DEON
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
2014 J jnl
ICT Support for Regulatory Compliance of Business Processes.
CoRR
Guido Governatori
2014 — conf
LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data.
ISWC (Posters & Demos)
Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Ghislain Auguste Atemezing, Fabien Gandon
2014 — conf
Legal Interpretations in LegalRuleML.
SW4LAW+DC@JURIX
Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
2014 — conf
Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data.
ISWC (Posters & Demos)
Cristian Cardellino, Serena Villata, Fabien Gandon, Guido Governatori, Ho-Pun Lam, Antonino Rotolo
2014 — conf
Modeling Obligations with Event-Calculus.
RuleML
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn
2014 B conf
On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic.
PRIMA
Marc Allaire, Guido Governatori
2014 B ed.
PRIMA 2014: Principles and Practice of Multi-Agent Systems - 17th International Conference, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings
PRIMA
Hoa Khanh Dam, Jeremy V. Pitt, Yang Xu, Guido Governatori, Takayuki Ito
2014 J jnl
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII).
J. Log. Comput.
Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori
2014 — conf
Social Interaction Based Audience Segregation for Online Social Networks.
ECSI
Javed Ahmed, Guido Governatori, Leendert W. N. van der Torre, Serena Villata
2014 C conf
Strategic Argumentation Under Grounded Semantics is NP-Complete.
EUMAS
Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2014 A conf
Strategic Argumentation is NP-Complete.
ECAI
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2014 — conf
The Hardness of Revising Defeasible Preferences.
RuleML
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2014 J jnl
Thou Shalt is not You Will.
CoRR
Guido Governatori
2014 C conf
Two Faces of Strategic Argumentation in the Law.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Giovanni Sartor
2013 — conf
A Methodological Evaluation of Business Process Compliance Management Frameworks.
AP-BPM
Mustafa Hashmi, Guido Governatori
2013 B conf
A Methodology for Plan Revision under Norm and Outcome Compliance.
PRIMA
Simone Scannapieco, Guido Governatori, Francesco Olivieri, Matteo Cristani
2013 — conf
A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics.
RuleML (2)
Adam Z. Wyner, Guido Governatori
2013 — conf
Algorithms for Basic Compliance Problems.
ICST Workshops
Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre
2013 J jnl
Business Process Compliance: An Abstract Normative Framework.
it Inf. Technol.
Guido Governatori
2013 B conf
Compliant Business Process Design by Declarative Specifications.
PRIMA
Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani
2013 J jnl
Computing Strong and Weak Permissions in Defeasible Logic.
J. Philos. Log.
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2013 — conf
Computing Temporal Defeasible Logic.
RuleML
Guido Governatori, Antonino Rotolo
2013 C conf
Heuristics for Licenses Composition.
JURIX
Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Fabien Gandon
2013 C conf
Legal contractions: a logical analysis.
ICAIL
Guido Governatori, Antonino Rotolo, Francesco Olivieri, Simone Scannapieco
2013 — conf
LegalRuleML: From Metamodel to Use Cases - (A Tutorial).
RuleML
Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
2013 — book
Normative Multi-Agent Systems
Normative Multi-Agent Systems
Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leendert W. N. van der Torre
2013 — conf
Normative Requirements for Business Process Compliance.
ASSRI
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn
2013 C conf
OASIS LegalRuleML.
ICAIL
Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner
2013 — conf
One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data.
ISWC (1)
Guido Governatori, Antonino Rotolo, Serena Villata, Fabien Gandon
2013 — conf
Picking Up the Best Goal - An Analytical Study in Defeasible Logic.
RuleML
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Matteo Cristani
2013 C conf
Regorous: a business process compliance checker.
ICAIL
Guido Governatori, Sidney Shek
2013 J jnl
Strategic Argumentation is NP-Complete.
CoRR
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani
2013 — ch.
The Uses of Norms.
Normative Multi-Agent Systems
Munindar P. Singh, Matthew Arrott, Tina Balke, Amit K. Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krüger, Ho-Pun Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen, Serena Villata
2013 J jnl
Towards a model of UAVs navigation in urban canyon through defeasible logic.
J. Log. Comput.
Ho-Pun Lam, Guido Governatori
2013 — conf
Towards an Abstract Framework for Compliance.
EDOC Workshops
Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen
2012 J jnl
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
Artif. Intell. Law
Trevor J. M. Bench-Capon, Michal Araszkiewicz, Kevin D. Ashley, Katie Atkinson, Floris Bex, Filipe Borges, Danièle Bourcier, Paul Bourgine, Jack G. Conrad, Enrico Francesconi, Thomas F. Gordon, Guido Governatori, Jochen L. Leidner, David D. Lewis, Ronald Prescott Loui, L. Thorne McCarty, Henry Prakken, Frank Schilder, Erich Schweighofer, Paul Thompson, Alex Tyrrell, Bart Verheij, Douglas N. Walton, Adam Z. Wyner
2012 J jnl
An implicit approach to deal with periodically repeated medical data.
Artif. Intell. Medicine
Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi, Abdul Sattar
2012 — conf
Business Process Data Compliance.
RuleML
Mustafa Hashmi, Guido Governatori, Moe Thandar Wynn
2012 — ed.
Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings
CLIMA
Michael Fisher, Leon van der Torre, Mehdi Dastani, Guido Governatori
2012 J jnl
Computing Strong and Weak Permissions in Defeasible Logic
CoRR
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2012 — conf
Distributed Defeasible Speculative Reasoning in Ambient Environment.
CLIMA
Ho-Pun Lam, Guido Governatori, Ken Satoh, Hiroshi Hosobe
2012 C conf
Narrowing Legal Concepts.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2012 J jnl
Normative Multi-Agent Systems (Dagstuhl Seminar 12111).
Dagstuhl Reports
Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre
2012 J jnl
On compliance checking for clausal constraints in annotated process models.
Inf. Syst. Frontiers
Jörg Hoffmann, Ingo Weber, Guido Governatori
2012 A conf
On modeling punishment in multi-agent systems.
AAMAS
Subhasis Thakur, Guido Governatori, Abdul Sattar
2012 — conf
Possible World Semantics for Defeasible Deontic Logic.
DEON
Guido Governatori, Antonino Rotolo, Erica Calardo
2012 J jnl
Revision of Defeasible Logic Preferences
CoRR
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2012 — conf
Rule Based Business Process Compliance.
RuleML (2)
Guido Governatori, Sidney Shek
2011 J jnl
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web.
Int. J. Semantic Web Inf. Syst.
Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2011 J jnl
A modelling and reasoning framework for social networks policies.
Enterp. Inf. Syst.
Guido Governatori, Renato Iannella
2011 B ed.
Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings
PRIMA
David Kinny, Jane Yung-jen Hsu, Guido Governatori, Aditya K. Ghose
2011 — conf
Approximate Record Matching Using Hash Grams.
ICDM Workshops
Mohammed Gollapalli, Xue Li, Ian A. Wood, Guido Governatori
2011 — conf
Designing for Compliance: Norms and Goals.
RuleML America
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2011 — conf
Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.
MIWAI
Vineet Padmanabhan, Guido Governatori, Abdul Sattar
2011 — conf
Incorporating Temporal Planning Within a BDI Architecture.
IICAI
Vineet Padmanabhan, Abdul Sattar, Guido Governatori, Kollapalli Ramesh Babu
2011 — conf
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance.
CLIMA
Guido Governatori, Antonino Rotolo
2011 — conf
LegalRuleML: XML-Based Rules and Norms.
RuleML America
Monica Palmirani, Guido Governatori, Antonino Rotolo, Said Tabet, Harold Boley, Adrian Paschke
2011 J jnl
Levels of modality for BDI Logic.
J. Appl. Log.
Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
2011 C conf
Modelling temporal legal rules.
ICAIL
Monica Palmirani, Guido Governatori, Giuseppe Contissa
2011 C conf
On the relationship between Carneades and Defeasible Logic.
ICAIL
Guido Governatori
2011 — conf
Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts.
ADMA (2)
Mohammed Gollapalli, Xue Li, Ian A. Wood, Guido Governatori
2011 — ed.
Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings
RuleML Europe
Nick Bassiliades, Guido Governatori, Adrian Paschke
2011 J jnl
Special issue on logics for intelligent agents and multi-agent systems.
J. Appl. Log.
Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar
2011 C conf
Three Concepts of Defeasible Permission.
JURIX
Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco
2011 J jnl
Time and defeasibility in FIPA ACL semantics.
J. Appl. Log.
Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre
2011 B conf
What Are the Necessity Rules in Defeasible Reasoning?
LPNMR
Ho-Pun Lam, Guido Governatori
2010 — conf
A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web.
RuleML
Kalliopi Kravari, Grammati-Eirini Kastori, Nick Bassiliades, Guido Governatori
2010 A* conf
A Logical Understanding of Legal Interpretation.
KR
Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre
2010 Misc conf
A conceptually rich model of business process compliance.
APCCM
Guido Governatori, Antonino Rotolo
2010 J jnl
An inclusion theorem for defeasible logics.
ACM Trans. Comput. Log.
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
2010 C conf
Automatic synthesis of reactive agents.
ICARCV
Insu Song, Guido Governatori, Joachim Diederich
2010 C conf
Burdens of Proof in Monological Argumentation.
JURIX
Guido Governatori, Giovanni Sartor
2010 J jnl
Changing legal systems: legal abrogations and annulments in Defeasible Logic.
Log. J. IGPL
Guido Governatori, Antonino Rotolo
2010 — ed.
Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI, Lisbon, Portugal, August 16-17, 2010. Proceedings
CLIMA
Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga
2010 — ed.
Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings
DEON
Guido Governatori, Giovanni Sartor
2010 J jnl
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments.
IEEE Trans. Knowl. Data Eng.
Nick Bassiliades, Guido Governatori, Adrian Paschke, Jürgen Dix
2010 — conf
Law, logic and business processes.
RELAW
Guido Governatori
2010 — conf
Norm Compliance in Business Process Modeling.
RuleML
Guido Governatori, Antonino Rotolo
2010 — conf
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic.
RuleML
Ho-Pun Lam, Guido Governatori
2010 — conf
SBVR based Business Contract and Business Rule IDE.
RuleML Challenge
Aqueo Kamada, Guido Governatori, Shazia Sadiq
2010 — conf
Superiority Based Revision of Defeasible Theories.
RuleML
Guido Governatori, Francesco Olivieri, Simone Scannapieco, Matteo Cristani
2010 C conf
Temporal Dimensions in Rules Modelling.
JURIX
Monica Palmirani, Guido Governatori, Giuseppe Contissa
2010 — conf
Towards an implicit treatment of periodically-repeated medical data.
MedInfo
Bela Stantic, Paolo Terenziani, Abdul Sattar, Alessio Bottrighi, Guido Governatori
2010 — conf
Transformation of SBVR Compliant Business Rules to Executable FCL Rules.
RuleML
Aqueo Kamada, Guido Governatori, Shazia Sadiq
2009 — conf
A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic.
RuleML Challenge
Ho-Pun Lam, Subhasis Thakur, Guido Governatori, Abdul Sattar
2009 J jnl
A defeasible logic for modelling policy-based intentions and motivational attitudes.
Log. J. IGPL
Guido Governatori, Vineet Padmanabhan, Antonino Rotolo, Abdul Sattar
2009 J jnl
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems.
Expert Syst. Appl.
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2009 B ed.
Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers
PRIMA
Aditya K. Ghose, Guido Governatori, Ramakoti Sadananda
2009 J jnl
DR-CONTRACT: an architecture for e-contracts in defeasible logic.
Int. J. Bus. Process. Integr. Manag.
Guido Governatori, Duy Hoang Pham
2009 — conf
Defining Adaptation Constraints for Business Process Variants.
BIS
Ruopeng Lu, Shazia Sadiq, Guido Governatori, Xiaoping Yang
2009 J jnl
Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games.
J. Univers. Comput. Sci.
Duy Hoang Pham, Guido Governatori, Subhasis Thakur
2009 — conf
How Do Agents Comply with Norms?
Normative Multi-Agent Systems
Guido Governatori, Antonino Rotolo
2009 — conf
How Do Agents Comply with Norms?
Web Intelligence/IAT Workshops
Guido Governatori, Antonino Rotolo
2009 — conf
Implementing Temporal Defeasible Logic for Modeling Legal Reasoning.
JSAI-isAI Workshops
Guido Governatori, Antonino Rotolo, Rossella Rubino
2009 C ed.
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
JURIX
Guido Governatori
2009 J jnl
Modal tableaux for verifying stream authentication protocols.
Auton. Agents Multi Agent Syst.
Mehmet A. Orgun, Guido Governatori, Chuchang Liu
2009 B conf
Modelling and Reasoning Languages for Social Networks Policies.
EDOC
Guido Governatori, Renato Iannella
2009 J jnl
On managing business processes variants.
Data Knowl. Eng.
Ruopeng Lu, Shazia Sadiq, Guido Governatori
2009 — ed.
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.
RuleML Challenge
Yuh-Jong Hu, Ching-Long Yeh, Wolfgang Laun, Guido Governatori, John Hall, Adrian Paschke
2009 — ed.
Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings
RuleML
Guido Governatori, John Hall, Adrian Paschke
2009 — conf
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain.
RuleML
Thomas F. Gordon, Guido Governatori, Antonino Rotolo
2009 — ch.
The Journey to Business Process Compliance.
Handbook of Research on Business Process Modeling
Guido Governatori, Shazia Sadiq
2009 — conf
The Making of SPINdle.
RuleML
Ho-Pun Lam, Guido Governatori
2008 C conf
A Compliance Model of Trust.
JURIX
Guido Governatori, Subhasis Thakur, Duy Hoang Pham
2008 J jnl
A computational framework for institutional agency.
Artif. Intell. Law
Guido Governatori, Antonino Rotolo
2008 Misc conf
A system for modal and deontic defeasible reasoning.
SAC
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2008 C conf
An Algorithm for Business Process Compliance.
JURIX
Guido Governatori, Antonino Rotolo
2008 J jnl
BIO logical agents: Norms, beliefs, intentions in defeasible logic.
Auton. Agents Multi Agent Syst.
Guido Governatori, Antonino Rotolo
2008 — conf
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.
DEON
Guido Governatori, Antonino Rotolo
2008 — conf
Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic.
NORMAS
Guido Governatori, Antonino Rotolo
2008 — conf
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
Business Process Management Workshops
Guido Governatori, Jörg Hoffmann, Shazia Sadiq, Ingo Weber
2008 — conf
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.
Web Intelligence/IAT Workshops
Efstratios Kontopoulos, Nick Bassiliades, Guido Governatori, Grigoris Antoniou
2008 J jnl
Introduction to the Special Issue: Electronic Contract Architectures and Languages.
Int. J. Electron. Commer.
Claudio Bartolini, Guido Governatori, Zoran Milosevic
2008 B conf
Knowledge Assessment: A Modal Logic Approach.
PRIMA
Vineet Padmanabhan, Guido Governatori, Subhasis Thakur
2008 B conf
Labelled modal tableaux.
Advances in Modal Logic
Guido Governatori
2008 — conf
Levels of Modalities for BDI Logic.
Web Intelligence/IAT Workshops
Jeff Blee, David Billington, Guido Governatori, Abdul Sattar
2008 J jnl
Measurement of Compliance Distance in Business Processes.
Inf. Syst. Manag.
Ruopeng Lu, Shazia Sadiq, Guido Governatori
2008 — conf
On Extending RuleML for Modal Defeasible Logic.
RuleML
Duy Hoang Pham, Guido Governatori, Simon Raboczi, Andrew Newman, Subhasis Thakur
2008 J jnl
Proof explanation for a nonmonotonic Semantic Web rules language.
Data Knowl. Eng.
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis
2008 — ed.
Rule Representation, Interchange and Reasoning on the Web, International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings
RuleML
Nick Bassiliades, Guido Governatori, Adrian Paschke
2008 B conf
Settling on the Group's Goals: An n-Person Argumentation Game Approach.
PRIMA
Duy Hoang Pham, Subhasis Thakur, Guido Governatori
2008 — conf
Time and Defeasibility in FIPA ACL Semantics.
Web Intelligence/IAT Workshops
Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre
2007 — conf
A System for Modal and Deontic Defeasible Reasoning.
Australian Conference on Artificial Intelligence
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori
2007 B conf
An Asymmetric Protocol for Argumentation Games in Defeasible Logic.
PRIMA
Jenny Eriksson Lundström, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan
2007 — conf
BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic.
Normative Multi-agent Systems
Guido Governatori, Antonino Rotolo
2007 — conf
Characterising Deadlines in Temporal Modal Defeasible Logic.
Australian Conference on Artificial Intelligence
Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo
2007 — conf
Compliance Aware Business Process Design.
Business Process Management Workshops
Ruopeng Lu, Shazia Sadiq, Guido Governatori
2007 B conf
Contextual Agent Deliberation in Defeasible Logic.
PRIMA
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre
2007 A conf
Contextual deliberation of cognitive agents in defeasible logic.
AAMAS
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre
2007 J jnl
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies.
Data Knowl. Eng.
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori, Antonis Bikakis
2007 — conf
Dialogue Games in Defeasible Logic.
Australian Conference on Artificial Intelligence
Subhasis Thakur, Guido Governatori, Vineet Padmanabhan, Jenny Eriksson Lundström
2007 — conf
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic.
Normative Multi-agent Systems
Régis Riveret, Antonino Rotolo, Guido Governatori
2007 A conf
Modeling Control Objectives for Business Process Compliance.
BPM
Shazia Sadiq, Guido Governatori, Kioumars Namiri
2007 C conf
On the Representation of Deadlines in a Rental Agreement.
JURIX
Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo
2007 C conf
Proof Explanation for the Semantic Web Using Defeasible Logic.
KSEM
Grigoris Antoniou, Antonis Bikakis, Nikos Dimaresis, Manolis Genetzakis, Giannis Georgalis, Guido Governatori, Efie Karouzaki, Nikolaos Kazepis, Dimitris Kosmadakis, Manolis Kritsotakis, Giannis Lilis, Antonis Papadogiannakis, Panagiotis Pediaditis, Constantinos Terzakis, Rena Theodosaki, Dimitris Zeginis
2007 — conf
Proof Explanation in the DR-DEVICE System.
RR
Nick Bassiliades, Grigoris Antoniou, Guido Governatori
2007 C conf
Strategic argumentation: a game theoretical investigation.
ICAIL
Bram Roth, Régis Riveret, Antonino Rotolo, Guido Governatori
2007 — conf
Temporal Extensions to Defeasible Logic.
Australian Conference on Artificial Intelligence
Guido Governatori, Paolo Terenziani
2007 C conf
Variants of temporal defeasible logics for modelling norm modifications.
ICAIL
Guido Governatori, Antonino Rotolo, Régis Riveret, Monica Palmirani, Giovanni Sartor
2006 — conf
A Compact Argumentation System for Agent System Specification.
STAIRS
Insu Song, Guido Governatori
2006 — conf
A Fibred Tableau Calculus for Modal Logics of Agents.
DALT
Vineet Padmanabhan, Guido Governatori
2006 J jnl
A Formal Analysis of a Business Contract Language.
Int. J. Cooperative Inf. Syst.
Guido Governatori, Zoran Milosevic
2006 B ed.
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
Advances in Modal Logic
Guido Governatori, Ian M. Hodkinson, Yde Venema
2006 B conf
Affective Web Service Design.
PRICAI
Insu Song, Guido Governatori
2006 Misc conf
An optimization for query answering on
ADC
Pakornpong Pothipruk, Guido Governatori
2006 C conf
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
DASC
Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori
2006 — conf
Argumentation Semantics for Temporal Defeasible Logic.
STAIRS
Régis Riveret, Guido Governatori, Antonino Rotolo
2006 B conf
Compliance checking between business processes and business contracts.
EDOC
Guido Governatori, Zoran Milosevic, Shazia Sadiq
2006 A conf
Designing agent chips.
AAMAS
Insu Song, Guido Governatori
2006 J jnl
Embedding defeasible logic into logic programming.
Theory Pract. Log. Program.
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2006 Misc conf
Handling of current time in native XML databases.
ADC
Bela Stantic, Guido Governatori, Abdul Sattar
2006 — conf
Hardware Implementation of Temporal Nonmonotonic Logics.
Australian Conference on Artificial Intelligence
Insu Song, Guido Governatori
2006 J jnl
Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations.
Australas. J. Log.
Guido Governatori, Antonino Rotolo
2006 B conf
On Constructing Fibred Tableaux for BDI Logics.
PRICAI
Vineet Padmanabhan, Guido Governatori
2006 Misc conf
Process modelling: the deontic way.
APCCM
Vineet Padmanabhan, Guido Governatori, Shazia Sadiq, Robert M. Colomb, Antonino Rotolo
2006 B conf
Rule-Based Agents in Temporalised Defeasible Logic.
PRICAI
Guido Governatori, Vineet Padmanabhan, Antonino Rotolo
2006 A conf
The cost of social agents.
AAMAS
Guido Governatori, Antonino Rotolo, Vineet Padmanabhan
2006 Misc conf
Using a temporal constraint network for business process execution.
ADC
Ruopeng Lu, Shazia Sadiq, Vineet Padmanabhan, Guido Governatori
2006 — conf
Utilizing Successful Work Practice for Business Process Evolution.
BIS
Ruopeng Lu, Shazia Sadiq, Guido Governatori
2005 B conf
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web.
WISE
Pakornpong Pothipruk, Guido Governatori
2005 — conf
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic.
RuleML
Guido Governatori, Duy Hoang
2005 A conf
A computationally grounded logic of knowledge, belief and certainty.
AAMAS
Kaile Su, Abdul Sattar, Guido Governatori, Qingliang Chen
2005 A* conf
Computationally Grounded Model of BDI-Agents.
IJCAI
Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori
2005 — conf
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.
EEE
Thomas Skylogiannis, Grigoris Antoniou, Nick Bassiliades, Guido Governatori
2005 B conf
Dealing with contract violations: formalism and domain specific language.
EDOC
Guido Governatori, Zoran Milosevic
2005 J jnl
Embedding Defeasible Logic into Logic Programming
CoRR
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2005 J jnl
Guest editors' introduction.
Int. J. Cooperative Inf. Syst.
Zoran Milosevic, Guido Governatori
2005 — conf
Nested Rules in Defeasible Logic.
RuleML
Insu Song, Guido Governatori
2005 C conf
Norm Modifications in Defeasible Logic.
JURIX
Guido Governatori, Monica Palmirani, Régis Riveret, Antonino Rotolo, Giovanni Sartor
2005 A* conf
Observation-based Model for BDI-Agents.
AAAI
Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan
2005 J jnl
On the Axiomatisation of Elgesem's Logic of Agency and Ability.
J. Philos. Log.
Guido Governatori, Antonino Rotolo
2005 — conf
Preferences of Agents in Defeasible Logic.
Australian Conference on Artificial Intelligence
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre
2005 J jnl
Probabilistic Automated Bidding in Multiple Auctions.
Electron. Commer. Res.
Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede
2005 B conf
Programming Cognitive Agents in Defeasible Logic.
LPAR
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre
2005 J jnl
Representing business contracts in
Int. J. Cooperative Inf. Syst.
Guido Governatori
2005 C conf
Temporalised Normative Positions in Defeasible Logic.
ICAIL
Guido Governatori, Antonino Rotolo, Giovanni Sartor
2004 Misc conf
A Model of Dynamic Resource Allocation in Workflow Systems.
ADC
Guido Governatori, Antonino Rotolo, Shazia Sadiq
2004 — conf
An Interaction Model for Affect Monitoring.
Australian Conference on Artificial Intelligence
Insu Song, Guido Governatori, Robert M. Colomb
2004 J jnl
Argumentation Semantics for Defeasible Logic.
J. Log. Comput.
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2004 — conf
Defeasible Description Logics.
RuleML
Guido Governatori
2004 — conf
Defeasible Logic: Agency, Intention and Obligation.
DEON
Guido Governatori, Antonino Rotolo
2004 J jnl
Normative autonomy and normative co-ordination: Declarative power, representation, and mandate.
Artif. Intell. Law
Jonathan Gelati, Antonino Rotolo, Giovanni Sartor, Guido Governatori
2004 Misc conf
Representing and Reasoning on XForms Document.
ADC
Peng Yew Cheow, Guido Governatori
2003 — conf
A Defeasible Logic of Policy-Based Intention.
Australian Conference on Artificial Intelligence
Guido Governatori, Vineet Padmanabhan
2003 — conf
A Tableaux System for Deontic Interpreted Systems.
Australian Conference on Artificial Intelligence
Guido Governatori, Alessio Lomuscio, Marek J. Sergot
2003 Misc conf
An algorithm for the induction of defeasible logic theories from databases.
ADC
Benjamin Johnston, Guido Governatori
2003 C conf
Induction of Defeasible Logic Theories in the Legal Domain.
ICAIL
Benjamin Johnston, Guido Governatori
2003 — conf
On the Relative Complexity of Labelled Modal Tableaux.
CATS
Guido Governatori
2002 — conf
A Defeasible Logic of Policy-Based Intention.
Australian Joint Conference on Artificial Intelligence
Guido Governatori, Vineet Padmanabhan, Abdul Sattar
2002 J jnl
A formal approach to negotiating agents development.
Electron. Commer. Res. Appl.
Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Phillipa Oaks
2002 A* conf
A probabilistic approach to automated bidding in alternative auctions.
WWW
Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell
2002 — conf
An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions.
RIDE
Marlon Dumas, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell
2002 J jnl
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations.
J. Log. Comput.
Alberto Artosi, Guido Governatori, Antonino Rotolo
2002 B conf
On Fibring Semantics for BDI Logics.
JELIA
Guido Governatori, Vineet Padmanabhan, Abdul Sattar
2001 C conf
A formal approach to legal negotiation.
ICAIL
Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks
2001 — conf
Actions Made Explicit in BDI.
Australian Joint Conference on Artificial Intelligence
Vineet Padmanabhan, Guido Governatori, Abdul Sattar
2001 J jnl
Representation results for defeasible logic.
ACM Trans. Comput. Log.
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000 A conf
A Family of Defeasible Reasoning Logics and its Implementation.
ECAI
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock
2000 — conf
A Flexible Framework for Defeasible Logics.
AAAI/IAAI
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000 B conf
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.
TABLEAUX
Alberto Artosi, Guido Governatori, Antonino Rotolo
2000 J jnl
A flexible framework for defeasible logics
CoRR
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
2000 J jnl
A tableau methodology for deontic conditional logics
CoRR
Alberto Artosi, Guido Governatori
2000 A conf
An Argumentation-Theoretic Characterization of Defeasible Logic.
ECAI
Guido Governatori, Michael J. Maher
2000 B conf
Argumentation Semantics for Defeasible Logics.
PRICAI
Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington
2000 J jnl
Representation results for defeasible logic
CoRR
Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher
1999 B conf
A Comparison of Sceptical NAF-Free Logic Programming Approaches.
LPNMR
Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori
1999 Misc conf
A New Approach to Base Revision.
EPIA
Paolo Di Giusto, Guido Governatori
1999 — conf
A Semantic Decomposition of Defeasible Logics.
AAAI/IAAI
Michael J. Maher, Guido Governatori
1999 Misc conf
Analytic Modal Revision for Multi-agent Systems.
EPIA
Paolo Di Giusto, Guido Governatori
1999 — conf
Labelled Tableaux for Non-normal Modal Logics.
AI*IA
Guido Governatori, Alessandro Luppi
1999 Misc conf
Revising Nonmonotonic Theories: The Case of Defeasible Logic.
KI
David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher
1997 Misc conf
A Modal Computational Framework for Default Reasoning.
KI
Alberto Artosi, Paola Cattabriga, Guido Governatori
1996 B conf
Labelled Proofs for Quantified Modal Logic.
JELIA
Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo
1996 — conf
Labelling Ideality and Subideality.
FAPR
Guido Governatori
1996 B conf
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.
Advances in Modal Logic
Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo
1996 — conf
Towards a Computational Treatment of Deontic Defeasibility.
DEON
Alberto Artosi, Guido Governatori, Giovanni Sartor
1995 — conf
A Prolog Implementation of Kem.
GULP-PRODE
Alberto Artosi, Paola Cattabriga, Guido Governatori
1995 B conf
Labelled Tableaux for Multi-Modal Logics.
TABLEAUX
Guido Governatori
1994 — conf
KED: A Deontic Theorem Prover.
ICLP Workshop: Legal Application of Logic Programming
Alberto Artosi, Paola Cattabriga, Guido Governatori