16 citations · 56 across the 25 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.LO2016
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification
Domenico Cantone, Giorgio Delzanno
This volume contains the proceedings of the Seventh International Symposium on Games, Automata, Logic and Formal Verification (GandALF 2016). The symposium took place in Catania, I…
cs.LO2016
Conjunctive Query Answering via a Fragment of Set Theory (Extended Version)
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria
We address the problem of Conjunctive Query Answering (CQA) for the description logic $\dlssx$ ($\shdlssx$, for short) which extends the logic $\dlss$ with Boolean operations on co…