ORCID Profile
0000-0002-9878-2762
Current Organisation
Independent Reseacher
Does something not look right? The information on this page has been harvested from data sources that may not be up to date. We continue to work with information providers to improve coverage and quality. To report an issue, use the Feedback Form.
Research Topics
In Research Link Australia (RLA), "Research Topics" refer to ANZSRC FOR and SEO codes. These topics are either sourced from ANZSRC FOR and SEO codes listed in researchers' related grants or generated by a large language model (LLM) based on their publications.
Top 5 Research Topics
ANZSRC Field of Research (FoR)
Logics And Meanings Of Programs | Interorganisational Information Systems | Other Artificial Intelligence | Information Systems | Conceptual Modelling | Cognitive Science | Knowledge Representation And Machine Learning |
ANZSRC Socio-Economic Objective (SEO)
Computer software and services not elsewhere classified | Other
Related Links
Publications
A deontic argumentation framework based on deontic defeasible logic
Publisher: Springer International Publishing
Date: 2018
On the Axiomatisation of Elgesem's Logic of Agency and Ability
Publisher: Springer Science and Business Media LLC
Date: 08-2005
Towards a Computational Treatment of Deontic Defeasibility
Publisher: Springer London
Date: 1996
Modelling temporal legal rules
Publisher: ACM
Date: 06-06-2011
Traffic rules compliance checking of automated vehicle maneuvers
Publisher: Springer Science and Business Media LLC
Date: 21-01-2023
A formal approach to protocols and strategies for (legal) negotiation
Publisher: ACM
Date: 05-2001
Deontic Logic in Computer Science
Publisher: Springer Berlin Heidelberg
Date: 2010
Rule-Based Agents in Temporalised Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2006
Evaluation of logic-based smart contracts for blockchain systems
Publisher: Springer International Publishing
Date: 2016
RuleRS: a rule-based architecture for decision support systems
Publisher: Springer Science and Business Media LLC
Date: 23-02-2018
The Uses of Norms
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Date: 2013
Visualisation of Compliant Declarative Business Processes
Publisher: IEEE
Date: 10-2017
DOI: 10.1109/EDOC.2017.21
Fibred BDI logics: Completeness preservation in the presence of interaction axioms
Publisher: Springer Berlin Heidelberg
Date: 2011
A comparison of sceptical NAF-free logic programming approaches
Publisher: Springer Berlin Heidelberg
Date: 1999
LegalRuleML: From Metamodel to Use Cases
Publisher: Springer Berlin Heidelberg
Date: 2013
A Defeasible Logic of Policy-Based Intention (Extended Abstract)
Publisher: Springer Berlin Heidelberg
Date: 2002
Representation results for defeasible logic
Publisher: Association for Computing Machinery (ACM)
Date: 04-2001
Abstract: The importance of transformations and normal forms in logic programming, and generally in computer science, is well documented. This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism for nonmonotonic reasoning based on rules and priorities. The transformations described in this paper have two main benefits: on one hand they can be used as a theoretical tool that leads to a deeper understanding of the formalism, and on the other hand they have been used in the development of an efficient implementation of defeasible logic.
Hardware Implementation of Temporal Nonmonotonic Logics
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11941439_85
On the relationship between Carneades and Defeasible Logic
Publisher: ACM
Date: 06-06-2011
Normative autonomy and normative co-ordination: Declarative power, representation, and mandate
Publisher: Springer Science and Business Media LLC
Date: 03-2004
An inclusion theorem for defeasible logics
Publisher: Association for Computing Machinery (ACM)
Date: 10-2010
Abstract: Defeasible reasoning is a computationally simple nonmonotonic reasoning approach that has attracted significant theoretical and practical attention. It comprises a family of logics that capture different intuitions, among them ambiguity propagation versus ambiguity blocking, and the adoption or rejection of team defeat. This article provides a compact presentation of the defeasible logic variants, and derives an inclusion theorem which shows that different notions of provability in defeasible logic form a chain of levels of proof.
DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies
Publisher: IEEE
Date: 2005
DOI: 10.1109/EEE.2005.61
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)
Publisher: Oxford University Press (OUP)
Date: 18-01-2014
An architecture for assembling agents that participate in alternative heterogeneous auctions
Publisher: IEEE Comput. Soc
Date: 2002
Levels of modality for BDI Logic
Publisher: Elsevier BV
Date: 12-2011
Designing for Compliance: Norms and Goals
Publisher: Springer Berlin Heidelberg
Date: 2011
Computational Logic in Multi-Agent Systems
Publisher: Springer Berlin Heidelberg
Date: 2010
Legal Contractions: a Logical Analysis
Publisher: ACM
Date: 10-06-2013
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
Publisher: IGI Global
Date: 2011
Abstract: Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and in idual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define erse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.
A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web
Publisher: Springer Berlin Heidelberg
Date: 2005
DOI: 10.1007/11581062_10
LegalRuleML: XML-Based Rules and Norms
Publisher: Springer Berlin Heidelberg
Date: 2011
Justice delayed is Justice Denied: Logics for a temporal account of reparations and legal compliance
Publisher: Springer Berlin Heidelberg
Date: 2011
Proof explanation for a nonmonotonic Semantic Web rules language
Publisher: Elsevier BV
Date: 03-2008
Managing Regulatory Compliance in Business Processes
Publisher: Springer Berlin Heidelberg
Date: 10-04-2014
Possible World Semantics for Defeasible Deontic Logic
Publisher: Springer Berlin Heidelberg
Date: 2012
Deontic defeasible reasoning in legal interpretation
Publisher: ACM
Date: 08-06-2015
Dealing with contract violations: formalism and domain specific language
Publisher: IEEE
Date: 2005
DOI: 10.1109/EDOC.2005.13
GUEST EDITORS' INTRODUCTION
Publisher: World Scientific Pub Co Pte Lt
Date: 06-2005
From Defeasible Logic to Counterfactual Reasoning
Publisher: Springer International Publishing
Date: 2022
Declarative Approaches for Compliance by Design
Publisher: Springer International Publishing
Date: 2018
Preferences of agents in defeasible logic
Publisher: Springer Berlin Heidelberg
Date: 2005
DOI: 10.1007/11589990_72
Defeasible Deontic Logic in Answer Set Programming
Publisher: Center for Open Science
Date: 29-08-2023
Abstract: We present a brief overview of the Domain Specific Language L4 and provide a defeasible semantics of it based on the Answer Set Programming encoding of Defeasible Deontic Logic.
Algorithms for tractable compliance problems
Publisher: Springer Science and Business Media LLC
Date: 22-11-2014
On Legal Contracts, Imperative and Declarative Smart Contracts, and Blockchain Systems
Publisher: Springer Science and Business Media LLC
Date: 05-03-2018
A probabilistic argumentation framework for reinforcement learning agents
Publisher: Springer Science and Business Media LLC
Date: 03-2019
Agents in Principle, Agents in Practice
Publisher: Springer Berlin Heidelberg
Date: 2011
Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems
Publisher: IEEE
Date: 2006
DOI: 10.1109/DASC.2006.19
Resource-driven substructural defeasible logic
Publisher: Springer International Publishing
Date: 2018
Influence of indoor airflow on particle spread of a single breath and cough in enclosures: Does opening a window really ‘help’?
Publisher: Elsevier BV
Date: 07-2022
Labelled Tableaux for Non-Normal Modal Logics
Publisher: Springer Berlin Heidelberg
Date: 2000
The hardness of revising defeasible preferences
Publisher: Springer International Publishing
Date: 2014
Computational Logic in Multi-Agent Systems
Publisher: Springer Berlin Heidelberg
Date: 2012
Changing legal systems: legal abrogations and annulments in Defeasible Logic
Publisher: Oxford University Press (OUP)
Date: 24-12-2009
Normative Requirements for Business Process Compliance
Publisher: Springer International Publishing
Date: 2014
Business Process Compliance: An Abstract Normative Framework
Publisher: Walter de Gruyter GmbH
Date: 12-2013
Abstract: In this paper we propose an abstract framework to model the deontic notions relevant for business process compliance. In particular, we provide a comprehensive classification of the obligation types relevant for modelling whether a process is compliant, and we describe their semantics in terms of execution traces.
Time and defeasibility In fipa ACL semantics
Publisher: IEEE
Date: 12-2008
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Publisher: Springer Science and Business Media LLC
Date: 15-02-2008
How Do Agents Comply with Norms?
Publisher: IEEE
Date: 2009
Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules
Publisher: No publisher found
Date: 2023
Variants of temporal defeasible logics for modelling norm modifications
Publisher: ACM
Date: 04-06-2007
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
Publisher: Springer Berlin Heidelberg
Date: 2009
A Framework for Utilizing Preferred Work Practice for Business Process Evolution
Publisher: Springer Netherlands
Date: 2007
On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2010
An axiomatic characterization of temporalised belief revision in the law
Publisher: Springer Science and Business Media LLC
Date: 10-01-2019
Superiority based revision of defeasible theories
Publisher: Springer Berlin Heidelberg
Date: 2010
Transformation of SBVR Compliant Business Rules to Executable FCL Rules
Publisher: Springer Berlin Heidelberg
Date: 2010
Ontology guided data linkage framework for discovering meaningful data facts
Publisher: Springer Berlin Heidelberg
Date: 2011
Argumentation Semantics for Defeasible Logic
Publisher: Oxford University Press (OUP)
Date: 10-2004
Sending Messages in Social Networks
Publisher: Springer International Publishing
Date: 2018
Revision of defeasible preferences
Publisher: Elsevier BV
Date: 2019
A formal approach to negotiating agents development
Publisher: Elsevier BV
Date: 06-2002
A Defeasible Logic of Policy-Based Intention
Publisher: Springer Berlin Heidelberg
Date: 2003
Research in progress: report on the ICAIL 2017 doctoral consortium
Publisher: Springer Science and Business Media LLC
Date: 24-02-2018
Towards an efficient rule-based framework for legal reasoning
Publisher: Elsevier BV
Date: 07-2021
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Publisher: IEEE
Date: 12-2008
A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web
Publisher: Springer Berlin Heidelberg
Date: 2010
Strategic argumentation: A game theoretical investigation
Publisher: ACM
Date: 04-06-2007
Compliant Business Processes with Exclusive Choices from Agent Specification
Publisher: Springer International Publishing
Date: 2015
Norm Compliance in Business Process Modeling
Publisher: Springer Berlin Heidelberg
Date: 2010
Labelled proofs for quantified modal logic
Publisher: Springer Berlin Heidelberg
Date: 1996
Fibred Modal Tableaux
Publisher: Springer Netherlands
Date: 2000
Affective Web Service Design
Publisher: Springer Berlin Heidelberg
Date: 2006
Message from the EVL-BP 2015Workshop Co-Chairs
Publisher: IEEE
Date: 09-2015
SNP chromosome microarray genotyping for detection of uniparental disomy in the clinical diagnostic laboratory
Publisher: Elsevier BV
Date: 10-2023
On Constructing Fibred Tableaux for BDI Logics
Publisher: Springer Berlin Heidelberg
Date: 2006
Introduction to the Special Issue: Electronic Contract Architectures and Languages
Publisher: Informa UK Limited
Date: 07-2008
Rule Interchange and Applications
Publisher: Springer Berlin Heidelberg
Date: 2009
On compliance checking for clausal constraints in annotated process models
Publisher: Springer Science and Business Media LLC
Date: 23-05-2009
Managing Regulatory Compliance in Business Processes
Publisher: Springer Berlin Heidelberg
Date: 2010
Rule-Based Reasoning, Programming, and Applications
Publisher: Springer Berlin Heidelberg
Date: 2011
Normative requirements for regulatory compliance: An abstract formal framework
Publisher: Springer Science and Business Media LLC
Date: 24-05-2016
Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation
Publisher: Springer Science and Business Media LLC
Date: 20-09-2018
A Tableaux System for Deontic Interpreted Systems
Publisher: Springer Berlin Heidelberg
Date: 2003
Towards a model of UAVs navigation in urban canyon through defeasible logic
Publisher: Oxford University Press (OUP)
Date: 03-2012
Database Independent Analysis of Adverse Events Using Rule-Based Systems
Publisher: IEEE
Date: 02-2019
Layered argumentation for fuzzy automation controllers
Publisher: IEEE
Date: 06-2010
On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic
Publisher: Springer International Publishing
Date: 2014
Modeling obligations with event-calculus
Publisher: Springer International Publishing
Date: 2014
Compliance checking between business processes and business contracts
Publisher: IEEE
Date: 10-2006
DOI: 10.1109/EDOC.2006.22
Temporalised normative positions in defeasible logic
Publisher: ACM
Date: 06-06-2005
Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 11-2010
A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web
Publisher: IGI Global
Date: 2013
DOI: 10.4018/978-1-4666-3610-1.CH007
Abstract: Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information, whereas modal logic deals with the concepts of necessity and possibility. These types of logics play a significant role in the emerging Semantic Web, which enriches the available Web information with meaning, leading to better cooperation between end-users and applications. Defeasible and modal logics, in general, and, particularly, deontic logic provide means for modeling agent communities, where each agent is characterized by its cognitive profile and normative system, as well as policies, which define privacy requirements, access permissions, and in idual rights. Toward this direction, this article discusses the extension of DR-DEVICE, a Semantic Web-aware defeasible reasoner, with a mechanism for expressing modal logic operators, while testing the implementation via deontic logic operators, concerned with obligations, permissions, and related concepts. The motivation behind this work is to develop a practical defeasible reasoner for the Semantic Web that takes advantage of the expressive power offered by modal logics, accompanied by the flexibility to define erse agent behaviours. A further incentive is to study the various motivational notions of deontic logic and discuss the cognitive state of agents, as well as the interactions among them.
The regorous approach to process compliance
Publisher: IEEE
Date: 09-2015
A Methodological Evaluation of Business Process Compliance Management Frameworks
Publisher: Springer International Publishing
Date: 2013
Defeasible Logic: Agency, Intention and Obligation
Publisher: Springer Berlin Heidelberg
Date: 2004
Advancements in Resource-Driven Substructural Defeasible Logic
Publisher: Springer International Publishing
Date: 2019
Contextual agent deliberation in defeasible logic
Publisher: Springer Berlin Heidelberg
Date: 2009
Applications of linear defeasible logic: Combining resource consumption and exceptions to energy management and business processes
Publisher: Open Publishing Association
Date: 14-08-2019
DOI: 10.4204/EPTCS.298.1
Annotated defeasible logic
Publisher: Cambridge University Press (CUP)
Date: 22-08-2017
DOI: 10.1017/S1471068417000266
Abstract: Defeasible logics provide several linguistic features to support the expression of defeasible knowledge. There is also a wide variety of such logics, expressing different intuitions about defeasible reasoning. However, the logics can only combine in trivial ways. This limits their usefulness in contexts where different intuitions are at play in different aspects of a problem. In particular, in some legal settings, different actors have different burdens of proof, which might be expressed as reasoning in different defeasible logics. In this paper, we introduce annotated defeasible logic as a flexible formalism permitting multiple forms of defeasibility, and establish some properties of the formalism.
Logics in Artificial Intelligence
Publisher: Springer Berlin Heidelberg
Date: 1996
The rationale behind the concept of goal
Publisher: Cambridge University Press (CUP)
Date: 31-03-2016
DOI: 10.1017/S1471068416000053
Abstract: The paper proposes a fresh look at the concept of goal and advances that motivational attitudes like desire, goal and intention are just facets of the broader notion of (acceptable) outcome. We propose to encode the preferences of an agent as sequences of “alternative acceptable outcomes”. We then study how the agent's beliefs and norms can be used to filter the mental attitudes out of the sequences of alternative acceptable outcomes. Finally, we formalise such intuitions in a novel Modal Defeasible Logic and we prove that the resulting formalisation is computationally feasible.
Modeling Control Objectives for Business Process Compliance
Publisher: Springer Berlin Heidelberg
Date: 2007
A methodology for plan revision under norm and outcome compliance
Publisher: Springer Berlin Heidelberg
Date: 2013
Checking Regulatory Compliance: Will We Live to See It?
Publisher: Springer International Publishing
Date: 2019
Defeasible Semantics for L4
Publisher: Center for Open Science
Date: 14-06-2023
Abstract: We present a defeasible semantics for the CCLAW L4 Domanin Specific Language for legal reasoning using an Answer Set Programming implementation of Defasible Deontic Logic
Levels of modalities for BDI Logic
Publisher: IEEE
Date: 12-2008
DR-CONTRACT: an architecture for e-contracts in defeasible logic
Publisher: Inderscience Publishers
Date: 2009
Probabilistic Automated Bidding in Multiple Auctions
Publisher: Springer Science and Business Media LLC
Date: 2005
Computing Strong and Weak Permissions in Defeasible Logic
Publisher: Springer Science and Business Media LLC
Date: 17-09-2013
Principles and Semantics: Modelling Violations for Normative Reasoning
Publisher: Springer International Publishing
Date: 2021
A labelling framework for probabilistic argumentation
Publisher: Springer Science and Business Media LLC
Date: 20-03-2018
PRIMA 2014: Principles and Practice of Multi-Agent Systems
Publisher: Springer International Publishing
Date: 2014
Resource-Driven Substructural Defeasible Logic
Publisher: Springer International Publishing
Date: 2018
Stable Normative Explanations: From Argumentation to Deontic Logic
Publisher: Springer Nature Switzerland
Date: 2023
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 2023
LegalRuleML: Design Principles and Foundations
Publisher: Springer International Publishing
Date: 2015
Synthesis of Compliant Business Processes
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 07-2018
Agent Computing and Multi-Agent Systems
Publisher: Springer Berlin Heidelberg
Date: 2009
Defeasible description logics
Publisher: Springer Berlin Heidelberg
Date: 2004
Verifying Compliance of Process Compositions Through Certification of its Components
Publisher: IEEE
Date: 10-2020
Defining Adaptation Constraints for Business Process Variants
Publisher: Springer Berlin Heidelberg
Date: 2009
A computationally grounded logic of knowledge, belief and certainty
Publisher: ACM
Date: 25-07-2005
A System for Modal and Deontic Defeasible Reasoning
Publisher: Springer Berlin Heidelberg
Labelling ideality and subideality
Publisher: Springer Berlin Heidelberg
Date: 1996
Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents
Publisher: Springer International Publishing
Date: 2018
Actions Made Explicit in BDI
Publisher: Springer Berlin Heidelberg
Date: 2001
Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity
Publisher: Springer Science and Business Media LLC
Date: 03-06-2023
DOI: 10.1007/S10506-023-09350-1
Abstract: This article proposes an innovative methodology for enhancing the technical validation, legal alignment and interdisciplinarity of attempts to encode legislation. In the context of an experiment that examines how different legally trained participants convert select provisions of the Australian Copyright Act 1968 (Cth) into machine-executable code, we find that a combination of manual and automated methods for coding validation, which focus on formal adherence to programming languages and conventions, can significantly increase the similarity of encoded rules between coders. Participants nonetheless encountered various interpretive difficulties, including syntactic ambiguity, and intra- and intertextuality, which necessitated legal evaluation, as distinct from and in addition to coding validation. Many of these difficulties can be resolved through what we call a process of ‘legal alignment’ that aims to enhance the congruence between encoded provisions and the true meaning of a statute as determined by the courts. However, some difficulties cannot be overcome in advance, such as factual indeterminacy. Given the inherently interdisciplinary nature of encoding legislation, we argue that it is desirable for ‘rules as code’ (‘RaC’) initiatives to have, at a minimum, legal subject matter, statutory interpretation and technical programming expertise. Overall, we contend that technical validation, legal alignment and interdisciplinary teamwork are integral to the success of attempts to encode legislation. While legal alignment processes will vary depending on jurisdictionally-specific principles and practices of statutory interpretation, the technical and interdisciplinary components of our methodology are transferable across regulatory contexts, bodies of law and Commonwealth and other jurisdictions.
Rule Representation, Interchange and Reasoning on the Web
Publisher: Springer Berlin Heidelberg
Date: 2008
On the Relative Complexity of Labelled Modal Tableaux
Publisher: Elsevier BV
Date: 04-2003
A policy-based B2C e-Contract management workflow methodology using semantic web agents
Publisher: Springer Science and Business Media LLC
Date: 04-03-2016
The Journey to Business Process Compliance
Publisher: IGI Global
Date: 2009
DOI: 10.4018/978-1-60566-288-6.CH020
Abstract: It is a typical scenario that many organisations have their business processes specified independently of their business obligations (which includes contractual obligations to business partners, as well as obligations a business has to fulfil against regulations and industry standards). This is because of the lack of guidelines and tools that facilitate derivation of processes from contracts but also because of the traditional mindset of treating contracts separately from business processes. This chapter will provide a solution to one specific problem that arises from this situation, namely the lack of mechanisms to check whether business processes are compliant with business contracts. The chapter begins by defining the space for business process compliance and the eco-system for ensuring that process are compliant. The key point is that compliance is a relationship between two sets of specifications: the specifications for executing a business process and the specifications regulating a business. The central part of the chapter focuses on a logic based formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.
Practical normative reasoning with defeasible deontic logic
Publisher: Springer International Publishing
Date: 2018
Blockchains for Business Process Management - Challenges and Opportunities
Publisher: Association for Computing Machinery (ACM)
Date: 26-02-2018
DOI: 10.1145/3183367
Abstract: Blockchain technology offers a sizable promise to rethink the way interorganizational business processes are managed because of its potential to realize execution without a central party serving as a single point of trust (and failure). To stimulate research on this promise and the limits thereof, in this article, we outline the challenges and opportunities of blockchain for business process management (BPM). We first reflect how blockchains could be used in the context of the established BPM lifecycle and second how they might become relevant beyond. We conclude our discourse with a summary of seven research directions for investigating the application of blockchain technology in the context of BPM.
Automatic synthesis of reactive agents
Publisher: IEEE
Date: 12-2010
A probabilistic approach to automated bidding in alternative auctions
Publisher: ACM
Date: 07-05-2002
Proof Explanation for the Semantic Web Using Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2007
Characterising Deadlines in Temporal Modal Defeasible Logic
Publisher: Springer Berlin Heidelberg
Dialogue Games in Defeasible Logic
Publisher: Springer Berlin Heidelberg
An Interaction Model for Affect Monitoring
Publisher: Springer Berlin Heidelberg
Date: 2004
A system for modal and deontic defeasible reasoning
Publisher: ACM
Date: 16-03-2008
Untrusted business process monitoring and execution using blockchain
Publisher: Springer International Publishing
Date: 2016
What are the necessity rules in defeasible reasoning?
Publisher: Springer Berlin Heidelberg
Date: 2011
The making of SPINdle
Publisher: Springer Berlin Heidelberg
Date: 2009
A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems
Publisher: Elsevier BV
Date: 03-2009
Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems
Publisher: Scalable Computing: Practice and Experience
Date: 30-01-2016
On Fibring Semantics for BDI Logics
Publisher: Springer Berlin Heidelberg
Date: 2002
Temporal Extensions to Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2007
Business Process Regulatory Compliance is Hard
Publisher: Institute of Electrical and Electronics Engineers (IEEE)
Date: 11-2015
Semantics for Modelling Reason-Based Preferences
Publisher: Springer International Publishing
Date: 2015
Approximate record matching using hash grams
Publisher: IEEE
Date: 12-2011
Business process data compliance
Publisher: Springer Berlin Heidelberg
Date: 2012
Business Process Compliance: An Abstract Normative Framework
Publisher: Walter de Gruyter GmbH
Date: 12-2013
Abstract: In this paper we propose an abstract framework to model the deontic notions relevant for business process compliance. In particular, we provide a comprehensive classification of the obligation types relevant for modelling whether a process is compliant, and we describe their semantics in terms of execution traces.
Distributed defeasible speculative reasoning in ambient environment
Publisher: Springer Berlin Heidelberg
Date: 2012
Proof Explanation in the DR-DEVICE System
Publisher: Springer Berlin Heidelberg
Sending messages in social networks
Publisher: Springer International Publishing
Date: 31-05-2018
Labelled tableaux for multi-modal logics
Publisher: Springer Berlin Heidelberg
Date: 1995
Modal tableaux for verifying stream authentication protocols
Publisher: Springer Science and Business Media LLC
Date: 02-02-2008
A computational framework for institutional agency
Publisher: Springer Science and Business Media LLC
Date: 03-2008
Compliance Aware Business Process Design
Publisher: Springer Berlin Heidelberg
Date: 2008
Contextual deliberation of cognitive agents in defeasible logic
Publisher: ACM
Date: 14-05-2007
An Asymmetric Protocol for Argumentation Games in Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2009
Towards an abstract framework for compliance
Publisher: IEEE
Date: 09-2013
Changing legal systems: Abrogation and annulment Part I: Revision of defeasible theories
Publisher: Springer Berlin Heidelberg
Date: 2008
A New Approach to Base Revision
Publisher: Springer Berlin Heidelberg
Date: 1999
Analytic modal revision for multi-agent systems
Publisher: Springer Berlin Heidelberg
Date: 1999
Programming cognitive agents in defeasible logic
Publisher: Springer Berlin Heidelberg
Date: 2005
DOI: 10.1007/11591191_43
A formal analysis of a business contract language
Publisher: World Scientific Pub Co Pte Lt
Date: 12-2006
DOI: 10.1142/S0218843006001529
Abstract: This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract specification language, called Business Contract Language (BCL), previously developed to express contract conditions for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.
Implementing temporal defeasible logic for modeling legal reasoning
Publisher: Springer Berlin Heidelberg
Date: 2010
Measurement of Compliance Distance in Business Processes
Publisher: Informa UK Limited
Date: 09-10-2008
Strategic argumentation under grounded semantics is NP-complete
Publisher: Springer International Publishing
Date: 2015
Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation
Publisher: Springer Berlin Heidelberg
Date: 2010
A modelling and reasoning framework for social networks policies
Publisher: Informa UK Limited
Date: 13-12-2011
A modal computational framework for default reasoning
Publisher: Springer Berlin Heidelberg
Date: 1997
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations
Publisher: Oxford University Press (OUP)
Date: 12-2002
A Fibred Tableau Calculus for Modal Logics of Agents
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11961536_8
A Normative Supervisor for Reinforcement Learning Agents
Publisher: Springer International Publishing
Date: 2021
DOI: 10.1007/978-3-030-79876-5_32
Abstract: We introduce a modular and transparent approach for augmenting the ability of reinforcement learning agents to comply with a given norm base. The normative supervisor module functions as both an event recorder and real-time compliance checker w.r.t. an external norm base. We have implemented this module with a theorem prover for defeasible deontic logic, in a reinforcement learning agent that we task with playing a “vegan” version of the arcade game Pac-Man.
One License to Compose Them All
Publisher: Springer Berlin Heidelberg
Date: 2013
Modal rules: Extending defeasible logic with modal operators
Publisher: Springer International Publishing
Date: 2018
Time and defeasibility in FIPA ACL semantics
Publisher: Elsevier BV
Date: 12-2011
Special issue on logics for intelligent agents and multi-agent systems
Publisher: Elsevier BV
Date: 12-2011
Modelling dialogues for optimal legislation
Publisher: ACM
Date: 17-06-2019
Detecting deontic conflicts in dynamic settings
Publisher: Springer International Publishing
Date: 2014
Computing Temporal Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2013
Law, logic and business processes
Publisher: IEEE
Date: 09-2010
On managing business processes variants
Publisher: Elsevier BV
Date: 07-2009
Knowledge Assessment: A Modal Logic Approach
Publisher: Springer Berlin Heidelberg
Date: 2008
Picking up the best goal an analytical study in defeasible logic
Publisher: Springer Berlin Heidelberg
Date: 2013
Deontic Ambiguities in Legal Reasoning
Publisher: ACM
Date: 19-06-2023
Settling on the Group’s Goals: An n-Person Argumentation Game Approach
Publisher: Springer Berlin Heidelberg
Date: 2008
A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations
Publisher: Springer Berlin Heidelberg
Date: 2000
DOI: 10.1007/10722086_10
Compliant Business Process Design by Declarative Specifications
Publisher: Springer Berlin Heidelberg
Date: 2013
REPRESENTING BUSINESS CONTRACTS IN RuleML
Publisher: World Scientific Pub Co Pte Lt
Date: 06-2005
DOI: 10.1142/S0218843005001092
Abstract: This paper presents an approach for the specification and implementation of translating contracts from a human-oriented form into an executable representation for monitoring. This will be done in the setting of RuleML. The task of monitoring contract execution and performance requires a logical account of deontic and defeasible aspects of legal language currently such aspects are not covered by RuleML accordingly we show how to extend it to cover such notions. From its logical form, the contract will thus be transformed into a machine readable rule notation and eventually implemented as executable semantics via any mark-up languages depending on the client's preference, for contract monitoring purposes.
Modelling and Reasoning Languages for Social Networks Policies
Publisher: IEEE
Date: 09-2009
DOI: 10.1109/EDOC.2009.19
Declarative approaches for Compliance by Design
Publisher: Springer International Publishing
Date: 2017
$\mathcal{ALE}$ Defeasible Description Logic
Publisher: Springer Berlin Heidelberg
Date: 2006
DOI: 10.1007/11941439_15
An implicit approach to deal with periodically repeated medical data
Publisher: Elsevier BV
Date: 07-2012
DOI: 10.1016/J.ARTMED.2012.03.002
Abstract: Temporal information plays a crucial role in medicine, so that in medical informatics there is an increasing awareness that suitable database approaches are needed to store and support it. Specifically, a great amount of clinical data (e.g., therapeutic data) are periodically repeated. Although an explicit treatment is possible in most cases, it causes severe storage and disk I/O problems. In this paper, we propose an innovative approach to cope with periodic relational medical data in an implicit way. We propose a new data model, representing periodic data in a compact (implicit) way, which is a consistent extension of TSQL2 consensus approach. Then, we identify some important types of temporal queries, and present query answering algorithms to answer them. Finally, we also run experiments to evaluate our approach. The experiments show that our approach outperforms current explicit approaches, especially as regard disk I/O. We have provided an implicit approach to periodic data with is a consistent extension of TSQL2 (and which is thus grant interoperable with it), and we have experimentally proven that it outperforms current explicit approaches.
On Extending RuleML for Modal Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2008
DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies
Publisher: Elsevier BV
Date: 11-2007
Algorithms for Basic Compliance Problems
Publisher: IEEE
Date: 03-2013
DOI: 10.1109/ICSTW.2013.6
Embedding defeasible logic into logic programming
Publisher: Cambridge University Press (CUP)
Date: 16-10-2006
On the Use of the Conformance and Compliance Keywords During Verification of Business Processes
Publisher: Springer International Publishing
Date: 2022
Frontmatter, Table of Contents, Preface, List of Authors
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Date: 2013
A semantic web based architecture for e-contracts in defeasible logic
Publisher: Springer Berlin Heidelberg
Date: 2005
DOI: 10.1007/11580072_12
Information and friend segregation for online social networks: a user study
Publisher: Springer Science and Business Media LLC
Date: 29-12-2017
Nested Rules in Defeasible Logic
Publisher: Springer Berlin Heidelberg
Date: 2005
DOI: 10.1007/11580072_18
Semantic business process regulatory compliance checking using LegalRuleML
Publisher: Springer International Publishing
Date: 2016
Induction of defeasible logic theories in the legal domain
Publisher: ACM Press
Date: 2003
A defeasible logic for modelling policy-based intentions and motivational attitudes
Publisher: Oxford University Press (OUP)
Date: 29-04-2009
Normative Multi-Agent Systems (Dagstuhl Seminar 12111)
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany
Date: 2012
Logics for Legal Dynamics
Publisher: Springer International Publishing
Date: 2015
Related Organisations
Related Funding Activities
Discovery Projects - Grant ID: DP0452628
Start Date: 2004
End Date: 12-2010
Amount: $480,000.00
Funder: Australian Research Council
View Funded ActivityDiscovery Projects - Grant ID: DP0558854
Start Date: 2005
End Date: 12-2007
Amount: $262,000.00
Funder: Australian Research Council
View Funded Activity