Guido Governatori

Guido Governatori's AcademicInfluence.com Rankings

Guido Governatori

Computer Science

#7187

World Rank

#7567

Historical Rank

Automated Reasoning

#15

World Rank

#15

Historical Rank

Programming

#81

World Rank

#84

Historical Rank

Artificial Intelligence

#2871

World Rank

#2915

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Guido Governatori Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Guido Governatori's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Compliance Aware Business Process Design (2007) (791)
Modeling Control Objectives for Business Process Compliance (2007) (519)
Blockchains for Business Process Management - Challenges and Opportunities (2017) (471)
Untrusted Business Process Monitoring and Execution Using Blockchain (2016) (462)
Representation results for defeasible logic (2000) (362)
Compliance checking between business processes and business contracts (2006) (306)
Representing business contracts in RuleML (2005) (272)
Argumentation Semantics for Defeasible Logic (2004) (270)
Evaluation of Logic-Based Smart Contracts for Blockchain Systems (2016) (179)
Temporalised normative positions in defeasible logic (2005) (151)
On legal contracts, imperative and declarative smart contracts, and blockchain systems (2018) (150)
On managing business processes variants (2009) (145)
Logic of Violations: A gentzen systems for reasoning with contrary-to-duty obligations (2006) (145)
The Journey to Business Process Compliance (2009) (141)
BIO logical agents: Norms, beliefs, intentions in defeasible logic (2008) (140)
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (2012) (130)
A Flexible Framework for Defeasible Logics (2000) (127)
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations (2008) (119)
The Making of SPINdle (2009) (117)
Changing legal systems: legal abrogations and annulments in Defeasible Logic (2010) (113)
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain (2009) (109)
Managing Regulatory Compliance in Business Processes (2015) (106)
A Formal Analysis of a Business Contract Language (2006) (103)
Computing Strong and Weak Permissions in Defeasible Logic (2012) (93)
A Family of Defeasible Reasoning Logics and its Implementation (2000) (90)
DR-NEGOTIATE - a system for automated agent negotiation with defeasible logic-based strategies (2005) (89)
OASIS LegalRuleML (2013) (89)
A conceptually rich model of business process compliance (2010) (86)
Embedding defeasible logic into logic programming (2005) (85)
A Defeasible Logic of Policy-Based Intention (2002) (81)
Norm Compliance in Business Process Modeling (2010) (80)
Are we done with business process compliance: state of the art and challenges ahead (2018) (78)
LegalRuleML: XML-Based Rules and Norms (2011) (78)
Defeasible Logic: Agency, Intention and Obligation (2004) (78)
Using a temporal constraint network for business process execution (2006) (77)
Rule Interchange and Applications, International Symposium, RuleML 2009, Las Vegas, Nevada, USA, November 5-7, 2009. Proceedings (2009) (75)
Measurement of Compliance Distance in Business Processes (2008) (74)
On compliance checking for clausal constraints in annotated process models (2012) (74)
Dealing with contract violations: formalism and domain specific language (2005) (71)
LegalRuleML: Design Principles and Foundations (2015) (69)
Argumentation Semantics for Defeasible Logics (2000) (65)
Characterising Deadlines in Temporal Modal Defeasible Logic (2007) (64)
A formal approach to protocols and strategies for (legal) negotiation (2001) (62)
Normative requirements for regulatory compliance: An abstract formal framework (2016) (61)
Normative autonomy and normative co-ordination: Declarative power, representation, and mandate (2004) (61)
Rule Representation, Interchange and Reasoning on the Web (2008) (60)
A Semantic Decomposition of Defeasible Logics (1999) (60)
Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers (2009) (59)
A formal approach to negotiating agents development (2002) (55)
Thou shalt is not you will (2014) (53)
On the Modeling and Analysis of Regulations (1999) (51)
On the Axiomatisation of Elgesem's Logic of Agency and Ability (2005) (51)
An Argumentation-Theoretic Characterization of Defeasible Logic (2000) (49)
A defeasible logic for modelling policy-based intentions and motivational attitudes (2009) (49)
One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data (2013) (47)
Rule-Based Reasoning, Programming, and Applications - 5th International Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011. Proceedings (2011) (46)
Variants of temporal defeasible logics for modelling norm modifications (2007) (45)
Labelled Tableaux for Multi-Modal Logics (1995) (43)
Modelling Legal Knowledge for GDPR Compliance Checking (2018) (42)
Strategic argumentation: a game theoretical investigation (2007) (42)
Programming Cognitive Agents in Defeasible Logic (2005) (41)
An inclusion theorem for defeasible logics (2010) (41)
Declarative power, representation, and mandate: A formal analysis (2002) (41)
A modelling and reasoning framework for social networks policies (2011) (41)
Combining NLP Approaches for Rule Extraction from Legal Documents (2016) (40)
Probabilistic Automated Bidding in Multiple Auctions (2005) (40)
Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation (2009) (39)
Norm Modifications in Defeasible Logic (2005) (39)
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories (2008) (39)
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations (2002) (38)
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems (2009) (37)
Defeasible Description Logics (2004) (37)
A computational framework for institutional agency (2008) (36)
Induction of defeasible logic theories in the legal domain (2003) (35)
Occurrence of Grapevine Pinot gris virus in Friuli Venezia Giulia (Italy): field monitoring and virus quantification by real‐time RT‐PCR (2015) (35)
Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments (2015) (34)
A Logical Understanding of Legal Interpretation (2010) (34)
Actions, institutions, powers: Preliminary notes (2002) (33)
Temporal Extensions to Defeasible Logic (2007) (32)
Regorous: a business process compliance checker (2013) (32)
The Regorous Approach to Process Compliance (2015) (31)
On Learning Attacks in Probabilistic Abstract Argumentation (2016) (31)
A probabilistic approach to automated bidding in alternative auctions (2002) (31)
On the relationship between Carneades and Defeasible Logic (2011) (30)
Business Process Regulatory Compliance is Hard (2015) (30)
Semantic Business Process Regulatory Compliance Checking Using LegalRuleML (2016) (30)
DR-CONTRACT: an architecture for e-contracts in defeasible logic (2009) (29)
Defining Adaptation Constraints for Business Process Variants (2009) (29)
Defeasible Logic for Automated Negotiation (2000) (29)
How Do Agents Comply with Norms? (2009) (29)
Process modelling: the deontic way (2006) (29)
Business Process Compliance: An Abstract Normative Framework (2013) (28)
An Algorithm for Business Process Compliance (2008) (28)
Modeling Obligations with Event-Calculus (2014) (28)
Designing for Compliance: Norms and Goals (2011) (28)
Towards the Application of Association Rules for Defeasible Rules Discovery (2001) (28)
The rationale behind the concept of goal (2015) (28)
A Model of Dynamic Resource Allocation in Workflow Systems (2004) (27)
A methodological framework for aligning business processes and regulatory compliance (2010) (27)
The cost of social agents (2006) (26)
Proof explanation for a nonmonotonic Semantic Web rules language (2008) (26)
Business Process Data Compliance (2012) (26)
No Time for Compliance (2015) (26)
Revising Nonmonotonic Theories: The Case of Defeasible Logic (1999) (26)
Superiority Based Revision of Defeasible Theories (2010) (24)
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web (2011) (24)
A system for modal and deontic defeasible reasoning (2007) (23)
Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation (2018) (23)
Law, logic and business processes (2010) (23)
What Are the Necessity Rules in Defeasible Reasoning? (2011) (22)
Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic (2008) (22)
Compliant Business Process Design by Declarative Specifications (2013) (22)
Normative Requirements for Business Process Compliance (2013) (22)
Preferences of Agents in Defeasible Logic (2005) (22)
Picking Up the Best Goal - An Analytical Study in Defeasible Logic (2013) (21)
A computationally grounded logic of knowledge, belief and certainty (2005) (21)
Labelled Tableaux for Non-normal Modal Logics (1999) (21)
Approximate Compliance Checking for Annotated Process Models (2008) (21)
A labelling framework for probabilistic argumentation (2017) (20)
Strategic Argumentation is NP-Complete (2013) (20)
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance (2011) (19)
A Gentzen System for Reasoning with Contrary-To-Duty Obligations: A Preliminary Study (2002) (19)
The Uses of Norms (2013) (19)
Agents in Principle, Agents in Practice - 14th International Conference, PRIMA 2011, Wollongong, Australia, November 16-18, 2011. Proceedings (2011) (19)
Rule Based Business Process Compliance (2012) (19)
Rule-Based Agents in Temporalised Defeasible Logic (2006) (18)
A Semantic Web Based Architecture for e-Contracts in Defeasible Logic (2005) (18)
Shakespearian Modal Logic: A Labelled Treatment of Modal Identity (1996) (18)
Modelling Contracts Using RuleML (2004) (18)
Normative Requirements as Linked Data (2017) (18)
A formal approach to legal negotiation. (2001) (18)
AI and Ethics - Operationalising Responsible AI (2021) (17)
Dialogue Games in Defeasible Logic (2007) (17)
On Fibring Semantics for BDI Logics (2002) (17)
An algorithm for the induction of defeasible logic theories from databases (2003) (17)
Legal contractions: a logical analysis (2013) (17)
Observation-based Model for BDI-Agents (2005) (17)
Towards a Computational Treatment of Deontic Defeasibility (1996) (17)
Compliant Business Processes with Exclusive Choices from Agent Specification (2015) (17)
Normative Multi-Agent Systems (Dagstuhl Seminar 12111) (2012) (17)
Proof Explanation in the DR-DEVICE System (2007) (16)
Practical Normative Reasoning with Defeasible Deontic Logic (2018) (16)
Possible World Semantics for Defeasible Deontic Logic (2012) (16)
KED: A Deontic Theorem Prover (1994) (16)
Agent Computing and Multi-Agent Systems (2009) (16)
Towards a model of UAVs navigation in urban canyon through defeasible logic (2013) (15)
Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic (1999) (15)
Heuristics for Licenses Composition (2013) (15)
Transformation of SBVR Compliant Business Rules to Executable FCL Rules (2010) (15)
Modelling temporal legal rules (2011) (14)
Fibred modal tableaux (2000) (14)
RuleRS: a rule-based architecture for decision support systems (2018) (14)
A New Approach to Base Revision (1999) (14)
LegalRuleML: From Metamodel to Use Cases - (A Tutorial) (2013) (14)
A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics (2013) (14)
Legal Representation and Reasoning in Practice: A Critical Comparison (2018) (13)
Measurement of Compliance Distance in Business Work Practice (2009) (13)
A probabilistic argumentation framework for reinforcement learning agents (2019) (13)
A tableau methodology for deontic conditional logics (2000) (13)
Nested Rules in Defeasible Logic (2005) (13)
A Methodological Evaluation of Business Process Compliance Management Frameworks (2013) (13)
Burdens of Proof in Monological Argumentation (2010) (12)
Checking Regulatory Compliance: Will We Live to See It? (2019) (12)
Evaluating LegalDocML and LegalRuleML as a Standard for Sharing Normative Information in the AEC/FM Domain (2017) (12)
On ASPIC+ and Defeasible Logic (2016) (12)
Actions Made Explicit in BDI (2001) (12)
Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data (2014) (11)
Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents (2015) (11)
LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data (2014) (11)
Dealing with label dependent deontic modalities (1998) (11)
Approximate Record Matching Using Hash Grams (2011) (11)
Labelled Proofs for Quantified Modal Logic (1996) (10)
Automated rules generation from natural language legal texts (2015) (10)
On Labelling Statements in Multi-Labelling Argumentation (2016) (10)
Interpretation Across Legal Systems (2016) (10)
Designing agent chips (2006) (9)
On the complexity of Temporal Defeasible Logic (2010) (9)
Revision of defeasible preferences (2019) (9)
Modal tableaux for verifying stream authentication protocols (2009) (9)
Time and Defeasibility in FIPA ACL Semantics (2008) (9)
Three Concepts of Defeasible Permission (2011) (9)
Traffic Rules Encoding Using Defeasible Deontic Logic (2020) (9)
Representing and Reasoning on XForms Document (2004) (9)
A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web (2010) (9)
An implicit approach to deal with periodically repeated medical data (2012) (9)
Annotated defeasible logic (2017) (8)
A Preference-Based Semantics for CTD Reasoning (2014) (8)
A Defeasible Logic of Institutional Agency (2003) (8)
Sequence Semantics for Normative Agents (2016) (8)
Labelling Ideality and Subideality (1996) (8)
Algorithms for tractable compliance problems (2015) (8)
A Compact Argumentation System for Agent System Specification (2006) (7)
Revision of Defeasible Logic Preferences (2012) (7)
On compliance of business processes with business contracts (2007) (7)
An Asymmetric Protocol for Argumentation Games in Defeasible Logic (2009) (7)
Argumentation Semantics for Temporal Defeasible Logic (2006) (7)
Affective Web Service Design (2006) (7)
The Hardness of Revising Defeasible Preferences (2014) (7)
Implementing Temporal Defeasible Logic for Modeling Legal Reasoning (2009) (7)
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web (2005) (7)
An architecture for assembling agents that participate in alternative heterogeneous auctions (2002) (7)
Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications (2011) (7)
On Extending RuleML for Modal Defeasible Logic (2008) (7)
Business process compliance is hard (2012) (7)
A Normative Supervisor for Reinforcement Learning Agents (2021) (6)
Contextual deliberation of cognitive agents in defeasible logic (2007) (6)
Computing Temporal Defeasible Logic (2013) (6)
Brief notes on the axiomatization of Elgesem's logic of agency and ability (2004) (6)
Temporal Dimensions in Rules Modelling (2010) (6)
A Methodology for Encoding Regulatory Rules (2020) (6)
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems (2006) (6)
FIPA Communicative Acts in Defeasible Logic (2007) (6)
A policy-based B2C e-Contract management workflow methodology using semantic web agents (2016) (6)
Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts (2011) (6)
Sequence Semantics for Norms and Obligations (2016) (6)
Legal Interpretations in LegalRuleML (2014) (6)
Proof Explanation for the Semantic Web Using Defeasible Logic (2007) (6)
ICT Support for Regulatory Compliance of Business Processes (2013) (6)
SBVR based Business Contract and Business Rule IDE (2010) (5)
Checking Licenses Compatibility between Vocabularies and Data (2014) (5)
A Methodology for Plan Revision under Norm and Outcome Compliance (2013) (5)
A Comparison of Sceptical NAF-Free Logic Programming Approaches (1999) (5)
Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools (2019) (5)
Lessons Learned while Formalizing ISO 26262 for Compliance Checking (2018) (5)
An automated approach to normative reasoning (1994) (5)
Modelling and Reasoning Languages for Social Networks Policies (2009) (5)
Handling of current time in native XML databases (2006) (5)
Knowledge Assessment: A Modal Logic Approach (2008) (5)
Legal Reasoning and Big Data: Opportunities and Challenges (2018) (5)
Sequence Semantics for Modelling Reason-based Preferences (2018) (5)
Hardware Implementation of Temporal Nonmonotonic Logics (2006) (5)
Towards an efficient rule-based framework for legal reasoning (2021) (5)
A Logic Framework of Normative-based Contract Management (2010) (5)
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators (2008) (5)
A Duplication and Loop Checking Free System for S4 (1996) (5)
Towards an Abstract Framework for Compliance (2013) (5)
On the Justification of Statements in Argumentation-based Reasoning (2016) (5)
Logics for Legal Dynamics (2015) (5)
Efficient Full Compliance Checking of Concurrent Components for business Process Models (2019) (5)
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic (2010) (5)
Survey of indigenous parasitoids affecting the invasive chestnut gall wasp Dryocosmus kuriphilus in the Friuli Venezia Giulia region (North-East Italy)† (2016) (5)
Rule Technologies. Research, Tools, and Applications (2016) (4)
Labelled modal tableaux (2008) (4)
Detecting Deontic Conflicts in Dynamic Settings (2014) (4)
Contextual Agent Deliberation in Defeasible Logic (2009) (4)
Permissions in Deontic Event-Calculus (2015) (4)
Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment (2021) (4)
A Deontic Argumentation Framework Based on Deontic Defeasible Logic (2018) (4)
Labelled Model Modal Logic (2002) (4)
A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic (2009) (4)
Labelled Modal Sequents (2000) (4)
Is Free Choice Permission Admissible in Classical Deontic Logic? (2019) (4)
Information and friend segregation for online social networks: a user study (2019) (4)
Visualisation of Compliant Declarative Business Processes (2017) (4)
Levels of Modalities for BDI Logic (2008) (4)
Algorithms for Basic Compliance Problems (2013) (4)
On the Formal Representation of the Australian Spent Conviction Scheme (2020) (4)
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations (2000) (4)
Compliance-aware engineering process plans: the case of space software engineering processes (2021) (4)
Formal Models of Business Process Compliance (2009) (4)
Legal Compliance in a Linked Open Data Framework (2019) (4)
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time (2020) (4)
Unravel legal references in defeasible deontic logic (2021) (4)
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic (2007) (4)
Two Faces of Strategic Argumentation in the Law (2014) (4)
Distributed Defeasible Speculative Reasoning in Ambient Environment (2012) (4)
Utilizing Successful Work Practice for Business Process Evolution (2006) (4)
Influence of indoor airflow on particle spread of a single breath and cough in enclosures: Does opening a window really ‘help’? (2022) (4)
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments (2010) (3)
Semantics for Modelling Reason-Based Preferences (2015) (3)
Computing Defeasible Meta-logic (2021) (3)
A Prolog Implementation of Kem (1995) (3)
On the Relative Complexity of Labelled Modal Tableaux (2003) (3)
An axiomatic characterization of temporalised belief revision in the law (2019) (3)
Settling on the Group's Goals: An n-Person Argumentation Game Approach (2008) (3)
A Computational Framework for Non-Monotonic Agency, Institutionalised Power and Multi-Agent Systems (2003) (3)
On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic (2014) (3)
A Logic for the Interpretation of Private International Law (2021) (3)
Temporalised Belief Revision in the Law (2017) (3)
Levels of modality for BDI Logic (2011) (3)
Layered argumentation for Fuzzy automation controllers (2010) (3)
On the Axiomatization of Elgesem’s Logic of Agency (2004) (3)
Social Interaction Based Audience Segregation for Online Social Networks (2014) (3)
Thirty years of Artificial Intelligence and Law: the first decade (2022) (3)
An approach for validating BCL contract specifications (2005) (3)
Chapter XX The Journey to Business Process Compliance (2012) (3)
RuleOMS: a rule-based online management system (2015) (3)
Crash severity analysis and risk factors identification based on an alternate data source: a case study of developing country (2022) (3)
A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law (2012) (3)
Research in progress: report on the ICAIL 2017 doctoral consortium (2018) (3)
Large-scale Legal Reasoning with Rules and Databases (2021) (3)
ALE Defeasible Description Logic (2006) (3)
Modifying Is Better Than Deleting: A New Approach To Base Revision (1999) (3)
PRIMA 2014: Principles and Practice of Multi-Agent Systems (2014) (3)
Labelled modal proofs (1993) (3)
A Computational Model for Pragmatic Oddity (2019) (2)
Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games (2009) (2)
Guest editors' introduction (2005) (2)
Dialogues on Moral Theories (2018) (2)
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 (2009) (2)
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 (2006) (2)
A Fibred Tableau Calculus for BDI Logics (2006) (2)
Frontmatter, Table of Contents, Preface, List of Authors (2013) (2)
Rule-based Real-Time ADL Recognition in a Smart Home Environment (2016) (2)
Semi-automated checking for regulatory compliance in e-Health (2021) (2)
Is Defeasible Logic Applicable (2001) (2)
Fibred Modal Tableaux ( preliminary report ) (1998) (2)
A Defeasible Deontic Logic for Pragmatic Oddity (2021) (2)
Carpophilus lugubris: new presence in Friuli Venezia Giulia. (2013) (2)
Resource-driven Substructural Defeasible Logic (2018) (2)
A Tableaux System for Deontic Interpreted Systems (2003) (1)
Taking stock of available technologies for compliance checking on first-order knowledge (2022) (1)
Modal Tableaux for Verifying Security Protocols (2006) (1)
Incorporating Temporal Planning Within a BDI Architecture (2011) (1)
Agents adapt to majority behaviours (2008) (1)
Towards an implicit treatment of periodically-repeated medical data (2010) (1)
On Constructing Fibred Tableaux for BDI Logics (2006) (1)
Synthesis of Regulation Compliant Business Processes (2021) (1)
Declarative Approaches for Compliance by Design (2015) (1)
Advances in Modal Logic, Volume 6 (2006) (1)
A Compliance Model of Trust (2008) (1)
RuleRS: a rule-based architecture for decision support systems (2018) (1)
A Short Note on the Chisholm Paradox (2020) (1)
Explainable Reasoning with Legal Big Data: A Layered Framework (2022) (1)
Enforcing ethical goals over reinforcement-learning policies (2022) (1)
Narrowing Legal Concepts (2012) (1)
Deontic Logic in Computer Science, 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings (2010) (1)
Computing Private International Law (2021) (1)
Traffic rules compliance checking of automated vehicle maneuvers (2023) (1)
Modal Rules: Extending Defeasible Logic with Modal Operators (2018) (1)
Computational Logic in Multi-Agent Systems: 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 (2012) (1)
Strategic Argumentation Under Grounded Semantics is NP-Complete (2014) (1)
Patterns for legal compliance checking in a decidable framework of linked open data (2022) (1)
Normative Modifications in Defeasible Logic (2005) (1)
Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law (2017) (1)
Burden of Compliance and Burden of Violation (2015) (1)
Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants (2021) (1)
KE+: Beyond Refutation (1995) (1)
A Fibred Tableau Calculus for Modal Logics of Agents (2006) (1)
Representing contracts using ruleML (2004) (1)
On the Relative Complexity of Modal Tableaux (2003) (1)
Advancements in Resource-Driven Substructural Defeasible Logic (2019) (1)
Proceedings of the 2009 International Symposium on Rule Interchange and Applications (2009) (1)
The rationale behind the concept of goal in defeasible logic (2013) (1)
Deontic Closure and Conflict in Legal Reasoning (2019) (1)
An optimization for query answering on ALC database (2006) (1)
Special issue on logics for intelligent agents and multi-agent systems (2011) (1)
On legal contracts, imperative and declarative smart contracts, and blockchain systems (2018) (1)
Non-monotonic Collective Decisions (2019) (1)
Automatic synthesis of reactive agents (2010) (1)
Modelling Dialogues for Optimal Legislation (2019) (1)
Proceedings of the 10th international conference on Deontic logic in computer science (2010) (0)
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes (2022) (0)
Ideality and subideality from a computational point of view (1998) (0)
Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation (2017) (0)
A labelling framework for probabilistic argumentation (2018) (0)
Possible World Semantics for Quantified Non-normal Modal Logics (2006) (0)
Revising Nonmonotonic Theories : The Case ofDefeasible (2006) (0)
Practical Non-monotonic Reasoning (2004) (0)
Proving Regulatory Compliance: Full Compliance Against an Expressive Unconditional Obligation is coNP-Complete (2021) (0)
Proceedings of the 14th international conference on Agents in Principle, Agents in Practice (2011) (0)
Xylella fastidiosa in Salento, a new danger to olive health with relapses possible even in Friuli-Venezia Giulia. (2015) (0)
Project STORM: monitoring the masonry of Michelangelo's Cloister, at the Baths of Diocletian, with Fiber Bragg Grating (FBG) sensors. RAW Dataset 2018 - 2019 (2019) (0)
Automatic Synthesis of Reactive Agents Insu (2010) (0)
An Abstract Normative Framework for Business Process Compliance (2013) (0)
Comments on Cracking The Code: Rulemaking For Humans And Machines (August 2020 draft) Comments on the draft OECD White Paper on Rules as Code, submitted on 27 August 2020 to the authors (2020) (0)
Modal Tableaux for Nonmonotonic Reasoning 1 Introduction (1998) (0)
On compliance checking for clausal constraints in annotated process models (2009) (0)
Eecient Defeasible Reasoning Systems 7. Current and Future Work Eecient Defeasible Reasoning Systems Levels(n) (2001) (0)
Time and Compensation Mechanisms in Checking Legal Compliance (2019) (0)
Verifying Compliance of Process Compositions Through Certification of its Components (2020) (0)
Stable Normative Explanations (2022) (0)
RuleML (Web Rule Symposium) 2016 Report (2017) (0)
A Framework for Utilizing Preferred Work Practice for Business Process Evolution (2007) (0)
Corn rootworm (Diabrotica virgifera virgifera) trial results from 2012 to 2014. (2015) (0)
JoDS volume 2 - Guest editorial (2005) (0)
Representing and Reasoning with Policies in Modal Defeasible Logic A crash course on agents, modal logic and defeasible logic (2006) (0)
The Rationale behind the Concept of Goal published in Theory and Practice of Logic Programming (2015) (0)
EasyChair Preprint No 20 Declarative approaches for Compliance by Design (0)
Houdini (unchained): An Effective Reasoner for Defeasible Logic (2022) (0)
A Duplication and Loop Checking Free Proof System for S4 (2000) (0)
Business Process Modelling in Healthcare and Compliance Management: A Logical Framework (2022) (0)
Information and friend segregation for online social networks: a user study (2017) (0)
An axiomatic characterization of temporalised belief revision in the law (2019) (0)
Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice (2021) (0)
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII) (2014) (0)
Semantic norm modeling and business process regulatory compliance using LegalRuleML (2016) (0)
Free Choice Permission in Defeasible Deontic Logic (2020) (0)
A policy-based B2C e-Contract management workflow methodology using semantic web agents (2016) (0)
An Interaction Model for Affect Monitoring (2004) (0)
Law, metadata and semantics (2010) (0)
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes (2019) (0)
Validation of Autonomous Vehicle Overtaking under Queensland Road Rules (2022) (0)
Popper on necessity and natural laws (2006) (0)
Database Independent Analysis of Adverse Events Using Rule-Based Systhes (2019) (0)
Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms (2011) (0)
Deontic Meta-Rules (2022) (0)
Normative requirements for regulatory compliance: An abstract formal framework (2015) (0)
Sending Messages in Social Networks (2018) (0)
Introduction to the Special Issue: Electronic Contract Architectures and Languages (2008) (0)
Legislative Dialogues with Incomplete Information (2019) (0)
au Observation-based model for BDI-agents (2017) (0)
EDOC 2014 Program Committee (2014) (0)
Principles and Semantics: Modelling Violations for Normative Reasoning (2021) (0)
Are we done with business process compliance: state of the art and challenges ahead (2018) (0)
On modeling punishment in multi-agent systems (2012) (0)
From Defeasible Logic to Counterfactual Reasoning (2022) (0)
The regorous approach to business process compliance (2013) (0)
A probabilistic argumentation framework for reinforcement learning agents (2019) (0)
Argumentation Semantics for Temporal Defeasible Logic 1 (2006) (0)
Computing Strong and Weak Permissions in Defeasible Logic (2013) (0)
Presence of Diabrotica virgifera virgifera in Italy and tools for an integrated management. (2006) (0)
Chapter 7 FIBRED MODAL TABLEAUX (2005) (0)
Message from the EVL-BP 2015 Workshop Co-Chairs (2015) (0)
Advances in Modal Logic Volume 6 (Proceedings of the AiML 2006 Conference) (2006) (0)
Modal tableaux for nonmonotonic reasoning (1998) (0)
Notes on ants of Meduna River Park (Pordenone plain, North-eastern Italy). (1994) (0)
Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems (2016) (0)
A Short Introduction to the Regorous Compliance by Design Methodology (2017) (0)
The Role of IT in Business Process Compliance (2010) (0)
Proceedings of the 2009 conference on Legal Knowledge and Information Systems: JURIX 2009: The Twenty-Second Annual Conference (2009) (0)
Proceedings of the DASFAA 2008 Workshops (2009) (0)
Report from Dagstuhl Seminar 12111 Normative Multi-Agent Systems (2012) (0)
Analytic Modal Revision for Multi-agent Systems (1999) (0)
Defeasible Logic to Model n-person Argumentation Game (2008) (0)
Strategic Argumentation (2021) (0)
Institute for Integrated and Intelligent Systems (IIIS) and School of Information and Communication Technology (ICT) (2009) (0)
Avoiding Pragmatic Oddity: A Bottom-up Defeasible Deontic Logic (2022) (0)
Approaches to Uncertain or Imprecise Rules - A Survey (2009) (0)
Inference to the Stable Explanations (2022) (0)
Knowledge Base Inference Engine ( Defeasible Logic ) Control Module Inference Engine ( Defeasible Logic ) Knowledge Base Proponent Agent Opponent Agent (2001) (0)
An implicit approach for periodic data in relational databases (2011) (0)
Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, ICAIL 2017, London, United Kingdom, June 12-16, 2017 (2017) (0)
Computationally Grounded Model of BDI-Agents (2005) (0)
A Modal Computational Framework for Default Reasoning (1997) (0)
Algorithms for tractable compliance problems (2014) (0)
Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics (2021) (0)
Research in progress: report on the ICAIL 2017 doctoral consortium (2018) (0)
Matrib leaf classification using Deep Neural Network: An Integrated Image Processing Technique (2022) (0)
Diabrotica in maize in Friuli Venezia Giulia: update for 2008. (2009) (0)
On the Representation of Deadlines in a Rental Agreement (2007) (0)

This paper list is powered by the following services:

Other Resources About Guido Governatori

scholars.latrobe.edu.au

What Schools Are Affiliated With Guido Governatori?

Guido Governatori is affiliated with the following schools:

Guido Governatori's Academic­Influence.com Rankings

Why Is Guido Governatori Influential?

Guido Governatori's Published Works

Published Works

Other Resources About Guido Governatori

What Schools Are Affiliated With Guido Governatori?

Guido Governatori's AcademicInfluence.com Rankings