KED: A Deontic Theorem Prover. - Alberto Artosi; Paola Cattabriga; Guido Governatori (ICLP Workshop: Legal Application of Logic Programming, 1994)

A Prolog Implementation of Kem. - Alberto Artosi; Paola Cattabriga; Guido Governatori (GULP-PRODE, 1995)

Labelled Tableaux for Multi-Modal Logics. - Guido Governatori (TABLEAUX, 1995)

Shakespearian Modal Logic: A Labelled Treatment of Modal Identity. - Alberto Artosi; Paola Benassi; Guido Governatori; Antonino Rotolo (Advances in Modal Logic, 1996)

Towards a Computational Treatment of Deontic Defeasibility. - Alberto Artosi; Guido Governatori; Giovanni Sartor (DEON, 1996)

Labelling Ideality and Subideality. - Guido Governatori (FAPR, 1996)

Labelled Proofs for Quantified Modal Logic. - Alberto Artosi; Paola Benassi; Guido Governatori; Antonino Rotolo (JELIA, 1996)

A Modal Computational Framework for Default Reasoning. - Alberto Artosi; Paola Cattabriga; Guido Governatori (KI, 1997)

A Semantic Decomposition of Defeasible Logics. - Michael J. Maher; Guido Governatori (AAAI/IAAI, 1999)

Labelled Tableaux for Non-normal Modal Logics. - Guido Governatori; Alessandro Luppi (AI*IA, 1999)

Analytic Modal Revision for Multi-agent Systems. - Paolo Di Giusto; Guido Governatori (EPIA, 1999)

A New Approach to Base Revision. - Paolo Di Giusto; Guido Governatori (EPIA, 1999)

Revising Nonmonotonic Theories: The Case of Defeasible Logic. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (KI, 1999)

A Comparison of Sceptical NAF-Free Logic Programming Approaches. - Grigoris Antoniou; Michael J. Maher; David Billington; Guido Governatori (LPNMR, 1999)

A Flexible Framework for Defeasible Logics. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (AAAI/IAAI, 2000)

A Family of Defeasible Reasoning Logics and its Implementation. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher; Andrew Rock (ECAI, 2000)

An Argumentation-Theoretic Characterization of Defeasible Logic. - Guido Governatori; Michael J. Maher (ECAI, 2000)

Argumentation Semantics for Defeasible Logics. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (PRICAI, 2000)

A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations. - Alberto Artosi; Guido Governatori; Antonino Rotolo (TABLEAUX, 2000)

A tableau methodology for deontic conditional logics - Alberto Artosi; Guido Governatori (CoRR, 2000)

Actions Made Explicit in BDI. - Vineet Padmanabhan; Guido Governatori; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 2001)

A formal approach to legal negotiation. - Guido Governatori; Marlon Dumas; Arthur H. M. ter Hofstede; Phillipa Oaks (ICAIL, 2001)

Representation results for defeasible logic. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2001)

A Defeasible Logic of Policy-Based Intention. - Guido Governatori; Vineet Padmanabhan; Abdul Sattar 001 (Australian Joint Conference on Artificial Intelligence, 2002)

On Fibring Semantics for BDI Logics. - Guido Governatori; Vineet Padmanabhan; Abdul Sattar 001 (JELIA, 2002)

An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions. - Marlon Dumas; Guido Governatori; Arthur H. M. ter Hofstede; Nick Russell (RIDE, 2002)

A probabilistic approach to automated bidding in alternative auctions. - Marlon Dumas; Lachlan Aldred; Guido Governatori; Arthur H. M. ter Hofstede; Nick Russell (WWW, 2002)

A formal approach to negotiating agents development. - Marlon Dumas; Guido Governatori; Arthur H. M. ter Hofstede; Phillipa Oaks (Electron. Commer. Res. Appl., 2002)

Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations. - Alberto Artosi; Guido Governatori; Antonino Rotolo (J. Log. Comput., 2002)

An algorithm for the induction of defeasible logic theories from databases. - Benjamin Johnston; Guido Governatori (ADC, 2003)

A Tableaux System for Deontic Interpreted Systems. - Guido Governatori; Alessio Lomuscio; Marek J. Sergot (Australian Conference on Artificial Intelligence, 2003)

A Defeasible Logic of Policy-Based Intention. - Guido Governatori; Vineet Padmanabhan (Australian Conference on Artificial Intelligence, 2003)

Induction of Defeasible Logic Theories in the Legal Domain. - Benjamin Johnston; Guido Governatori (ICAIL, 2003)

On the Relative Complexity of Labelled Modal Tableaux. - Guido Governatori (CATS, 2003)

Representing and Reasoning on XForms Document. - Peng Yew Cheow; Guido Governatori (ADC, 2004)

A Model of Dynamic Resource Allocation in Workflow Systems. - Guido Governatori; Antonino Rotolo; Shazia Sadiq (ADC, 2004)

An Interaction Model for Affect Monitoring. - Insu Song; Guido Governatori; Robert M. Colomb (Australian Conference on Artificial Intelligence, 2004)

Defeasible Logic: Agency, Intention and Obligation. - Guido Governatori; Antonino Rotolo (DEON, 2004)

Defeasible Description Logics. - Guido Governatori (RuleML, 2004)

Normative autonomy and normative co-ordination: Declarative power, representation, and mandate. - Jonathan Gelati; Antonino Rotolo; Giovanni Sartor; Guido Governatori (Artif. Intell. Law, 2004)

Argumentation Semantics for Defeasible Logic. - Guido Governatori; Michael J. Maher; Grigoris Antoniou; David Billington (J. Log. Comput., 2004)

Observation-based Model for BDI-Agents. - Kaile Su; Abdul Sattar 001; Kewen Wang 001; Xiangyu Luo; Guido Governatori; Vineet Padmanabhan (AAAI, 2005)

A computationally grounded logic of knowledge, belief and certainty. - Kaile Su; Abdul Sattar 001; Guido Governatori; Qingliang Chen (AAMAS, 2005)

Preferences of Agents in Defeasible Logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (Australian Conference on Artificial Intelligence, 2005)

Dealing with contract violations: formalism and domain specific language. - Guido Governatori; Zoran Milosevic (EDOC, 2005)

DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies. - Thomas Skylogiannis; Grigoris Antoniou; Nick Bassiliades; Guido Governatori (EEE, 2005)

