Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 13 di 13
Titolo Data di pubblicazione Autore(i) File
Detecting decidable classes of finitely ground logic programs with function symbols 1-gen-2013 Calautti, M; Greco, S; Trubitsyna, I
Logic Program Termination Analysis Using Atom Sizes 1-gen-2015 Calautti, M; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Checking termination of bottom-up evaluation of logic programs with function symbols 1-gen-2015 Calautti, M; Greco, S; Spezzano, F; Trubitsyna, I
Chase Termination for Guarded Existential Rules 1-gen-2015 Calautti, M.; Gottlob, G.; Pieris, A.
Using linear constraints for logic program termination analysis 1-gen-2016 Calautti, M; Greco, S; Molinaro, C; Trubitsyna, I
Exploiting Equality Generating Dependencies in Checking Chase Termination 1-gen-2016 Calautti, M; Greco, S; Molinaro, C; Trubitsyna, I
Detecting decidable classes of finitely ground logic programs with function symbols 1-gen-2017 Calautti, Marco; Greco, Sergio; Trubitsyna, Irina
An operational approach to consistent query answering 1-gen-2018 Calautti, M.; Libkin, L.; 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
Counting database repairs under primary keys revisited 1-gen-2019 Calautti, M.; Console, M.; Pieris, A.
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules 1-gen-2020 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation 1-gen-2020 Alfano, Gianvincenzo; Calautti, Marco; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
Existential active integrity constraints 1-gen-2021 Calautti, M.; Caroprese, L.; Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Mostrati risultati da 1 a 13 di 13
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