44 citations · 132 across the 13 of their papers we have counts for
13 papers
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…
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…
Situated Conditional Reasoning
Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Conditionals are useful for modelling, but are not always sufficiently expressive for capturing information accurately. In this paper we make the case for a form of conditional tha…
A Rational Entailment for Expressive Description Logics via Description Logic Programs
Giovanni Casini, Umberto Straccia
Lehmann and Magidor's rational closure is acknowledged as a landmark in the field of non-monotonic logics and it has also been re-formulated in the context of Description Logics (D…
Theoretical Foundations of Defeasible Description Logics
Katarina Britz, Giovanni Casini, Thomas Meyer +3
We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as s…
On Rational Entailment for Propositional Typicality Logic
Richard Booth, Giovanni Casini, Thomas Meyer +1
Propositional Typicality Logic (PTL) is a recently proposed logic, obtained by enriching classical propositional logic with a typicality operator capturing the most typical (alias…
A Polynomial Time Subsumption Algorithm for Nominal Safe under Rational Closure
Giovanni Casini, Umberto Straccia, Thomas Meyer
Description Logics (DLs) under Rational Closure (RC) is a well-known framework for non-monotonic reasoning in DLs. In this paper, we address the concept subsumption decision proble…
Revising Incompletely Specified Convex Probabilistic Belief Bases
Gavin Rens, Thomas Meyer, Giovanni Casini
We propose a method for an agent to revise its incomplete probabilistic beliefs when a new piece of propositional information is observed. In this work, an agent's beliefs are repr…
N and Z odd-even staggering in Kr + Sn collisions at Fermi energies
S. Piantelli, G. Casini, P. R. Maurenzig +33
The odd-even staggering of the yield of final reaction products has been studied as a function of proton (Z) and neutron (N) numbers for the collisions 84 Kr+112 Sn and 84 Kr+124 S…
Isospin transport in 84Kr + 112,124Sn collisions at Fermi energies
S. Barlini, S. Piantelli, G. Casini +32
Isotopically resolved fragments with Z<=20 have been studied with high resolution telescopes in a test run for the FAZIA collaboration. The fragments were produced by the collision…
Evaluation of excitation energy and spin from light charged particles multiplicities in heavy-ion collisions
The INDRA, CHIMERA Collaborations, : +4
A simple procedure for evaluating the excitation energy and the spin transfer in heavy-ion dissipative collisions is proposed. It is based on a prediction of the GEMINI evaporation…
Study of the dissipative binary channels in the 107Ag+58Ni reaction at 52 MeV/nucleon
INDRA, CHIMERA Collaborations, : +3
The binary dissipative channels are characterized by the presence of two main fragments in the exit channel. They have been studied in the 107Ag+58Ni reaction at 52 MeV/nucleon of…
Angular momentum sharing in dissipative collisions
G. Casini, G. Poggi, M. Bini +9
Light charged particles emitted by the projectile-like fragment were measured in the direct and reverse collision of Nb and Sn at 25 AMeV. The experimental multiplic…