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

Francesco Olivieri
(Data61, CSIRO (Australia))
Guido Governatori
(Data61, CSIRO (Australia))
Claudio Tomazzoli
(Department of Computer Science, University of Verona)
Matteo Cristani
(Department of Computer Science, University of Verona)

Linear Logic and Defeasible Logic have been adopted to formalise different features of knowledge representation: consumption of resources, and non monotonic reasoning in particular to represent exceptions. Recently, a framework to combine sub-structural features, corresponding to the consumption of resources, with defeasibility aspects to handle potentially conflicting information, has been discussed in literature, by some of the authors. Two applications emerged that are very relevant: energy management and business process management. We illustrate a set of guide lines to determine how to apply linear defeasible logic to those contexts.

In Thomas Seiller and Steffen Jost: Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis (DICE-FOPARA 2019), Prague, Czech Republic, 6.4.2019 - 7.4.2019, Electronic Proceedings in Theoretical Computer Science 298, pp. 1–14.
Published: 14th August 2019.

ArXived at: bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to:
For website issues: