Sfoglia per Autore
Detecting decidable classes of finitely ground logic programs with function symbols
2013-01-01 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
Checking Termination of Logic Programs with Function Symbols through Linear Constraints
2014-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Termination Criteria for Datalog with Function Symbols
2014-01-01 Calautti, Marco; Molinaro, Cristian; Pulice, Chiara; Trubitsyna, Irina
Checking Termination of Datalog with Function Symbols Through Linear Constraints
2015-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Rewriting-based Check of Chase Termination
2015-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Logic Program Termination Analysis Using Atom Sizes
2015-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, Marco; Gottlob, Georg; Pieris, Andreas
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, Marco; Gottlob, Georg; Pieris, Andreas
Checking termination of bottom-up evaluation of logic programs with function symbols
2015-01-01 Calautti, Marco; Greco, Sergio; Spezzano, Francesca; Trubitsyna, Irina
Exploiting Equality Generating Dependencies in Checking Chase Termination
2016-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Leveraging Equality Generating Dependencies for Chase Termination
2016-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Using linear constraints for logic program termination analysis
2016-01-01 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols
2017-01-01 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
An Operational Approach to Consistent Query Answering
2018-01-01 Calautti, Marco; Libkin, Leonid; Pieris, Andreas
An Operational Approach to Consistent Query Answering
2018-01-01 Calautti, Marco; Libkin, Leonid; Pieris, Andreas
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; Saccà, Domenico; Trubitsyna, Irina; Zumpano, Ester
Counting Database Repairs under Primary Keys Revisited
2019-01-01 Calautti, Marco; Console, Marco; Pieris, Andreas
Oblivious Chase Termination: The Sticky Case
2019-01-01 Calautti, Marco; Pieris, Andreas
22nd International Conference on Database Theory, ICDT 2019
2019-01-01 Calautti, Marco; Barcelò, Pablo
Counting Database Repairs under Primary Keys Revisited
2019-01-01 Calautti, Marco; Console, Marco; Pieris, Andreas
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