Applications of linear defeasible logic: Combining resource consumption and exceptions to energy management and business processes
File version
Version of Record (VoR)
Author(s)
Governatori, G
Tomazzoli, C
Cristani, M
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Date
Size
File type(s)
Location
Prague, Czech Republic
Abstract
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.
Journal Title
Conference Title
Electronic Proceedings in Theoretical Computer Science, EPTCS
Book Title
Edition
Volume
298
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© Olivieri et al. 2019. This is an Open Access article distributed under the terms of the Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Item Access Status
Note
Access the data
Related item(s)
Subject
Computational logic and formal languages
Persistent link to this record
Citation
Olivieri, F; Governatori, G; Tomazzoli, C; Cristani, M, Applications of linear defeasible logic: Combining resource consumption and exceptions to energy management and business processes, Electronic Proceedings in Theoretical Computer Science, EPTCS, 2019, 298, pp. 1-14