Temporalised Normative Positions in Defeasible Logic. - Guido Governatori; Antonino Rotolo; Giovanni Sartor (ICAIL, 2005)

Computationally Grounded Model of BDI-Agents. - Kaile Su; Abdul Sattar 001; Kewen Wang 001; Guido Governatori (IJCAI, 2005)

Norm Modifications in Defeasible Logic. - Guido Governatori; Monica Palmirani; Régis Riveret; Antonino Rotolo; Giovanni Sartor (JURIX, 2005)

Programming Cognitive Agents in Defeasible Logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (LPAR, 2005)

A Semantic Web Based Architecture for e-Contracts in Defeasible Logic. - Guido Governatori; Duy Hoang (RuleML, 2005)

Nested Rules in Defeasible Logic. - Insu Song; Guido Governatori (RuleML, 2005)

A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web. - Pakornpong Pothipruk; Guido Governatori (WISE, 2005)

Probabilistic Automated Bidding in Multiple Auctions. - Marlon Dumas; Lachlan Aldred; Guido Governatori; Arthur H. M. ter Hofstede (Electron. Commer. Res., 2005)

Representing business contracts in RuleML. - Guido Governatori (Int. J. Cooperative Inf. Syst., 2005)

Guest editors' introduction. - Zoran Milosevic; Guido Governatori (Int. J. Cooperative Inf. Syst., 2005)

On the Axiomatisation of Elgesem's Logic of Agency and Ability. - Guido Governatori; Antonino Rotolo (J. Philos. Log., 2005)

Using a temporal constraint network for business process execution. - Ruopeng Lu; Shazia Sadiq; Vineet Padmanabhan; Guido Governatori (ADC, 2006)

An optimization for query answering on ALC database. - Pakornpong Pothipruk; Guido Governatori (ADC, 2006)

Handling of current time in native XML databases. - Bela Stantic; Guido Governatori; Abdul Sattar 001 (ADC, 2006)

Process modelling: the deontic way. - Vineet Padmanabhan; Guido Governatori; Shazia Sadiq; Robert M. Colomb; Antonino Rotolo (APCCM, 2006)

The cost of social agents. - Guido Governatori; Antonino Rotolo; Vineet Padmanabhan (AAMAS, 2006)

Designing agent chips. - Insu Song; Guido Governatori (AAMAS, 2006)

ALE Defeasible Description Logic. - Pakornpong Pothipruk; Guido Governatori (Australian Conference on Artificial Intelligence, 2006)

Hardware Implementation of Temporal Nonmonotonic Logics. - Insu Song; Guido Governatori (Australian Conference on Artificial Intelligence, 2006)

Utilizing Successful Work Practice for Business Process Evolution. - Ruopeng Lu; Shazia Sadiq; Guido Governatori (BIS, 2006)

A Fibred Tableau Calculus for Modal Logics of Agents. - Vineet Padmanabhan; Guido Governatori (DALT, 2006)

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems. - Mehmet A. Orgun; Ji Ma 001; Chuchang Liu; Guido Governatori (DASC, 2006)

Compliance checking between business processes and business contracts. - Guido Governatori; Zoran Milosevic; Shazia Sadiq (EDOC, 2006)

Rule-Based Agents in Temporalised Defeasible Logic. - Guido Governatori; Vineet Padmanabhan; Antonino Rotolo (PRICAI, 2006)

On Constructing Fibred Tableaux for BDI Logics. - Vineet Padmanabhan; Guido Governatori (PRICAI, 2006)

Affective Web Service Design. - Insu Song; Guido Governatori (PRICAI, 2006)

Argumentation Semantics for Temporal Defeasible Logic. - Régis Riveret; Guido Governatori; Antonino Rotolo (STAIRS, 2006)

A Compact Argumentation System for Agent System Specification. - Insu Song; Guido Governatori (STAIRS, 2006)

A Formal Analysis of a Business Contract Language. - Guido Governatori; Zoran Milosevic (Int. J. Cooperative Inf. Syst., 2006)

Embedding defeasible logic into logic programming. - Grigoris Antoniou; David Billington; Guido Governatori; Michael J. Maher (Theory Pract. Log. Program., 2006)

Contextual deliberation of cognitive agents in defeasible logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Insu Song; Leendert W. N. van der Torre (AAMAS, 2007)

Characterising Deadlines in Temporal Modal Defeasible Logic. - Guido Governatori; Joris Hulstijn; Régis Riveret; Antonino Rotolo (Australian Conference on Artificial Intelligence, 2007)

Temporal Extensions to Defeasible Logic. - Guido Governatori; Paolo Terenziani (Australian Conference on Artificial Intelligence, 2007)

Dialogue Games in Defeasible Logic. - Subhasis Thakur; Guido Governatori; Vineet Padmanabhan; Jenny Eriksson Lundström (Australian Conference on Artificial Intelligence, 2007)

Compliance Aware Business Process Design. - Ruopeng Lu; Shazia Sadiq; Guido Governatori (Business Process Management Workshops, 2007)

Modeling Control Objectives for Business Process Compliance. - Shazia Sadiq; Guido Governatori; Kioumars Namiri (BPM, 2007)

Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic. - Régis Riveret; Antonino Rotolo; Guido Governatori (Normative Multi-agent Systems, 2007)

Variants of temporal defeasible logics for modelling norm modifications. - Guido Governatori; Antonino Rotolo; Régis Riveret; Monica Palmirani; Giovanni Sartor (ICAIL, 2007)

Strategic argumentation: a game theoretical investigation. - Bram Roth; Régis Riveret; Antonino Rotolo; Guido Governatori (ICAIL, 2007)

On the Representation of Deadlines in a Rental Agreement. - Guido Governatori; Joris Hulstijn; Régis Riveret; Antonino Rotolo (JURIX, 2007)

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; et al. (KSEM, 2007)

Contextual Agent Deliberation in Defeasible Logic. - Mehdi Dastani; Guido Governatori; Antonino Rotolo; Insu Song; Leendert W. N. van der Torre (PRIMA, 2007)

An Asymmetric Protocol for Argumentation Games in Defeasible Logic. - Jenny Eriksson Lundström; Guido Governatori; Subhasis Thakur; Vineet Padmanabhan (PRIMA, 2007)

Proof Explanation in the DR-DEVICE System. - Nick Bassiliades; Grigoris Antoniou; Guido Governatori (RR, 2007)

DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies. - Thomas Skylogiannis; Grigoris Antoniou; Nick Bassiliades; Guido Governatori; Antonis Bikakis (Data Knowl. Eng., 2007)

Labelled modal tableaux. - Guido Governatori (Advances in Modal Logic, 2008)

Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. - Guido Governatori; Jörg Hoffmann 001; Shazia Sadiq; Ingo Weber (Business Process Management Workshops, 2008)

Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories. - Guido Governatori; Antonino Rotolo (DEON, 2008)

Levels of Modalities for BDI Logic. - Jeff Blee; David Billington; Guido Governatori; Abdul Sattar 001 (Web Intelligence/IAT Workshops, 2008)

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators. - Efstratios Kontopoulos; Nick Bassiliades; Guido Governatori; Grigoris Antoniou (Web Intelligence/IAT Workshops, 2008)

An Algorithm for Business Process Compliance. - Guido Governatori; Antonino Rotolo (JURIX, 2008)

A Compliance Model of Trust. - Guido Governatori; Subhasis Thakur; Duy Hoang Pham (JURIX, 2008)

Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic. - Guido Governatori; Antonino Rotolo (NORMAS, 2008)

Knowledge Assessment: A Modal Logic Approach. - Vineet Padmanabhan; Guido Governatori; Subhasis Thakur (PRIMA, 2008)

Settling on the Group's Goals: An n-Person Argumentation Game Approach. - Duy Hoang Pham; Subhasis Thakur; Guido Governatori (PRIMA, 2008)

On Extending RuleML for Modal Defeasible Logic. - Duy Hoang Pham; Guido Governatori; Simon Raboczi; Andrew Newman; Subhasis Thakur (RuleML, 2008)

A system for modal and deontic defeasible reasoning. - Grigoris Antoniou; Nikos Dimaresis; Guido Governatori (SAC, 2008)

BIO logical agents: Norms, beliefs, intentions in defeasible logic. - Guido Governatori; Antonino Rotolo (Auton. Agents Multi Agent Syst., 2008)

A computational framework for institutional agency. - Guido Governatori; Antonino Rotolo (Artif. Intell. Law, 2008)

Proof explanation for a nonmonotonic Semantic Web rules language. - Grigoris Antoniou; Antonis Bikakis; Nikos Dimaresis; Manolis Genetzakis; Giannis Georgalis; Guido Governatori; Efie Karouzaki; Nikolaos Kazepis; Dimitris Kosmadakis; Manolis Kritsotakis; Giannis Lilis; Antonis Papadogiannakis; et al. (Data Knowl. Eng., 2008)

Introduction to the Special Issue: Electronic Contract Architectures and Languages. - Claudio Bartolini; Guido Governatori; Zoran Milosevic (Int. J. Electron. Commer., 2008)

Measurement of Compliance Distance in Business Processes. - Ruopeng Lu; Shazia Sadiq; Guido Governatori (Inf. Syst. Manag., 2008)

The Journey to Business Process Compliance. - Guido Governatori; Shazia Sadiq (Handbook of Research on Business Process Modeling, 2009)

Defining Adaptation Constraints for Business Process Variants. - Ruopeng Lu; Shazia Sadiq; Guido Governatori; Xiaoping Yang (BIS, 2009)

Modelling and Reasoning Languages for Social Networks Policies. - Guido Governatori; Renato Iannella (EDOC, 2009)

How Do Agents Comply with Norms? - Guido Governatori; Antonino Rotolo (Web Intelligence/IAT Workshops, 2009)

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning. - Guido Governatori; Antonino Rotolo; Rossella Rubino (JSAI-isAI Workshops, 2009)

Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. - Guido Boella; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (AICOL Workshops, 2009)

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain. - Thomas F. Gordon; Guido Governatori; Antonino Rotolo (RuleML, 2009)

The Making of SPINdle. - Ho-Pun Lam; Guido Governatori (RuleML, 2009)

A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic. - Ho-Pun Lam; Subhasis Thakur; Guido Governatori; Abdul Sattar 001 (RuleML Challenge, 2009)

Modal tableaux for verifying stream authentication protocols. - Mehmet A. Orgun; Guido Governatori; Chuchang Liu (Auton. Agents Multi Agent Syst., 2009)

On managing business processes variants. - Ruopeng Lu; Shazia Sadiq; Guido Governatori (Data Knowl. Eng., 2009)

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems. - Grigoris Antoniou; Nikos Dimaresis; Guido Governatori (Expert Syst. Appl., 2009)

A defeasible logic for modelling policy-based intentions and motivational attitudes. - Guido Governatori; Vineet Padmanabhan; Antonino Rotolo; Abdul Sattar 001 (Log. J. IGPL, 2009)

DR-CONTRACT: an architecture for e-contracts in defeasible logic. - Guido Governatori; Duy Hoang Pham (Int. J. Bus. Process. Integr. Manag., 2009)

Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games. - Duy Hoang Pham; Guido Governatori; Subhasis Thakur (J. Univers. Comput. Sci., 2009)

A conceptually rich model of business process compliance. - Guido Governatori; Antonino Rotolo (APCCM, 2010)

Automatic synthesis of reactive agents. - Insu Song; Guido Governatori; Joachim Diederich (ICARCV, 2010)

Burdens of Proof in Monological Argumentation. - Guido Governatori; Giovanni Sartor (JURIX, 2010)

Temporal Dimensions in Rules Modelling. - Monica Palmirani; Guido Governatori; Giuseppe Contissa (JURIX, 2010)

A Logical Understanding of Legal Interpretation. - Guido Boella; Guido Governatori; Antonino Rotolo; Leendert W. N. van der Torre (KR, 2010)

Towards an implicit treatment of periodically-repeated medical data. - Bela Stantic; Paolo Terenziani; Abdul Sattar 001; Alessio Bottrighi; Guido Governatori (MedInfo, 2010)

Law, logic and business processes. - Guido Governatori (RELAW, 2010)

Superiority Based Revision of Defeasible Theories. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Matteo Cristani (RuleML, 2010)

Norm Compliance in Business Process Modeling. - Guido Governatori; Antonino Rotolo (RuleML, 2010)

Transformation of SBVR Compliant Business Rules to Executable FCL Rules. - Aqueo Kamada; Guido Governatori; Shazia Sadiq (RuleML, 2010)

SBVR based Business Contract and Business Rule IDE. - Aqueo Kamada; Guido Governatori; Shazia Sadiq (RuleML Challenge, 2010)

A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web. - Kalliopi Kravari; Grammati-Eirini Kastori; Nick Bassiliades; Guido Governatori (RuleML, 2010)

On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic. - Ho-Pun Lam; Guido Governatori (RuleML, 2010)

Changing legal systems: legal abrogations and annulments in Defeasible Logic. - Guido Governatori; Antonino Rotolo (Log. J. IGPL, 2010)

Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments. - Nick Bassiliades; Guido Governatori; Adrian Paschke; Jürgen Dix (IEEE Trans. Knowl. Data Eng., 2010)

An inclusion theorem for defeasible logics. - David Billington; Grigoris Antoniou; Guido Governatori; Michael J. Maher (ACM Trans. Comput. Log., 2010)

Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts. - Mohammed Gollapalli; Xue Li 001; Ian A. Wood; Guido Governatori (ADMA (2), 2011)

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance. - Guido Governatori; Antonino Rotolo (CLIMA, 2011)

On the relationship between Carneades and Defeasible Logic. - Guido Governatori (ICAIL, 2011)

Modelling temporal legal rules. - Monica Palmirani; Guido Governatori; Giuseppe Contissa (ICAIL, 2011)

Approximate Record Matching Using Hash Grams. - Mohammed Gollapalli; Xue Li 001; Ian A. Wood; Guido Governatori (ICDM Workshops, 2011)

Incorporating Temporal Planning Within a BDI Architecture. - Vineet Padmanabhan; Abdul Sattar 001; Guido Governatori; Kollapalli Ramesh Babu (IICAI, 2011)

Three Concepts of Defeasible Permission. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (JURIX, 2011)

What Are the Necessity Rules in Defeasible Reasoning? - Ho-Pun Lam; Guido Governatori (LPNMR, 2011)

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms. - Vineet Padmanabhan; Guido Governatori; Abdul Sattar 001 (MIWAI, 2011)

Designing for Compliance: Norms and Goals. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Matteo Cristani (RuleML America, 2011)

LegalRuleML: XML-Based Rules and Norms. - Monica Palmirani; Guido Governatori; Antonino Rotolo; Said Tabet; Harold Boley; Adrian Paschke (RuleML America, 2011)

A modelling and reasoning framework for social networks policies. - Guido Governatori; Renato Iannella (Enterp. Inf. Syst., 2011)

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web. - Efstratios Kontopoulos; Nick Bassiliades; Guido Governatori; Grigoris Antoniou (Int. J. Semantic Web Inf. Syst., 2011)

Levels of modality for BDI Logic. - Jeff Blee; David Billington; Guido Governatori; Abdul Sattar 001 (J. Appl. Log., 2011)

Time and defeasibility in FIPA ACL semantics. - Guido Boella; Guido Governatori; Joris Hulstijn; Régis Riveret; Antonino Rotolo; Leendert W. N. van der Torre (J. Appl. Log., 2011)

Special issue on logics for intelligent agents and multi-agent systems. - Mehmet A. Orgun; Guido Governatori; Chuchang Liu; Mark Reynolds 001; Abdul Sattar 001 (J. Appl. Log., 2011)

On modeling punishment in multi-agent systems. - Subhasis Thakur; Guido Governatori; Abdul Sattar 001 (AAMAS, 2012)

Distributed Defeasible Speculative Reasoning in Ambient Environment. - Ho-Pun Lam; Guido Governatori; Ken Satoh; Hiroshi Hosobe (CLIMA, 2012)

Possible World Semantics for Defeasible Deontic Logic. - Guido Governatori; Antonino Rotolo; Erica Calardo (DEON, 2012)

Narrowing Legal Concepts. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (JURIX, 2012)

Rule Based Business Process Compliance. - Guido Governatori; Sidney Shek (RuleML (2), 2012)

Business Process Data Compliance. - Mustafa Hashmi; Guido Governatori; Moe Thandar Wynn (RuleML, 2012)

A history of AI and Law in 50 papers: 25 years of the international conference on AI and 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; et al. (Artif. Intell. Law, 2012)

An implicit approach to deal with periodically repeated medical data. - Bela Stantic; Paolo Terenziani; Guido Governatori; Alessio Bottrighi; Abdul Sattar 001 (Artif. Intell. Medicine, 2012)

Revision of Defeasible Logic Preferences - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Matteo Cristani (CoRR, 2012)

Normative Multi-Agent Systems (Dagstuhl Seminar 12111). - Giulia Andrighetto; Guido Governatori; Pablo Noriega; Leon van der Torre (Dagstuhl Reports, 2012)

On compliance checking for clausal constraints in annotated process models. - Jörg Hoffmann 001; Ingo Weber; Guido Governatori (Inf. Syst. Frontiers, 2012)

A Methodological Evaluation of Business Process Compliance Management Frameworks. - Mustafa Hashmi; Guido Governatori (AP-BPM, 2013)

Normative Requirements for Business Process Compliance. - Mustafa Hashmi; Guido Governatori; Moe Thandar Wynn (ASSRI, 2013)

The Uses of Norms. - 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; et al. (Normative Multi-Agent Systems, 2013)

Towards an Abstract Framework for Compliance. - Silvano Colombo Tosatto; Guido Governatori; Pierre Kelsen (EDOC Workshops, 2013)

OASIS LegalRuleML. - Tara Athan; Harold Boley; Guido Governatori; Monica Palmirani; Adrian Paschke; Adam Z. Wyner (ICAIL, 2013)

Legal contractions: a logical analysis. - Guido Governatori; Antonino Rotolo; Francesco Olivieri; Simone Scannapieco (ICAIL, 2013)

Regorous: a business process compliance checker. - Guido Governatori; Sidney Shek (ICAIL, 2013)

Algorithms for Basic Compliance Problems. - Silvano Colombo Tosatto; Marwane El Kharbili; Guido Governatori; Pierre Kelsen; Qin Ma 002; Leendert W. N. van der Torre (ICST Workshops, 2013)

