research
∙
09/23/2022
Deontic Meta-Rules
The use of meta-rules in logic, i.e., rules whose content includes other...
share
research
∙
08/14/2019
Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes
Linear Logic and Defeasible Logic have been adopted to formalise differe...
research
∙
01/28/2019
It could be worse, it could be raining: reliable automatic meteorological forecasting
Meteorological forecasting provides reliable prediction about the future...
research
∙
09/11/2018
Resource-driven Substructural Defeasible Logic
Linear Logic and Defeasible Logic have been adopted to formalise differe...
research
∙
04/26/2018
A Formal Approach to Analyzing Cyber-Forensics Evidence
The frequency and harmfulness of cyber-attacks are increasing every day,...
research
∙
12/13/2015
The Rationale behind the Concept of Goal
The paper proposes a fresh look at the concept of goal and advances that...
research
∙
12/16/2013
Strategic Argumentation is NP-Complete
In this paper we study the complexity of strategic argumentation for dia...
research
∙
01/23/2011