44 citations · 132 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.AI2022
A General Framework for Modelling Conditional Reasoning -- Preliminary Report
Giovanni Casini, Umberto Straccia
We introduce and investigate here a formalisation for conditionals that allows the definition of a broad class of reasoning systems. This framework covers the most popular kinds of…
cs.AI2022
A Minimal Deductive System for RDFS with Negative Statements
Umberto Straccia, Giovanni Casini
The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e.g."antipyretics are drugs"). In this paper we show how to extend RDFS to expres…