Sfoglia per Autore
Detecting decidable classes of finitely ground logic programs with function symbols
2013 M. Calautti, S. Greco, I. Trubitsyna
Termination Criteria for Datalog with Function Symbols
2014 M. Calautti, C. Molinaro, C. Pulice, I. Trubitsyna
Checking Termination of Logic Programs with Function Symbols through Linear Constraints
2014 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Rewriting-based Check of Chase Termination
2015 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Checking Termination of Datalog with Function Symbols Through Linear Constraints
2015 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Chase Termination for Guarded Existential Rules
2015 M. Calautti, G. Gottlob, A. Pieris
Chase Termination for Guarded Existential Rules
2015 M. Calautti, G. Gottlob, A. Pieris
Logic Program Termination Analysis Using Atom Sizes
2015 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Checking termination of bottom-up evaluation of logic programs with function symbols
2015 M. Calautti, S. Greco, F. Spezzano, I. Trubitsyna
Leveraging equality generating dependencies for chase termination
2016 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Exploiting Equality Generating Dependencies in Checking Chase Termination
2016 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Using linear constraints for logic program termination analysis
2016 M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna
Detecting decidable classes of finitely ground logic programs with function symbols
2017 M. Calautti, S. Greco, I. Trubitsyna
An Operational Approach to Consistent Query Answering
2018 M. Calautti, L. Libkin, A. Pieris
An Operational Approach to Consistent Query Answering
2018 M. Calautti, L. Libkin, A. Pieris
22nd International Conference on Database Theory, ICDT 2019
2019 P. Barcelò, M. Calautti
Oblivious Chase Termination: The Sticky Case
2019 M. Calautti, A. Pieris
Counting Database Repairs under Primary Keys Revisited
2019 M. Calautti, M. Console, A. Pieris
Counting Database Repairs under Primary Keys Revisited (Discussion paper)
2019 M. Calautti, M. Console, A. Pieris
Probabilistic Answers over Inconsistent Knowledge Bases
2020 M. Calautti, N. Fiorentino, S. Greco, C. Molinaro, I. Trubitsyna
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile