Logic-based formalizations of argumentation that take pros and cons for some conclusion
into account have been extensively studied over a number of years, and some basic …

Defeasible reasoning is a simple but efficient rule-based approach to nonmonotonic
reasoning. It has powerful implementations and shows promise to be applied in the areas of …

Autonomous vehicles are one of the most spectacular recent developments of Artificial
Intelligence. Among the problems that still need to be solved before they can fully …

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 …

Defeasible logic is a rule-based nonmonotonic logic, with both strict and defeasible rules,
and a priority relation on rules. We show that inference in the propositional form of the logic …

We propose a computationally oriented non-monotonic multi-modal logic arising from the
combination of temporalised agency and temporalised normative positions. We argue about …

For many years, the non-montonic reasoning community has focussed on highly expressive
logics. Such logics have turned out to be computationally expensive, and have given little …

In this paper we follow the BOID (Belief, Obligation, Intention, Desire) architecture to
describe agents and agent types in Defeasible Logic. We argue, in particular, that the …

Variance in business process execution can be the result of several situations, such as
disconnection between documented models and business operations, workarounds in spite …

Nonmonotonic rule systems are expected to play an important role in the layered
development of the semantic Web. Defeasible reasoning is a direction in nonmonotonic …