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

Francesco Olivieri, Guido Governatori, Claudio Tomazzoli +1

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