CALAUTTI, Marco
CALAUTTI, Marco
Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica
An operational approach to consistent query answering
2018-01-01 Calautti, M.; Libkin, L.; Pieris, A.
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, M.; Gottlob, G.; Pieris, A.
Checking termination of bottom-up evaluation of logic programs with function symbols
2015-01-01 Calautti, M; Greco, S; Spezzano, F; Trubitsyna, I
Counting database repairs under primary keys revisited
2019-01-01 Calautti, M.; Console, M.; Pieris, A.
Dealing with Inconsistency in Databases: An Overview
2018-01-01 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
2013-01-01 Calautti, M; Greco, S; Trubitsyna, I
Detecting decidable classes of finitely ground logic programs with function symbols
2017-01-01 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
Existential active integrity constraints
2021-01-01 Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation
2020-01-01 Alfano, Gianvincenzo; Calautti, Marco; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
Exploiting Equality Generating Dependencies in Checking Chase Termination
2016-01-01 Calautti, M; Greco, S; Molinaro, C; Trubitsyna, I
Logic Program Termination Analysis Using Atom Sizes
2015-01-01 Calautti, M; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules
2020-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Querying Data Exchange Settings Beyond Positive Queries
2024-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Using linear constraints for logic program termination analysis
2016-01-01 Calautti, M; Greco, S; Molinaro, C; Trubitsyna, I
| 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-2013 | Calautti, M; Greco, S; Trubitsyna, I | |
| Detecting decidable classes of finitely ground logic programs with function symbols | 1-gen-2017 | Calautti, Marco; Greco, Sergio; Trubitsyna, Irina | |
| 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 | |
| Querying Data Exchange Settings Beyond Positive Queries | 1-gen-2024 | 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 |