Heuristics for Licenses Composition. - Guido Governatori; Ho-Pun Lam; Antonino Rotolo; Serena Villata; Fabien Gandon (JURIX, 2013)

Compliant Business Process Design by Declarative Specifications. - Francesco Olivieri; Guido Governatori; Simone Scannapieco; Matteo Cristani (PRIMA, 2013)

A Methodology for Plan Revision under Norm and Outcome Compliance. - Simone Scannapieco; Guido Governatori; Francesco Olivieri; Matteo Cristani (PRIMA, 2013)

LegalRuleML: From Metamodel to Use Cases - (A Tutorial). - Tara Athan; Harold Boley; Guido Governatori; Monica Palmirani; Adrian Paschke; Adam Z. Wyner (RuleML, 2013)

Picking Up the Best Goal - An Analytical Study in Defeasible Logic. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco; Matteo Cristani (RuleML, 2013)

Computing Temporal Defeasible Logic. - Guido Governatori; Antonino Rotolo (RuleML, 2013)

A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics. - Adam Z. Wyner; Guido Governatori (RuleML (2), 2013)

One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data. - Guido Governatori; Antonino Rotolo; Serena Villata; Fabien Gandon (ISWC (1), 2013)

Business Process Compliance: An Abstract Normative Framework. - Guido Governatori (it Inf. Technol., 2013)

Computing Strong and Weak Permissions in Defeasible Logic. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (J. Philos. Log., 2013)

Towards a model of UAVs navigation in urban canyon through defeasible logic. - Ho-Pun Lam; Guido Governatori (J. Log. Comput., 2013)

A Preference-Based Semantics for CTD Reasoning. - Erica Calardo; Guido Governatori; Antonino Rotolo (DEON, 2014)

Detecting Deontic Conflicts in Dynamic Settings. - Silvano Colombo Tosatto; Guido Governatori; Pierre Kelsen (DEON, 2014)

Strategic Argumentation is NP-Complete. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Antonino Rotolo; Matteo Cristani (ECAI, 2014)

Social Interaction Based Audience Segregation for Online Social Networks. - Javed Ahmed; Guido Governatori; Leendert W. N. van der Torre; Serena Villata (ECSI, 2014)

Strategic Argumentation Under Grounded Semantics is NP-Complete. - Guido Governatori; Michael J. Maher; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco (EUMAS, 2014)

Legal Interpretations in LegalRuleML. - Tara Athan; Guido Governatori; Monica Palmirani; Adrian Paschke; Adam Z. Wyner (SW4LAW+DC@JURIX, 2014)

Two Faces of Strategic Argumentation in the Law. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Simone Scannapieco; Giovanni Sartor (JURIX, 2014)

On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic. - Marc Allaire; Guido Governatori (PRIMA, 2014)

The Hardness of Revising Defeasible Preferences. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Matteo Cristani (RuleML, 2014)

Modeling Obligations with Event-Calculus. - Mustafa Hashmi; Guido Governatori; Moe Thandar Wynn (RuleML, 2014)

Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data. - Cristian Cardellino; Serena Villata; Fabien Gandon; Guido Governatori; Ho-Pun Lam; Antonino Rotolo (ISWC (Posters & Demos), 2014)

LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data. - Guido Governatori; Ho-Pun Lam; Antonino Rotolo; Serena Villata; Ghislain Auguste Atemezing; Fabien Gandon (ISWC (Posters & Demos), 2014)

Checking Licenses Compatibility between Vocabularies and Data. - Guido Governatori; Ho-Pun Lam; Antonino Rotolo; Serena Villata; Ghislain Auguste Atemezing; Fabien Gandon (COLD, 2014)

ICT Support for Regulatory Compliance of Business Processes. - Guido Governatori (CoRR, 2014)

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII). - Michael Fisher 001; Leendert W. N. van der Torre; Mehdi Dastani; Guido Governatori (J. Log. Comput., 2014)

Logics for Legal Dynamics. - Guido Governatori; Antonino Rotolo (Logic in the Theory and Practice of Lawmaking, 2015)

The Regorous Approach to Process Compliance. - Guido Governatori (EDOC Workshops, 2015)

Message from the EVL-BP 2015 Workshop Co-Chairs. - Guido Governatori; Georg Grossmann; Jens Kolb (EDOC Workshops, 2015)

No Time for Compliance. - Guido Governatori; Mustafa Hashmi (EDOC, 2015)

Thou shalt is not you will. - Guido Governatori (ICAIL, 2015)

RuleOMS: a rule-based online management system. - Mohammad Badiul Islam; Guido Governatori (ICAIL, 2015)

Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments. - Antonino Rotolo; Guido Governatori; Giovanni Sartor (ICAIL, 2015)

Burden of Compliance and Burden of Violation. - Guido Governatori (JURIX, 2015)

Permissions in Deontic Event-Calculus. - Guido Governatori; Mustafa Hashmi (JURIX, 2015)

Semantics for Modelling Reason-Based Preferences. - Erica Calardo; Guido Governatori; Antonino Rotolo (PRIMA, 2015)

Compliant Business Processes with Exclusive Choices from Agent Specification. - Francesco Olivieri; Matteo Cristani; Guido Governatori (PRIMA, 2015)

LegalRuleML: Design Principles and Foundations. - Tara Athan; Guido Governatori; Monica Palmirani; Adrian Paschke; Adam Z. Wyner (Reasoning Web, 2015)

Algorithms for tractable compliance problems. - Silvano Colombo Tosatto; Pierre Kelsen; Qin Ma 002; Marwane El Kharbili; Guido Governatori; Leendert W. N. van der Torre (Frontiers Comput. Sci., 2015)

Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems. - Hoa Khanh Dam; Jeremy V. Pitt; Guido Governatori; Takayuki Ito 001; Yang Xu 003 (Scalable Comput. Pract. Exp., 2015)

Business Process Regulatory Compliance is Hard. - Silvano Colombo Tosatto; Guido Governatori; Pierre Kelsen (IEEE Trans. Serv. Comput., 2015)

Managing Regulatory Compliance in Business Processes. - Shazia Sadiq; Guido Governatori (Handbook on Business Process Management (2), 2015)

On Learning Attacks in Probabilistic Abstract Argumentation. - Régis Riveret; Guido Governatori (AAMAS, 2016)

