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…