Contact

All Stories

  1. Defeasible Deontic Logic in Answer Set Programming

    Article • August 2023, Center for Open Science

    Dr Guido Governatori

  2. Deontic Ambiguities in Legal Reasoning

    Article • June 2023, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  3. Defeasible Semantics for L4

    Article • June 2023, Center for Open Science

    Dr Guido Governatori

  4. Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity

    Article • Artificial Intelligence and Law, June 2023, Springer Science + Business Media

    Dr Guido Governatori

  5. Traffic rules compliance checking of automated vehicle maneuvers

    Article • Artificial Intelligence and Law, January 2023, Springer Science + Business Media

    Dr Guido Governatori

  6. Influence of indoor airflow on particle spread of a single breath and cough in enclosures: Does opening a window really ‘help’?

    Article • Atmospheric Pollution Research, July 2022, Elsevier

    Dr Guido Governatori

  7. From Defeasible Logic to Counterfactual Reasoning

    Article • January 2022, Springer Science + Business Media

    Dr Guido Governatori

  8. On the Use of the Conformance and Compliance Keywords During Verification of Business Processes

    Article • January 2022, Springer Science + Business Media

    Dr Guido Governatori

  9. Towards an efficient rule-based framework for legal reasoning

    Article • Knowledge-Based Systems, July 2021, Elsevier

    Dr Guido Governatori

  10. Synthesis of Regulation Compliant Business Processes

    Article • IEEE Transactions on Services Computing, July 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  11. A Normative Supervisor for Reinforcement Learning Agents

    Article • January 2021, Springer Science + Business Media

    Dr Guido Governatori

  12. Principles and Semantics: Modelling Violations for Normative Reasoning

    Article • January 2021, Springer Science + Business Media

    Dr Guido Governatori

  13. Verifying Compliance of Process Compositions Through Certification of its Components

    Article • October 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  14. Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes

    Article • Electronic Proceedings in Theoretical Computer Science, August 2019, Open Publishing Association

    Dr Guido Governatori

  15. Modelling Dialogues for Optimal Legislation

    Article • June 2019, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  16. A probabilistic argumentation framework for reinforcement learning agents

    Article • Autonomous Agents and Multi-Agent Systems, March 2019, Springer Science + Business Media

    Dr Guido Governatori

  17. Database Independent Analysis of Adverse Events Using Rule-Based Systems

    Article • February 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  18. An axiomatic characterization of temporalised belief revision in the law

    Article • Artificial Intelligence and Law, January 2019, Springer Science + Business Media

    Dr Guido Governatori

  19. Revision of defeasible preferences

    Article • International Journal of Approximate Reasoning, January 2019, Elsevier

    Dr Guido Governatori

  20. Advancements in Resource-Driven Substructural Defeasible Logic

    Article • January 2019, Springer Science + Business Media

    Dr Guido Governatori

  21. Checking Regulatory Compliance: Will We Live to See It?

    Article • January 2019, Springer Science + Business Media

    Dr Guido Governatori

  22. Agents and Multi-Agent Systems: Technologies and Applications 2018

    Article • January 2019, Springer Science + Business Media

    Dr Guido Governatori

  23. Sending Messages in Social Networks

    Article • May 2018, Springer Science + Business Media

    Dr Guido Governatori

  24. Blockchains for Business Process Management - Challenges and Opportunities

    Article • ACM Transactions on Management Information Systems, March 2018, ACM (Association for Computing Machinery)

    prof.dr.ir. Wil van der Aalst, Professor Jan vom Brocke, The Benjamin and Florence Free Chaired Professor Avigdor Gal, Munindar Singh, Stefan Schulte, Marlon Dumas, Dr Guido Governatori

  25. A labelling framework for probabilistic argumentation

    Article • Annals of Mathematics and Artificial Intelligence, March 2018, Springer Science + Business Media

    Dr Guido Governatori

  26. On legal contracts, imperative and declarative smart contracts, and blockchain systems

    Article • Artificial Intelligence and Law, March 2018, Springer Science + Business Media

    Dr Guido Governatori

  27. Research in progress: report on the ICAIL 2017 doctoral consortium

    Article • Artificial Intelligence and Law, February 2018, Springer Science + Business Media

    Dr Guido Governatori

  28. RuleRS: a rule-based architecture for decision support systems

    Article • Artificial Intelligence and Law, February 2018, Springer Science + Business Media

    Dr Guido Governatori

  29. Sequence Semantics for Modelling Reason-based Preferences

    Article • Fundamenta Informaticae, February 2018, IOS Press

    Dr Guido Governatori

  30. Are we done with business process compliance: state of the art and challenges ahead

    Article • Knowledge and Information Systems, January 2018, Springer Science + Business Media

    Dr Guido Governatori

  31. PRIMA 2018: Principles and Practice of Multi-Agent Systems

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  32. A Deontic Argumentation Framework Based on Deontic Defeasible Logic

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  33. Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  34. Declarative Approaches for Compliance by Design

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  35. Modal Rules: Extending Defeasible Logic with Modal Operators

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  36. Practical Normative Reasoning with Defeasible Deontic Logic

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  37. Resource-Driven Substructural Defeasible Logic

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  38. Service Research and Innovation

    Article • January 2018, Springer Science + Business Media

    Dr Guido Governatori

  39. Information and friend segregation for online social networks: a user study

    Article • AI & Society, December 2017, Springer Science + Business Media

    Dr Guido Governatori

  40. Visualisation of Compliant Declarative Business Processes

    Article • October 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  41. Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation

    Article • Artificial Intelligence and Law, September 2017, Springer Science + Business Media

    Dr Guido Governatori

  42. Annotated defeasible logic

    Article • Theory and Practice of Logic Programming, August 2017, Cambridge University Press

    Dr Guido Governatori

  43. The rationale behind the concept of goal

    Article • Theory and Practice of Logic Programming, March 2016, Cambridge University Press

    Dr Guido Governatori

  44. A policy-based B2C e-Contract management workflow methodology using semantic web agents

    Article • Artificial Intelligence and Law, March 2016, Springer Science + Business Media

    Dr Guido Governatori

  45. Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems

    Article • Scalable Computing Practice and Experience, January 2016, Scalable Computing: Practice and Experience

    Dr Guido Governatori

  46. Evaluation of Logic-Based Smart Contracts for Blockchain Systems

    Article • January 2016, Springer Science + Business Media

    Dr Guido Governatori

  47. Rule Technologies. Research, Tools, and Applications

    Article • January 2016, Springer Science + Business Media

    Dr Guido Governatori

  48. Semantic Business Process Regulatory Compliance Checking Using LegalRuleML

    Article • January 2016, Springer Science + Business Media

    Dr Guido Governatori

  49. Sequence Semantics for Normative Agents

    Article • January 2016, Springer Science + Business Media

    Dr Guido Governatori

  50. Untrusted Business Process Monitoring and Execution Using Blockchain

    Article • January 2016, Springer Science + Business Media

    Dr Guido Governatori

  51. Business Process Regulatory Compliance is Hard

    Article • IEEE Transactions on Services Computing, November 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  52. Message from the EVL-BP 2015 Workshop Co-Chairs

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  53. No Time for Compliance

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  54. The Regorous Approach to Process Compliance

    Article • September 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  55. Deontic defeasible reasoning in legal interpretation

    Article • June 2015, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  56. RuleOMS

    Article • June 2015, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  57. Thou shalt is not you will

    Article • June 2015, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  58. Normative requirements for regulatory compliance: An abstract formal framework

    Article • Information Systems Frontiers, May 2015, Springer Science + Business Media

    Dr Guido Governatori

  59. Compliant Business Processes with Exclusive Choices from Agent Specification

    Article • January 2015, Springer Science + Business Media

    Dr Guido Governatori

  60. LegalRuleML: Design Principles and Foundations

    Article • January 2015, Springer Science + Business Media

    Dr Guido Governatori

  61. Logics for Legal Dynamics

    Article • January 2015, Springer Science + Business Media

    Dr Guido Governatori

  62. Semantics for Modelling Reason-Based Preferences

    Article • January 2015, Springer Science + Business Media

    Dr Guido Governatori

  63. Strategic Argumentation Under Grounded Semantics is NP-Complete

    Article • January 2015, Springer Science + Business Media

    Dr Guido Governatori

  64. Algorithms for tractable compliance problems

    Article • Frontiers of Computer Science, November 2014, Springer Science + Business Media

    Dr Guido Governatori

  65. Managing Regulatory Compliance in Business Processes

    Article • April 2014, Springer Science + Business Media

    Dr Guido Governatori

  66. Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)

    Article • Journal of Logic and Computation, January 2014, Oxford University Press (OUP)

    Dr Guido Governatori

  67. A Preference-Based Semantics for CTD Reasoning

    Article • January 2014, Springer Science + Business Media

    Dr Guido Governatori

  68. Detecting Deontic Conflicts in Dynamic Settings

    Article • January 2014, Springer Science + Business Media

    Dr Guido Governatori

  69. On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic

    Article • January 2014, Springer Science + Business Media

    Dr Guido Governatori

  70. PRIMA 2014: Principles and Practice of Multi-Agent Systems

    Article • January 2014, Springer Science + Business Media

    Dr Guido Governatori

  71. Business Process Compliance: An Abstract Normative Framework

    Article • it - Information Technology, December 2013, De Gruyter

    Dr Guido Governatori

  72. Business Process Compliance: An Abstract Normative Framework

    Article • it - Information Technology, December 2013, De Gruyter

    Dr Guido Governatori

  73. Computing Strong and Weak Permissions in Defeasible Logic

    Article • Journal of Philosophical Logic, September 2013, Springer Science + Business Media

    Dr Guido Governatori

  74. Towards an Abstract Framework for Compliance

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  75. OASIS LegalRuleML

    Article • June 2013, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  76. Regorous

    Article • June 2013, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  77. Algorithms for Basic Compliance Problems

    Article • March 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  78. LegalRuleML: From Metamodel to Use Cases

    Article • January 2013, Springer Science + Business Media

    Dr Guido Governatori

  79. A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

    Article • Artificial Intelligence and Law, September 2012, Springer Science + Business Media

    Prof Trevor J M bench-Capon, Dr Guido Governatori

  80. An implicit approach to deal with periodically repeated medical data

    Article • Artificial Intelligence in Medicine, July 2012, Elsevier

    Dr Guido Governatori

  81. Towards a model of UAVs navigation in urban canyon through defeasible logic

    Article • Journal of Logic and Computation, March 2012, Oxford University Press (OUP)

    Dr Guido Governatori

  82. Business Process Data Compliance

    Article • January 2012, Springer Science + Business Media

    Dr Guido Governatori

  83. Computational Logic in Multi-Agent Systems

    Article • January 2012, Springer Science + Business Media

    Dr Guido Governatori

  84. Distributed Defeasible Speculative Reasoning in Ambient Environment

    Article • January 2012, Springer Science + Business Media

    Dr Guido Governatori

  85. Possible World Semantics for Defeasible Deontic Logic

    Article • January 2012, Springer Science + Business Media

    Dr Guido Governatori

  86. Special issue on logics for intelligent agents and multi-agent systems

    Article • Journal of Applied Logic, December 2011, Elsevier

    Prof Mehmet A. Orgun, Dr Guido Governatori

  87. Approximate Record Matching Using Hash Grams

    Article • December 2011, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  88. Levels of modality for BDI Logic

    Article • Journal of Applied Logic, December 2011, Elsevier

    Dr Guido Governatori

  89. Time and defeasibility in FIPA ACL semantics

    Article • Journal of Applied Logic, December 2011, Elsevier

    Dr Guido Governatori

  90. Modelling temporal legal rules

    Article • June 2011, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  91. On the relationship between Carneades and Defeasible Logic

    Article • June 2011, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  92. A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

    Article • International Journal on Semantic Web and Information Systems, January 2011, IGI Global

    Dr Guido Governatori

  93. Designing for Compliance: Norms and Goals

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  94. Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  95. Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  96. Agents in Principle, Agents in Practice

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  97. LegalRuleML: XML-Based Rules and Norms

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  98. Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  99. Rule-Based Reasoning, Programming, and Applications

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  100. What Are the Necessity Rules in Defeasible Reasoning?

    Article • January 2011, Springer Science + Business Media

    Dr Guido Governatori

  101. A modelling and reasoning framework for social networks policies

    Article • Enterprise Information Systems, December 2010, Taylor & Francis

    Dr Guido Governatori

  102. Automatic synthesis of reactive agents

    Article • December 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  103. Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments

    Article • IEEE Transactions on Knowledge and Data Engineering, November 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  104. An inclusion theorem for defeasible logics

    Article • ACM Transactions on Computational Logic, October 2010, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  105. Law, logic and business processes

    Article • September 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  106. Layered argumentation for Fuzzy automation controllers

    Article • June 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  107. A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  108. Computational Logic in Multi-Agent Systems

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  109. Deontic Logic in Computer Science

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  110. Implementing Temporal Defeasible Logic for Modeling Legal Reasoning

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  111. Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  112. Managing Regulatory Compliance in Business Processes

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  113. Norm Compliance in Business Process Modeling

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  114. On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  115. Superiority Based Revision of Defeasible Theories

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  116. Transformation of SBVR Compliant Business Rules to Executable FCL Rules

    Article • January 2010, Springer Science + Business Media

    Dr Guido Governatori

  117. Changing legal systems: legal abrogations and annulments in Defeasible Logic

    Article • Logic Journal of IGPL, December 2009, Oxford University Press (OUP)

    Dr Guido Governatori

  118. Modelling and Reasoning Languages for Social Networks Policies

    Article • September 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  119. On managing business processes variants

    Article • Data & Knowledge Engineering, July 2009, Elsevier

    Dr Guido Governatori

  120. On compliance checking for clausal constraints in annotated process models

    Article • Information Systems Frontiers, May 2009, Springer Science + Business Media

    Dr Guido Governatori

  121. A defeasible logic for modelling policy-based intentions and motivational attitudes

    Article • Logic Journal of IGPL, April 2009, Oxford University Press (OUP)

    Dr Guido Governatori

  122. A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

    Article • Expert Systems with Applications, March 2009, Elsevier

    Dr Guido Governatori

  123. Agent Computing and Multi-Agent Systems

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  124. An Asymmetric Protocol for Argumentation Games in Defeasible Logic

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  125. Contextual Agent Deliberation in Defeasible Logic

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  126. DR-CONTRACT: an architecture for e-contracts in defeasible logic

    Article • International Journal of Business Process Integration and Management, January 2009, Inderscience Publishers

    Dr Guido Governatori

  127. Defining Adaptation Constraints for Business Process Variants

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  128. Detecting Regulatory Compliance for Business Process Models through Semantic Annotations

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  129. How Do Agents Comply with Norms?

    Article • January 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  130. Rule Interchange and Applications

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  131. Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  132. The Journey to Business Process Compliance

    Article • January 2009, IGI Global

    Dr Guido Governatori

  133. The Making of SPINdle

    Article • January 2009, Springer Science + Business Media

    Dr Guido Governatori

  134. Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  135. Levels of Modalities for BDI Logic

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  136. Time and Defeasibility in FIPA ACL Semantics

    Article • December 2008, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  137. Measurement of Compliance Distance in Business Processes

    Article • Information Systems Management, October 2008, Taylor & Francis

    Dr Guido Governatori

  138. Introduction to the Special Issue: Electronic Contract Architectures and Languages

    Article • International Journal of Electronic Commerce, July 2008, Taylor & Francis

    Dr Guido Governatori

  139. A system for modal and deontic defeasible reasoning

    Article • March 2008, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  140. Proof explanation for a nonmonotonic Semantic Web rules language

    Article • Data & Knowledge Engineering, March 2008, Elsevier

    Dr. Antonis Bikakis, Dr Guido Governatori

  141. A computational framework for institutional agency

    Article • Artificial Intelligence and Law, March 2008, Springer Science + Business Media

    Dr Guido Governatori

  142. BIO logical agents: Norms, beliefs, intentions in defeasible logic

    Article • Autonomous Agents and Multi-Agent Systems, February 2008, Springer Science + Business Media

    Dr Guido Governatori

  143. Modal tableaux for verifying stream authentication protocols

    Article • Autonomous Agents and Multi-Agent Systems, February 2008, Springer Science + Business Media

    Prof Mehmet A. Orgun, Dr Guido Governatori

  144. Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories

    Article • January 2008, Springer Science + Business Media

    Dr Guido Governatori

  145. Compliance Aware Business Process Design

    Article • January 2008, Springer Science + Business Media

    Dr Guido Governatori

  146. Knowledge Assessment: A Modal Logic Approach

    Article • January 2008, Springer Science + Business Media

    Dr Guido Governatori

  147. Rule Representation, Interchange and Reasoning on the Web

    Article • January 2008, Springer Science + Business Media

    Dr Guido Governatori

  148. Settling on the Group’s Goals: An n-Person Argumentation Game Approach

    Article • January 2008, Springer Science + Business Media

    Dr Guido Governatori

  149. On Extending RuleML for Modal Defeasible Logic

    Article • January 2008, Springer Science + Business Media

    Dr Guido Governatori

  150. DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies

    Article • Data & Knowledge Engineering, November 2007, Elsevier

    Dr. Antonis Bikakis, Dr Guido Governatori

  151. Strategic argumentation

    Article • June 2007, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  152. Variants of temporal defeasible logics for modelling norm modifications

    Article • June 2007, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  153. Contextual deliberation of cognitive agents in defeasible logic

    Article • May 2007, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  154. A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE

    Article • International Journal of Cooperative Information Systems, December 2006, World Scientific Pub Co Pte Lt

    Dr Guido Governatori

  155. Embedding defeasible logic into logic programming

    Article • Theory and Practice of Logic Programming, October 2006, Cambridge University Press

    Dr Guido Governatori

  156. Compliance checking between business processes and business contracts

    Article • October 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  157. Designing agent chips

    Article • May 2006, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  158. The cost of social agents

    Article • May 2006, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  159. Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems

    Article • January 2006, Institute of Electrical & Electronics Engineers (IEEE)

    Prof Mehmet A. Orgun, Dr Guido Governatori

  160. A Fibred Tableau Calculus for Modal Logics of Agents

    Article • January 2006, Springer Science + Business Media

    Dr Guido Governatori

  161. Hardware Implementation of Temporal Nonmonotonic Logics

    Article • January 2006, Springer Science + Business Media

    Dr Guido Governatori

  162. On Constructing Fibred Tableaux for BDI Logics

    Article • January 2006, Springer Science + Business Media

    Dr Guido Governatori

  163. Rule-Based Agents in Temporalised Defeasible Logic

    Article • January 2006, Springer Science + Business Media

    Dr Guido Governatori

  164. On the Axiomatisation of Elgesem's Logic of Agency and Ability

    Article • Journal of Philosophical Logic, August 2005, Springer Science + Business Media

    Dr Guido Governatori

  165. A computationally grounded logic of knowledge, belief and certainty

    Article • July 2005, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  166. Temporalised normative positions in defeasible logic

    Article • June 2005, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  167. GUEST EDITORS' INTRODUCTION

    Article • International Journal of Cooperative Information Systems, June 2005, World Scientific Pub Co Pte Lt

    Dr Guido Governatori

  168. REPRESENTING BUSINESS CONTRACTS IN RuleML

    Article • International Journal of Cooperative Information Systems, June 2005, World Scientific Pub Co Pte Lt

    Dr Guido Governatori

  169. Probabilistic Automated Bidding in Multiple Auctions

    Article • Electronic Commerce Research, January 2005, Springer Science + Business Media

    Dr Guido Governatori

  170. Normative autonomy and normative co-ordination: Declarative power, representation, and mandate

    Article • Artificial Intelligence and Law, March 2004, Springer Science + Business Media

    Dr Guido Governatori

  171. Defeasible Logic: Agency, Intention and Obligation

    Article • January 2004, Springer Science + Business Media

    Dr Guido Governatori

  172. Defeasible Description Logics

    Article • January 2004, Springer Science + Business Media

    Dr Guido Governatori

  173. On the Relative Complexity of Labelled Modal Tableaux

    Article • Electronic Notes in Theoretical Computer Science, April 2003, Elsevier

    Dr Guido Governatori

  174. Induction of defeasible logic theories in the legal domain

    Article • January 2003, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  175. Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations

    Article • Journal of Logic and Computation, December 2002, Oxford University Press (OUP)

    Dr Guido Governatori

  176. A formal approach to negotiating agents development

    Article • Electronic Commerce Research and Applications, June 2002, Elsevier

    Dr Guido Governatori

  177. A probabilistic approach to automated bidding in alternative auctions

    Article • May 2002, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  178. A formal approach to protocols and strategies for (legal) negotiation

    Article • May 2001, ACM (Association for Computing Machinery)

    Dr Guido Governatori

  179. A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations

    Article • January 2000, Springer Science + Business Media

    Dr Guido Governatori

  180. Fibred Modal Tableaux

    Article • January 2000, Springer Science + Business Media

    Dr Guido Governatori

  181. Labelled Tableaux for Non-Normal Modal Logics

    Article • January 2000, Springer Science + Business Media

    Dr Guido Governatori

  182. A New Approach to Base Revision

    Article • January 1999, Springer Science + Business Media

    Dr Guido Governatori

  183. A Comparison of Sceptical NAF-Free Logic Programming Approaches

    Article • January 1999, Springer Science + Business Media

    Dr Guido Governatori

  184. Analytic Modal Revision for Multi-agent Systems

    Article • January 1999, Springer Science + Business Media

    Dr Guido Governatori

  185. Logics in Artificial Intelligence

    Article • January 1996

    Professor Luis Moniz Pereira, Dr Aravindan Chandrabose, Dr Guido Governatori

  186. Proof Explanation for the Semantic Web Using Defeasible Logic

    Article • Springer Science + Business Media

    Dr. Antonis Bikakis, Dr Guido Governatori

  187. Proof Explanation in the DR-DEVICE System

    Article • Springer Science + Business Media

    Dr Guido Governatori

  188. A Framework for Utilizing Preferred Work Practice for Business Process Evolution

    Article • Springer Science + Business Media

    Dr Guido Governatori

  189. DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  190. Dealing with contract violations: formalism and domain specific language

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  191. An architecture for assembling agents that participate in alternative heterogeneous auctions

    Article • Institute of Electrical & Electronics Engineers (IEEE)

    Dr Guido Governatori

  192. A System for Modal and Deontic Defeasible Reasoning

    Article • Springer Science + Business Media

    Dr Guido Governatori

  193. Dialogue Games in Defeasible Logic

    Article • Springer Science + Business Media

    Dr Guido Governatori

  194. Temporal Extensions to Defeasible Logic

    Article • Springer Science + Business Media

    Dr Guido Governatori