Untrusted Business Process Monitoring and Execution Using Blockchain. - Ingo Weber; Xiwei Xu 001; Régis Riveret; Guido Governatori; Alexander Ponomarev; Jan Mendling (BPM, 2016)

On ASPIC+ and Defeasible Logic. - Ho-Pun Lam; Guido Governatori; Régis Riveret (COMMA, 2016)

Sequence Semantics for Norms and Obligations. - Guido Governatori; Francesco Olivieri; Erica Calardo; Antonino Rotolo (DEON, 2016)

On Labelling Statements in Multi-Labelling Argumentation. - Pietro Baroni; Guido Governatori; Régis Riveret (ECAI, 2016)

Semantic Business Process Regulatory Compliance Checking Using LegalRuleML. - Guido Governatori; Mustafa Hashmi; Ho-Pun Lam; Serena Villata; Monica Palmirani (EKAW, 2016)

Interpretation Across Legal Systems. - Alessandra Malerba; Antonino Rotolo; Guido Governatori (JURIX, 2016)

On the Justification of Statements in Argumentation-based Reasoning. - Pietro Baroni; Guido Governatori; Ho-Pun Lam; Régis Riveret (KR, 2016)

Sequence Semantics for Normative Agents. - Guido Governatori; Francesco Olivieri; Erica Calardo; Antonino Rotolo; Matteo Cristani (PRIMA, 2016)

Evaluation of Logic-Based Smart Contracts for Blockchain Systems. - Florian Idelberger; Guido Governatori; Régis Riveret; Giovanni Sartor (RuleML, 2016)

A policy-based B2C e-Contract management workflow methodology using semantic web agents. - Kalliopi Kravari; Nick Bassiliades; Guido Governatori (Artif. Intell. Law, 2016)

Normative requirements for regulatory compliance: An abstract formal framework. - Mustafa Hashmi; Guido Governatori; Moe Thandar Wynn (Inf. Syst. Frontiers, 2016)

The rationale behind the concept of goal. - Guido Governatori; Francesco Olivieri; Simone Scannapieco; Antonino Rotolo; Matteo Cristani (Theory Pract. Log. Program., 2016)

Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents. - Mauro Dragoni; Serena Villata; Williams Rizzi; Guido Governatori (AICOL, 2017)

Declarative Approaches for Compliance by Design. - Francesco Olivieri; Guido Governatori; Nick van Beest; Nina Ghanbari Ghooshchi (ASSRI, 2017)

Visualisation of Compliant Declarative Business Processes. - Nina Ghanbari Ghooshchi; Nick van Beest; Guido Governatori; Francesco Olivieri; Abdul Sattar 001 (EDOC, 2017)

Normative Requirements as Linked Data. - Fabien Gandon; Guido Governatori; Serena Villata (JURIX, 2017)

A Short Introduction to the Regorous Compliance by Design Methodology. - Guido Governatori (TERECOM@JURIX, 2017)

Temporalised Belief Revision in the Law. - Luciano H. Tamargo; Diego C. Martínez 001; Antonino Rotolo; Guido Governatori (JURIX, 2017)

RuleML (Web Rule Symposium) 2016 Report. - Paul Fodor; Guido Governatori; José Júlio Alferes; Leopoldo E. Bertossi (AI Mag., 2017)

Annotated defeasible logic. - Guido Governatori; Michael J. Maher (Theory Pract. Log. Program., 2017)

Dialogues on Moral Theories. - Guido Governatori; Francesco Olivieri; Régis Riveret; Antonino Rotolo; Serena Villata (DEON, 2018)

Lessons Learned while Formalizing ISO 26262 for Compliance Checking. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Guido Governatori (TERECOM@JURIX, 2018)

Legal Representation and Reasoning in Practice: A Critical Comparison. - Sotiris Batsakis; George Baryannis; Guido Governatori; Ilias Tachmazidis; Grigoris Antoniou (JURIX, 2018)

Modelling Legal Knowledge for GDPR Compliance Checking. - Monica Palmirani; Guido Governatori (JURIX, 2018)

Sending Messages in Social Networks. - Matteo Cristani; Francesco Olivieri; Claudio Tomazzoli; Guido Governatori (KES-AMSTA, 2018)

A Deontic Argumentation Framework Based on Deontic Defeasible Logic. - Guido Governatori; Antonino Rotolo; Régis Riveret (PRIMA, 2018)

Resource-Driven Substructural Defeasible Logic. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Nick van Beest; Silvano Colombo Tosatto (PRIMA, 2018)

Modal Rules: Extending Defeasible Logic with Modal Operators. - Guido Governatori (RuleML+RR, 2018)

Practical Normative Reasoning with Defeasible Deontic Logic. - Guido Governatori (RW, 2018)

Research in progress: report on the ICAIL 2017 doctoral consortium. - Maria Dymitruk; Réka Markovich; Ruta Liepina; Mirna El Ghosh; Robert van Doesburg; Guido Governatori; Bart Verheij (Artif. Intell. Law, 2018)

On legal contracts, imperative and declarative smart contracts, and blockchain systems. - Guido Governatori; Florian Idelberger; Zoran Milosevic; Régis Riveret; Giovanni Sartor; Xiwei Xu 001 (Artif. Intell. Law, 2018)

Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation. - Mustafa Hashmi; Guido Governatori (Artif. Intell. Law, 2018)

RuleRS: a rule-based architecture for decision support systems. - Mohammad Badiul Islam; Guido Governatori (Artif. Intell. Law, 2018)

A labelling framework for probabilistic argumentation. - Régis Riveret; Pietro Baroni; Yang Gao 021; Guido Governatori; Antonino Rotolo; Giovanni Sartor (Ann. Math. Artif. Intell., 2018)

Sequence Semantics for Modelling Reason-based Preferences. - Erica Calardo; Guido Governatori; Antonino Rotolo (Fundam. Informaticae, 2018)

Are we done with business process compliance: state of the art and challenges ahead. - Mustafa Hashmi; Guido Governatori; Ho-Pun Lam; Moe Thandar Wynn (Knowl. Inf. Syst., 2018)

Blockchains for Business Process Management - Challenges and Opportunities. - 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; et al. (ACM Trans. Manag. Inf. Syst., 2018)

Checking Regulatory Compliance: Will We Live to See It? - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (BPM, 2019)

