Logic Group at ISIPTA 2021
We are happy to announce that our three papers P. Baldi and H. Hosni, Logical Approximations of Qualitative Probability. A. Termine, A. Antonucci, A. Facchini and G. Primiero, Robust Model…[...]
Read More
We are happy to announce that our three papers P. Baldi and H. Hosni, Logical Approximations of Qualitative Probability. A. Termine, A. Antonucci, A. Facchini and G. Primiero, Robust Model…[...]
Read More
Review scores collect users’ opinions in a simple and intuitive manner. However, review scores are also easily manipulable, hence they are often accompanied by explanations. A substantial amount of research…[...]
Read More
The Journal of Applied Logic's latest issue features two new papers by some of our group members. You can easily access them at this link. M. D’Agostino, C. Larese and…[...]
Read More
Recent developments in the formalization of reasoning, especially in computational settings, have aimed at defining cognitive and resource bounds to express limited inferential abilities. This feature is emphasized by Depth…[...]
Read More
The role of misinformation diffusion during a pandemic is crucial. An aspect that requires particular attention in the analysis of misinfodemics is the rationale of the source of false information,…[...]
Read More
This paper presents an investigation on the structure of conditional events and on the probability measures which arise naturally in this context. In particular we introduce a construction which defines…[...]
Read More
We present a logic to model the behaviour of an agent trusting or not trusting messages sent by another agent. The logic formalizes trust as a consistency checking function with…[...]
Read More
ASPIC+ is an established general framework for argumentation and non-monotonic reasoning. However ASPIC+ does not satisfy the non-contamination rationality postulates, and moreover, tacitly assumes unbounded resources when demonstrating satisfaction of…[...]
Read More
This paper introduces and investigates Depth-bounded Belief functions, a logic-based representation of quantified uncertainty. Depth-bounded Belief functions are based on the framework of Depth-bounded Boolean logics, which provide a hierarchy…[...]
Read More