3 papers
cs.AI2022
Deontic Meta-Rules
Francesco Olivieri, Guido Governatori, Matteo Cristani +2
The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisati…
cs.AI2019
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…
cs.AI2018
Resource-driven Substructural Defeasible Logic
Francesco Olivieri, Guido Governatori, Matteo Cristani +2
Linear Logic and Defeasible Logic have been adopted to formalise different features relevant to agents: consumption of resources, and reasoning with exceptions. We propose a framew…