Modelling Dialogues for Optimal Legislation. - Guido Governatori; Antonino Rotolo; Régis Riveret; Serena Villata (ICAIL, 2019)

Advancements in Resource-Driven Substructural Defeasible Logic. - Francesco Olivieri; Guido Governatori; Matteo Cristani (JELIA, 2019)

Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools. - Gabriela Ferraro; Ho-Pun Lam; Silvano Colombo Tosatto; Francesco Olivieri; Mohammad Badiul Islam; Nick van Beest; Guido Governatori (JSAI-isAI Workshops, 2019)

A Methodology for Encoding Regulatory Rules. - Hanif Bhuiyan; Francesco Olivieri; Guido Governatori; Mohammad Badiul Islam; Andy Bond; Andry Rakotonirainy (MIREL@JURIX, 2019)

Legal Compliance in a Linked Open Data Framework. - Enrico Francesconi; Guido Governatori (JURIX, 2019)

A Short Note on the Chisholm Paradox. - Guido Governatori (MIREL@JURIX, 2019)

Deontic Closure and Conflict in Legal Reasoning. - Guido Governatori; Robert Mullins (JURIX, 2019)

Legislative Dialogues with Incomplete Information. - Guido Governatori; Antonino Rotolo (JURIX, 2019)

A Computational Model for Pragmatic Oddity. - Guido Governatori; Antonino Rotolo (JURIX, 2019)

Non-monotonic Collective Decisions. - Matteo Cristani; Francesco Olivieri; Guido Governatori (PRIMA, 2019)

A probabilistic argumentation framework for reinforcement learning agents - Towards a mentalistic approach to agent profiles. - Régis Riveret; Yang Gao 021; Guido Governatori; Antonino Rotolo; Jeremy Pitt; Giovanni Sartor (Auton. Agents Multi Agent Syst., 2019)

An axiomatic characterization of temporalised belief revision in the law. - Luciano H. Tamargo; Diego C. Martínez 001; Antonino Rotolo; Guido Governatori (Artif. Intell. Law, 2019)

Information and friend segregation for online social networks: a user study. - Javed Ahmed; Serena Villata; Guido Governatori (AI Soc., 2019)

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes. - Francesco Olivieri; Guido Governatori; Claudio Tomazzoli; Matteo Cristani (DICE-FOPARA@ETAPS, 2019)

Time and Compensation Mechanisms in Checking Legal Compliance. - Guido Governatori; Antonino Rotolo (FLAP, 2019)

Efficient Full Compliance Checking of Concurrent Components for business Process Models. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest; Francesco Olivieri (FLAP, 2019)

Revision of defeasible preferences. - Guido Governatori; Francesco Olivieri; Matteo Cristani; Simone Scannapieco (Int. J. Approx. Reason., 2019)

Principles and Semantics: Modelling Violations for Normative Reasoning. - Silvano Colombo Tosatto; Guido Governatori; Antonino Rotolo (AICOL, 2020)

Verifying Compliance of Process Compositions Through Certification of its Components. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (EDOC, 2020)

Traffic Rules Encoding Using Defeasible Deontic Logic. - Hanif Bhuiyan; Guido Governatori; Andy Bond; Sébastien Demmel; Mohammad Badiul Islam; Andry Rakotonirainy (JURIX, 2020)

Free Choice Permission in Defeasible Deontic Logic. - Guido Governatori; Antonino Rotolo (JURIX, 2020)

On the Formal Representation of the Australian Spent Conviction Scheme. - Guido Governatori; Pompeu Casanovas Romeu; Louis de Koker (RuleML+RR, 2020)

Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (CoRR, 2020)

A Normative Supervisor for Reinforcement Learning Agents. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni; Guido Governatori (CADE, 2021)

Is Free Choice Permission Admissible in Classical Deontic Logic? - Guido Governatori; Antonino Rotolo (DEON, 2021)

A Defeasible Deontic Logic for Pragmatic Oddity. - Guido Governatori; Silvano Colombo Tosatto; Antonino Rotolo (DEON, 2021)

Semi-automated checking for regulatory compliance in e-Health. - Ilaria Angela Amantea; Livio Robaldo; Emilio Sulis; Guido Boella; Guido Governatori (EDOC Workshops, 2021)

Unravel legal references in defeasible deontic logic. - Guido Governatori; Francesco Olivieri (ICAIL, 2021)

Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment. - Alice Witt; Anna Huggins; Guido Governatori; Joshua Buckley (ICAIL, 2021)

Computing Defeasible Meta-logic. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Abdul Sattar 001 (JELIA, 2021)

Computing Private International Law. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Abdul Sattar 001; Matteo Cristani (JURIX, 2021)

Compliance-aware engineering process plans: the case of space software engineering processes. - Julieth Patricia Castellanos Ardila; Barbara Gallina; Guido Governatori (Artif. Intell. Law, 2021)

Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants. - Silvano Colombo Tosatto; Guido Governatori; Nick van Beest (CoRR, 2021)

AI and Ethics - Operationalising Responsible AI. - Liming Zhu 001; Xiwei Xu 001; Qinghua Lu 001; Guido Governatori; Jon Whittle 001 (CoRR, 2021)

Large-scale Legal Reasoning with Rules and Databases. - Grigoris Antoniou; George Baryannis; Sotiris Batsakis; Guido Governatori; Mohammad Badiul Islam; Qing Liu 001; Livio Robaldo; Giovanni Siragusa; Ilias Tachmazidis (FLAP, 2021)

Strategic Argumentation. - Guido Governatori; Michael J. Maher; Francesco Olivieri (FLAP, 2021)

Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics. - Luciano H. Tamargo; Diego C. Martínez 001; Antonino Rotolo; Guido Governatori (FLAP, 2021)

Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice. - Silvano Colombo Tosatto; Guido Governatori (FLAP, 2021)

Towards an efficient rule-based framework for legal reasoning. - Qing Liu 001; Mohammad Badiul Islam; Guido Governatori (Knowl. Based Syst., 2021)

Synthesis of Regulation Compliant Business Processes. - Nina Ghanbari Ghooshchi; Nick van Beest; Guido Governatori; Francesco Olivieri (IEEE Trans. Serv. Comput., 2021)

Houdini (unchained): An Effective Reasoner for Defeasible Logic. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Luca Pasetto; Francesco Tubini; Celeste Veronese; Alessandro Villa; Edoardo Zorzi (AI³@AI*IA, 2022)

