A rapidly increasing number of businesses rely on visualisation solutions for their data
management challenges. This demand stems from an industry-wide shift towards data …

Digitalization efforts often face a key challenge: business processes must not only be
efficient in achieving their goals but also adhere to legal regulations. Business process …

Abstract Linear Logic and Defeasible Logic have been adopted to formalise different
features relevant to agents: consumption of resources, and reasoning with exceptions. We …

Abstract Linear Logic and Defeasible Logic have been adopted to formalise different
features of knowledge representation: consumption of resources and reasoning with …

Organisations have to cope with large numbers of business rules and existing regulations
governing the business in which they operate. Such rules are difficult to maintain due to their …

Linear Logic and Defeasible Logic have been adopted to formalise different features of
knowledge representation: consumption of resources, and non monotonic reasoning in …

The interest of scholars in devising automated methods to describe and analyse business
processes has increased in the last decades due to the extreme interest of organisations in …

This paper analyses and compares some of the automated reasoners that have been used
in recent research for compliance checking. Although the list of the considered reasoners is …