Guido Governatori
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
141
Venues
36
Active years
1994–2025
Best venue rank
A*
Where they publish
- CJURIX35 papers
- CICAIL21 papers
- BPRIMA13 papers
- BEDOC10 papers
- ABPM6 papers
- AustralasianADC6 papers
- BJELIA5 papers
- AECAI4 papers
- BPRICAI4 papers
- BLPNMR3 papers
- A*AAAI3 papers
- A*KR2 papers
- AustralasianAPCCM2 papers
- BAiML2 papers
- BTABLEAUX2 papers
- NationalEPIA2 papers
- NationalKI2 papers
- BKES1 paper
- ACADE1 paper
- CCOMMA1 paper
- BEKAW1 paper
- CEUMAS1 paper
- AICST1 paper
- AAAMAS1 paper
- CADMA1 paper
- A*ICDM1 paper
- CICARCV1 paper
- ARE1 paper
- MulticonferenceSAC1 paper
- CKSEM1 paper
- CDASC1 paper
- A*IJCAI1 paper
- BLPAR1 paper
- BWISE1 paper
- A*WWW1 paper
- BICLP1 paper
Papers
141 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICAIL | Legal Explanation in Defeasible Deontic Logic via LegalRuleML. | Guido Governatori, Monica Palmirani |
| 2025 | ICAIL | Judicial Permission. | Guido Governatori, Antonino Rotolo |
| 2025 | ICAIL | From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. | Elias Horner, Cristinel Mateis, Guido Governatori, Agata Ciabattoni |
| 2025 | ICAIL | Rule-based Deontic Case-based Reasoning. | Antonino Rotolo, Cecilia Di Florio, Guido Governatori |
| 2025 | JURIX | Principles of Law: LLMs vs RegEx. | Marianna Molinari, Ilaria Angela Amantea, Marinella Quaranta, Guido Governatori |
| 2025 | JURIX | Plans and Diversions EA. | Galileo Sartor, Guido Governatori, Giuseppe Pisano, Antonino Rotolo, Adam Wyner |
| 2024 | JURIX | A Logical Framework for Weak Permissions in Criminal Procedure. | Guido Governatori, Antonino Rotolo |
| 2023 | ICAIL | Deontic Ambiguities in Legal Reasoning. | Guido Governatori, Antonino Rotolo |
| 2023 | JELIA | Stable Normative Explanations: From Argumentation to Deontic Logic. | Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor |
| 2023 | JURIX | Automating Business Process Compliance for the EU AI Act. | Claudio Novelli, Guido Governatori, Antonino Rotolo |
| 2023 | KES | The architecture of a reasoning system for Defeasible Deontic Logic. | Matteo Cristani, Guido Governatori, Francesco Olivieri, Luca Pasetto, Francesco Tubini, Celeste Veronese, Alessandro Villa, Edoardo Zorzi |
| 2022 | BPM | On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. | Heerko Groefsema, Nick R. T. P. van Beest, Guido Governatori |
| 2022 | JURIX | Stable Normative Explanations. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani |
| 2022 | LPNMR | Inference to the Stable Explanations. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Matteo Cristani |
| 2021 | CADE | A Normative Supervisor for Reinforcement Learning Agents. | Emery A. Neufeld, Ezio Bartocci, Agata Ciabattoni, Guido Governatori |
| 2021 | EDOC | Semi-automated checking for regulatory compliance in e-Health. | Ilaria Angela Amantea, Livio Robaldo, Emilio Sulis, Guido Boella, Guido Governatori |
| 2021 | ICAIL | Unravel legal references in defeasible deontic logic. | Guido Governatori, Francesco Olivieri |
| 2021 | ICAIL | Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment. | Alice Witt, Anna Huggins, Guido Governatori, Joshua Buckley |
| 2021 | JELIA | Computing Defeasible Meta-logic. | Francesco Olivieri, Guido Governatori, Matteo Cristani, Abdul Sattar |
| 2021 | JURIX | Computing Private International Law. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Abdul Sattar, Matteo Cristani |
| 2020 | EDOC | Verifying Compliance of Process Compositions Through Certification of its Components. | Silvano Colombo Tosatto, Guido Governatori, Nick van Beest |
| 2020 | JURIX | Traffic Rules Encoding Using Defeasible Deontic Logic. | Hanif Bhuiyan, Guido Governatori, Andy Bond, Sbastien Demmel, Mohammad Badiul Islam, Andry Rakotonirainy |
| 2020 | JURIX | Free Choice Permission in Defeasible Deontic Logic. | Guido Governatori, Antonino Rotolo |
| 2019 | BPM | Checking Regulatory Compliance: Will We Live to See It? | Silvano Colombo Tosatto, Guido Governatori, Nick van Beest |
| 2019 | ICAIL | Modelling Dialogues for Optimal Legislation. | Guido Governatori, Antonino Rotolo, Rgis Riveret, Serena Villata |
| 2019 | JELIA | Advancements in Resource-Driven Substructural Defeasible Logic. | Francesco Olivieri, Guido Governatori, Matteo Cristani |
| 2019 | JURIX | A Methodology for Encoding Regulatory Rules. | Hanif Bhuiyan, Francesco Olivieri, Guido Governatori, Mohammad Badiul Islam, Andy Bond, Andry Rakotonirainy |
| 2019 | JURIX | Legal Compliance in a Linked Open Data Framework. | Enrico Francesconi, Guido Governatori |
| 2019 | JURIX | A Short Note on the Chisholm Paradox. | Guido Governatori |
| 2019 | JURIX | Deontic Closure and Conflict in Legal Reasoning. | Guido Governatori, Robert Mullins |
| 2019 | JURIX | Legislative Dialogues with Incomplete Information. | Guido Governatori, Antonino Rotolo |
| 2019 | JURIX | A Computational Model for Pragmatic Oddity. | Guido Governatori, Antonino Rotolo |
| 2019 | PRIMA | Non-monotonic Collective Decisions. | Matteo Cristani, Francesco Olivieri, Guido Governatori |
| 2018 | JURIX | Lessons Learned while Formalizing ISO 26262 for Compliance Checking. | Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori |
| 2018 | JURIX | Legal Representation and Reasoning in Practice: A Critical Comparison. | Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou |
| 2018 | JURIX | Modelling Legal Knowledge for GDPR Compliance Checking. | Monica Palmirani, Guido Governatori |
| 2018 | PRIMA | A Deontic Argumentation Framework Based on Deontic Defeasible Logic. | Guido Governatori, Antonino Rotolo, Rgis Riveret |
| 2018 | PRIMA | Resource-Driven Substructural Defeasible Logic. | Francesco Olivieri, Guido Governatori, Matteo Cristani, Nick van Beest, Silvano Colombo Tosatto |
| 2017 | EDOC | Visualisation of Compliant Declarative Business Processes. | Nina Ghanbari Ghooshchi, Nick van Beest, Guido Governatori, Francesco Olivieri, Abdul Sattar |
| 2017 | JURIX | Normative Requirements as Linked Data. | Fabien Gandon, Guido Governatori, Serena Villata |
| 2017 | JURIX | A Short Introduction to the Regorous Compliance by Design Methodology. | Guido Governatori |
| 2017 | JURIX | Temporalised Belief Revision in the Law. | Luciano H. Tamargo, Diego C. Martnez, Antonino Rotolo, Guido Governatori |
| 2016 | BPM | Untrusted Business Process Monitoring and Execution Using Blockchain. | Ingo Weber, Xiwei Xu, Rgis Riveret, Guido Governatori, Alexander Ponomarev, Jan Mendling |
| 2016 | COMMA | On ASPIC | Ho-Pun Lam, Guido Governatori, Rgis Riveret |
| 2016 | ECAI | On Labelling Statements in Multi-Labelling Argumentation. | Pietro Baroni, Guido Governatori, Rgis Riveret |
| 2016 | EKAW | Semantic Business Process Regulatory Compliance Checking Using LegalRuleML. | Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani |
| 2016 | JURIX | Interpretation Across Legal Systems. | Alessandra Malerba, Antonino Rotolo, Guido Governatori |
| 2016 | KR | On the Justification of Statements in Argumentation-based Reasoning. | Pietro Baroni, Guido Governatori, Ho-Pun Lam, Rgis Riveret |
| 2016 | PRIMA | Sequence Semantics for Normative Agents. | Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani |
| 2015 | EDOC | The Regorous Approach to Process Compliance. | Guido Governatori |
| 2015 | EDOC | Message from the EVL-BP 2015 Workshop Co-Chairs. | Guido Governatori, Georg Grossmann, Jens Kolb |
| 2015 | EDOC | No Time for Compliance. | Guido Governatori, Mustafa Hashmi |
| 2015 | ICAIL | Thou shalt is not you will. | Guido Governatori |
| 2015 | ICAIL | RuleOMS: a rule-based online management system. | Mohammad Badiul Islam, Guido Governatori |
| 2015 | ICAIL | Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments. | Antonino Rotolo, Guido Governatori, Giovanni Sartor |
| 2015 | JURIX | Burden of Compliance and Burden of Violation. | Guido Governatori |
| 2015 | JURIX | Permissions in Deontic Event-Calculus. | Guido Governatori, Mustafa Hashmi |
| 2015 | PRIMA | Semantics for Modelling Reason-Based Preferences. | Erica Calardo, Guido Governatori, Antonino Rotolo |
| 2015 | PRIMA | Compliant Business Processes with Exclusive Choices from Agent Specification. | Francesco Olivieri, Matteo Cristani, Guido Governatori |
| 2014 | ECAI | Strategic Argumentation is NP-Complete. | Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo, Matteo Cristani |
| 2014 | EUMAS | Strategic Argumentation Under Grounded Semantics is NP-Complete. | Guido Governatori, Michael J. Maher, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco |
| 2014 | JURIX | Legal Interpretations in LegalRuleML. | Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner |
| 2014 | JURIX | Two Faces of Strategic Argumentation in the Law. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco, Giovanni Sartor |
| 2014 | PRIMA | On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic. | Marc Allaire, Guido Governatori |
| 2013 | EDOC | Towards an Abstract Framework for Compliance. | Silvano Colombo Tosatto, Guido Governatori, Pierre Kelsen |
| 2013 | ICAIL | OASIS LegalRuleML. | Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke, Adam Z. Wyner |
| 2013 | ICAIL | Legal contractions: a logical analysis. | Guido Governatori, Antonino Rotolo, Francesco Olivieri, Simone Scannapieco |
| 2013 | ICAIL | Regorous: a business process compliance checker. | Guido Governatori, Sidney Shek |
| 2013 | ICST | Algorithms for Basic Compliance Problems. | Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre |
| 2013 | JURIX | Heuristics for Licenses Composition. | Guido Governatori, Ho-Pun Lam, Antonino Rotolo, Serena Villata, Fabien Gandon |
| 2013 | PRIMA | Compliant Business Process Design by Declarative Specifications. | Francesco Olivieri, Guido Governatori, Simone Scannapieco, Matteo Cristani |
| 2013 | PRIMA | A Methodology for Plan Revision under Norm and Outcome Compliance. | Simone Scannapieco, Guido Governatori, Francesco Olivieri, Matteo Cristani |
| 2012 | AAMAS | On modeling punishment in multi-agent systems. | Subhasis Thakur, Guido Governatori, Abdul Sattar |
| 2012 | JURIX | Narrowing Legal Concepts. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco |
| 2011 | ADMA | Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts. | Mohammed Gollapalli, Xue Li, Ian A. Wood, Guido Governatori |
| 2011 | ICAIL | On the relationship between Carneades and Defeasible Logic. | Guido Governatori |
| 2011 | ICAIL | Modelling temporal legal rules. | Monica Palmirani, Guido Governatori, Giuseppe Contissa |
| 2011 | ICDM | Approximate Record Matching Using Hash Grams. | Mohammed Gollapalli, Xue Li, Ian A. Wood, Guido Governatori |
| 2011 | JURIX | Three Concepts of Defeasible Permission. | Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco |
| 2011 | LPNMR | What Are the Necessity Rules in Defeasible Reasoning? | Ho-Pun Lam, Guido Governatori |
| 2010 | APCCM | A conceptually rich model of business process compliance. | Guido Governatori, Antonino Rotolo |
| 2010 | ICARCV | Automatic synthesis of reactive agents. | Insu Song, Guido Governatori, Joachim Diederich |
| 2010 | JURIX | Burdens of Proof in Monological Argumentation. | Guido Governatori, Giovanni Sartor |
| 2010 | JURIX | Temporal Dimensions in Rules Modelling. | Monica Palmirani, Guido Governatori, Giuseppe Contissa |
| 2010 | KR | A Logical Understanding of Legal Interpretation. | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre |
| 2010 | RE | Law, logic and business processes. | Guido Governatori |
| 2009 | EDOC | Modelling and Reasoning Languages for Social Networks Policies. | Guido Governatori, Renato Iannella |
| 2009 | JURIX | Untitled record | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre |
| 2008 | AiML | Labelled modal tableaux. | Guido Governatori |
| 2008 | BPM | Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. | Guido Governatori, Jrg Hoffmann, Shazia Sadiq, Ingo Weber |
| 2008 | JURIX | An Algorithm for Business Process Compliance. | Guido Governatori, Antonino Rotolo |
| 2008 | JURIX | A Compliance Model of Trust. | Guido Governatori, Subhasis Thakur, Duy Hoang Pham |
| 2008 | PRIMA | Knowledge Assessment: A Modal Logic Approach. | Vineet Padmanabhan, Guido Governatori, Subhasis Thakur |
| 2008 | PRIMA | Settling on the Group's Goals: An n-Person Argumentation Game Approach. | Duy Hoang Pham, Subhasis Thakur, Guido Governatori |
| 2008 | SAC | A system for modal and deontic defeasible reasoning. | Grigoris Antoniou, Nikos Dimaresis, Guido Governatori |
| 2007 | BPM | Compliance Aware Business Process Design. | Ruopeng Lu, Shazia Sadiq, Guido Governatori |
| 2007 | BPM | Modeling Control Objectives for Business Process Compliance. | Shazia Sadiq, Guido Governatori, Kioumars Namiri |
| 2007 | ICAIL | Variants of temporal defeasible logics for modelling norm modifications. | Guido Governatori, Antonino Rotolo, Rgis Riveret, Monica Palmirani, Giovanni Sartor |
| 2007 | ICAIL | Strategic argumentation: a game theoretical investigation. | Bram Roth, Rgis Riveret, Antonino Rotolo, Guido Governatori |
| 2007 | JURIX | On the Representation of Deadlines in a Rental Agreement. | Guido Governatori, Joris Hulstijn, Rgis Riveret, Antonino Rotolo |
| 2007 | KSEM | Proof Explanation for the Semantic Web Using Defeasible Logic. | 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 | PRIMA | Contextual Agent Deliberation in Defeasible Logic. | Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre |
| 2007 | PRIMA | An Asymmetric Protocol for Argumentation Games in Defeasible Logic. | Jenny Eriksson Lundstrm, Guido Governatori, Subhasis Thakur, Vineet Padmanabhan |
| 2006 | ADC | Using a temporal constraint network for business process execution. | Ruopeng Lu, Shazia Sadiq, Vineet Padmanabhan, Guido Governatori |
| 2006 | ADC | An optimization for query answering on | Pakornpong Pothipruk, Guido Governatori |
| 2006 | ADC | Handling of current time in native XML databases. | Bela Stantic, Guido Governatori, Abdul Sattar |
| 2006 | APCCM | Process modelling: the deontic way. | Vineet Padmanabhan, Guido Governatori, Shazia Sadiq, Robert M. Colomb, Antonino Rotolo |
| 2006 | DASC | Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. | Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori |
| 2006 | EDOC | Compliance checking between business processes and business contracts. | Guido Governatori, Zoran Milosevic, Shazia Sadiq |
| 2006 | PRICAI | Rule-Based Agents in Temporalised Defeasible Logic. | Guido Governatori, Vineet Padmanabhan, Antonino Rotolo |
| 2006 | PRICAI | On Constructing Fibred Tableaux for BDI Logics. | Vineet Padmanabhan, Guido Governatori |
| 2006 | PRICAI | Affective Web Service Design. | Insu Song, Guido Governatori |
| 2005 | AAAI | Observation-based Model for BDI-Agents. | Kaile Su, Abdul Sattar, Kewen Wang, Xiangyu Luo, Guido Governatori, Vineet Padmanabhan |
| 2005 | EDOC | Dealing with contract violations: formalism and domain specific language. | Guido Governatori, Zoran Milosevic |
| 2005 | ICAIL | Temporalised Normative Positions in Defeasible Logic. | Guido Governatori, Antonino Rotolo, Giovanni Sartor |
| 2005 | IJCAI | Computationally Grounded Model of BDI-Agents. | Kaile Su, Abdul Sattar, Kewen Wang, Guido Governatori |
| 2005 | JURIX | Norm Modifications in Defeasible Logic. | Guido Governatori, Monica Palmirani, Rgis Riveret, Antonino Rotolo, Giovanni Sartor |
| 2005 | LPAR | Programming Cognitive Agents in Defeasible Logic. | Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre |
| 2005 | WISE | A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. | Pakornpong Pothipruk, Guido Governatori |
| 2004 | ADC | Representing and Reasoning on XForms Document. | Peng Yew Cheow, Guido Governatori |
| 2004 | ADC | A Model of Dynamic Resource Allocation in Workflow Systems. | Guido Governatori, Antonino Rotolo, Shazia Sadiq |
| 2003 | ADC | An algorithm for the induction of defeasible logic theories from databases. | Benjamin Johnston, Guido Governatori |
| 2003 | ICAIL | Induction of Defeasible Logic Theories in the Legal Domain. | Benjamin Johnston, Guido Governatori |
| 2002 | JELIA | On Fibring Semantics for BDI Logics. | Guido Governatori, Vineet Padmanabhan, Abdul Sattar |
| 2002 | WWW | A probabilistic approach to automated bidding in alternative auctions. | Marlon Dumas, Lachlan Aldred, Guido Governatori, Arthur H. M. ter Hofstede, Nick Russell |
| 2001 | ICAIL | A formal approach to legal negotiation. | Guido Governatori, Marlon Dumas, Arthur H. M. ter Hofstede, Phillipa Oaks |
| 2000 | AAAI | A Flexible Framework for Defeasible Logics. | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher |
| 2000 | ECAI | A Family of Defeasible Reasoning Logics and its Implementation. | Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock |
| 2000 | ECAI | An Argumentation-Theoretic Characterization of Defeasible Logic. | Guido Governatori, Michael J. Maher |
| 2000 | PRICAI | Argumentation Semantics for Defeasible Logics. | Guido Governatori, Michael J. Maher, Grigoris Antoniou, David Billington |
| 2000 | TABLEAUX | A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. | Alberto Artosi, Guido Governatori, Antonino Rotolo |
| 1999 | AAAI | A Semantic Decomposition of Defeasible Logics. | Michael J. Maher, Guido Governatori |
| 1999 | EPIA | Analytic Modal Revision for Multi-agent Systems. | Paolo Di Giusto, Guido Governatori |
| 1999 | EPIA | A New Approach to Base Revision. | Paolo Di Giusto, Guido Governatori |
| 1999 | KI | Revising Nonmonotonic Theories: The Case of Defeasible Logic. | David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher |
| 1999 | LPNMR | A Comparison of Sceptical NAF-Free Logic Programming Approaches. | Grigoris Antoniou, Michael J. Maher, David Billington, Guido Governatori |
| 1997 | KI | A Modal Computational Framework for Default Reasoning. | Alberto Artosi, Paola Cattabriga, Guido Governatori |
| 1996 | AiML | Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
| 1996 | JELIA | Labelled Proofs for Quantified Modal Logic. | Alberto Artosi, Paola Benassi, Guido Governatori, Antonino Rotolo |
| 1995 | TABLEAUX | Labelled Tableaux for Multi-Modal Logics. | Guido Governatori |
| 1994 | ICLP | KED: A Deontic Theorem Prover. | Alberto Artosi, Paola Cattabriga, Guido Governatori |