On the Use of the Conformance and Compliance Keywords During Verification of Business Processes. - Heerko Groefsema; Nick R. T. P. van Beest; Guido Governatori (BPM (Forum), 2022)

Taking stock of available technologies for compliance checking on first-order knowledge. - Livio Robaldo; Sotiris Batsakis; Roberta Calegari; Francesco Calimeri; Megumi Fujita; Guido Governatori; Maria Concetta Morelli; Giuseppe Pisano; Ken Satoh; Ilias Tachmazidis (CILC, 2022)

Stable Normative Explanations. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Matteo Cristani (JURIX, 2022)

Inference to the Stable Explanations. - Guido Governatori; Francesco Olivieri; Antonino Rotolo; Matteo Cristani (LPNMR, 2022)

Validation of Autonomous Vehicle Overtaking under Queensland Road Rules. - Hanif Bhuiyan; Guido Governatori; Andy Bond; Andry Rakotonirainy (RuleML+RR (Companion), 2022)

From Defeasible Logic to Counterfactual Reasoning. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Antonino Rotolo (RuleML+RR, 2022)

Thirty years of Artificial Intelligence and Law: the first decade. - Guido Governatori; Trevor J. M. Bench-Capon; Bart Verheij; Michal Araszkiewicz; Enrico Francesconi; Matthias Grabmair (Artif. Intell. Law, 2022)

Deontic Meta-Rules. - Francesco Olivieri; Guido Governatori; Matteo Cristani; Antonino Rotolo; Abdul Sattar 001 (CoRR, 2022)

Enforcing ethical goals over reinforcement-learning policies. - Emery A. Neufeld; Ezio Bartocci; Agata Ciabattoni; Guido Governatori (Ethics Inf. Technol., 2022)

Business Process Modelling in Healthcare and Compliance Management: A Logical Framework. - Ilaria Angela Amantea; Livio Robaldo; Emilio Sulis; Guido Governatori; Guido Boella (FLAP, 2022)

Explainable Reasoning with Legal Big Data: A Layered Framework. - Grigoris Antoniou; Katie Atkinson; George Baryannis; Sotiris Batsakis; Luigo Di Caro; Guido Governatori; Livio Robaldo; Giovanni Siragusa; Ilias Tachmazidis (FLAP, 2022)

Extraction of Defeasible Proofs as Explanations. - Luca Pasetto; Matteo Cristani; Guido Governatori; Francesco Olivieri; Edoardo Zorzi (AI³@AI*IA, 2023)

Deontic Ambiguities in Legal Reasoning. - Guido Governatori; Antonino Rotolo (ICAIL, 2023)

Stable Normative Explanations: From Argumentation to Deontic Logic. - Cecilia Di Florio; Antonino Rotolo; Guido Governatori; Giovanni Sartor (JELIA, 2023)

Automating Business Process Compliance for the EU AI Act. - Claudio Novelli; Guido Governatori; Antonino Rotolo (JURIX, 2023)

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 (KES, 2023)

Patterns for legal compliance checking in a decidable framework of linked open data. - Enrico Francesconi; Guido Governatori (Artif. Intell. Law, 2023)

Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules. - Hanif Bhuiyan; Guido Governatori; Andry Rakotonirainy; Meng Weng Wong; Avishkar Mahajan (Rev. Socionetwork Strateg., 2023)

Cross-Instance Regulatory Compliance Checking of Business Process Event Logs. - Nick van Beest; Heerko Groefsema; Adrian Cryer; Guido Governatori; Silvano Colombo Tosatto; Hannah M. S. Burke (IEEE Trans. Software Eng., 2023)

A Logical Framework for Weak Permissions in Criminal Procedure. - Guido Governatori; Antonino Rotolo (JURIX, 2024)

What's the AIM? A Methodology for Artificial Intelligence Compliance. - Ilaria Angela Amantea; Guido Governatori; Marianna Molinari; Marinella Quaranta; Immaculate Motsi-Omoijiade (PLC@ICPM, 2024)

Fair Shifts by the Rule: a Rule-based Compliance Methodology for Medical Rosters. - Guido Governatori; Ilaria Angela Amantea; Marinella Quaranta; Marianna Molinari; Simone Vagnoni; Andrea Filippo Ferraris; Giuseppe Contissa; Monica Palmirani; Marco Busso; Marco Grosso (RuleML+RR (Companion), 2024)

Ambiguities in Defeasible Logic: A Computational Efficient Framework and Algorithm. - Guido Governatori; Francesco Olivieri (RuleML+RR, 2024)

Simulating the Law in a Multi-Agent System. - Matteo Cristani; Francesco Olivieri; Guido Governatori; Gabriele Buriola (WOA, 2024)

Traffic rules compliance checking of automated vehicle maneuvers. - Hanif Bhuiyan; Guido Governatori; Andy Bond; Andry Rakotonirainy (Artif. Intell. Law, 2024)

Weak Permission is not Well-Founded, Grounded and Stable. - Guido Governatori (CoRR, 2024)

Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic. - Guido Governatori; Silvano Colombo Tosatto; Antonino Rotolo (J. Log. Comput., 2024)

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies. - 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 (Artif. Intell. Law, 2024)

Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity. - Alice Witt; Anna Huggins; Guido Governatori; Joshua Buckley (Artif. Intell. Law, 2024)

An ASP Implementation of Defeasible Deontic Logic. - Guido Governatori (Künstliche Intell., 2024)

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). - Guido Governatori; Anni-Yasmin Turhan (Theory Pract. Log. Program., 2025)

Explainability by design: an experimental analysis of the legal coding process. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Monica Palmirani; Gabriele Buriola (CoRR, 2025)

Judicial Permission. - Guido Governatori; Antonino Rotolo (CoRR, 2025)

From Legal Texts to Defeasible Deontic Logic via LLMs: A Study in Automated Semantic Analysis. - Elias Horner; Cristinel Mateis; Guido Governatori; Agata Ciabattoni (CoRR, 2025)

Quantum-Cognitive Tunnelling Neural Networks for Military-Civilian Vehicle Classification and Sentiment Analysis. - Milan Maksimovic; Anna Bohdanets; Immaculate Motsi-Omoijiade; Guido Governatori; Ivan S. Maksymov (CoRR, 2025)