CALAUTTI, Marco

CALAUTTI, Marco  

Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica  

Mostra records
Risultati 1 - 13 di 13 (tempo di esecuzione: 0.023 secondi).
Titolo Data di pubblicazione Autore(i) File
An operational approach to consistent query answering 1-gen-2018 Calautti, M.; Libkin, L.; Pieris, A.
Chase Termination for Guarded Existential Rules 1-gen-2015 Calautti, M.; Gottlob, G.; Pieris, A.
Checking termination of bottom-up evaluation of logic programs with function symbols 1-gen-2015 Calautti, M; Greco, S; Spezzano, F; Trubitsyna, I
Counting database repairs under primary keys revisited 1-gen-2019 Calautti, M.; Console, M.; Pieris, A.
Dealing with Inconsistency in Databases: An Overview 1-gen-2018 Calautti, Marco; Caroprese, Luciano; Fazzinga, Bettina; Flesca, Sergio; Furfaro, Filippo; Greco, Sergio; Molinaro, Cristian; Parisi, Francesco; Pugliese, Andrea; Sacca', Domenico; Trubitsyna, Irina; Zumpano, Ester
Detecting decidable classes of finitely ground logic programs with function symbols 1-gen-2017 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
Detecting decidable classes of finitely ground logic programs with function symbols 1-gen-2013 Calautti, M; Greco, S; Trubitsyna, I
Existential active integrity constraints 1-gen-2021 Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation 1-gen-2020 Alfano, Gianvincenzo; Calautti, Marco; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
Exploiting Equality Generating Dependencies in Checking Chase Termination 1-gen-2016 Calautti, M; Greco, S; Molinaro, C; Trubitsyna, I
Logic Program Termination Analysis Using Atom Sizes 1-gen-2015 Calautti, M; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules 1-gen-2020 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Using linear constraints for logic program termination analysis 1-gen-2016 Calautti, M; Greco, S; Molinaro, C; Trubitsyna, I