1 citations · 1 across the 4 of their papers we have counts for
4 papers
Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus
Régis Alenda, Nicola Olivetti, Camilla Schwind
We study the logic of comparative concept similarity $\CSL$ introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In…
A first-order Temporal Logic for Actions
Camilla Schwind
We present a multi-modal action logic with first-order modalities, which contain terms which can be unified with the terms inside the subsequent formulas and which can be quantifie…
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…
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…