38 citations · 82 across the 12 of their papers we have counts for
7 papers · 1 filter
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…
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…
It could be worse, it could be raining: reliable automatic meteorological forecasting
Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli +2
Meteorological forecasting provides reliable prediction about the future weather within a given interval of time. Meteorological forecasting can be viewed as a form of hybrid diagn…
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…
Revision of Defeasible Logic Preferences
Guido Governatori, Francesco Olivieri, Simone Scannapieco +1
There are several contexts of non-monotonic reasoning where a priority between rules is established whose purpose is preventing conflicts. One formalism that has been widely employ…
The Complexity of Reasoning about Spatial Congruence
M. Cristani
In the recent literature of Artificial Intelligence, an intensive research effort has been spent, for various algebras of qualitative relations used in the representation of tempor…