1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2004
A Sequent Calculus and a Theorem Prover for Standard Conditional Logics
Nicola Olivetti, Gian Luca Pozzato, Camilla Schwind
In this paper we present a cut-free sequent calculus, called SeqS, for some standard conditional logics, namely CK, CK+ID, CK+MP and CK+MP+ID. The calculus uses labels and transiti…
cs.DB2002★ 1 cited
Database Repairs and Analytic Tableaux
Leopoldo Bertossi, Camilla Schwind
In this article, we characterize in terms of analytic tableaux the repairs of inconsistent relational databases, that is databases that do not satisfy a given set of integrity cons…