13 citations · 58 across the 22 of their papers we have counts for
3 papers · 1 filter
Proceedings 42nd International Conference on Logic Programming
Wolfgang Faber, Laura Giordano, Ricardo Rocha +1
Since the first conference in Marseille in 1982, the International Conference on Logic Programming (ICLP) has been the premier international event for presenting research in logic…
Adding the Power-Set to Description Logics
Laura Giordano, Alberto Policriti
We explore the relationships between Description Logics and Set Theory. The study is carried on using, on the set-theoretic side, a very rudimentary axiomatic set theory Omega, con…
Analytic Tableaux Calculi for KLM Logics of Nonmonotonic Reasoning
Laura Giordano, Valentina Gliozzi, Nicola Olivetti +1
We present tableau calculi for some logics of nonmonotonic reasoning, as defined by Kraus, Lehmann and Magidor. We give a tableau proof procedure for all KLM logics, namely prefere…