TRUBITSYNA, Irina

TRUBITSYNA, Irina  

Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica  

Mostra records
Risultati 1 - 20 di 82 (tempo di esecuzione: 0.037 secondi).
Titolo Data di pubblicazione Autore(i) File
A framework for prioritized reasoning based on the choice evaluation 1-gen-2007 Caroprese, L; Trubitsyna, I; Zumpano, Ester
ACID: A system for computing approximate certain query answers over incomplete databases 1-gen-2018 Fiorentino, Nicola; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
ACQUA: Approximate consistent query answering over inconsistent knowledge bases 1-gen-2019 Fiorentino, N.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Aggregates and Preferences in Logic Programming 1-gen-2005 Greco, Sergio; Trubitsyna, I; Zumpano, Ester
Algorithms for computing approximate certain answers over incomplete databases 1-gen-2018 Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Approximate Query Answering over Incomplete Data 1-gen-2020 Fiorentino, N.; Molinaro, C.; Trubitsyna, I.
Approximate Query Answering over Inconsistent Knowledge Bases 1-gen-2018 Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Approximation Algorithms for Computing Certain Answers over Incomplete Databases 1-gen-2017 Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina
Approximation algorithms for querying incomplete databases 1-gen-2019 Greco, S.; Molinaro, C.; Trubitsyna, I.
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity 1-gen-2021 Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols 1-gen-2013 Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
ChaseT: A tool for checking chase termination 1-gen-2011 De Francesco, Andrea; Spezzano, Francesca; Trubitsyna, Irina
ChaseT: A tool for checking chase termination 1-gen-2011 De Francesco, A; Greco, Sergio; Spezzano, F; Trubitsyna, I.
Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques 1-gen-2015 Greco, Sergio; Spezzano, F; 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
Checking Termination of Datalog with Function Symbols Through Linear Constraints 1-gen-2015 Calautti, M; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Checking Termination of Logic Programs with Function Symbols through Linear Constraints 1-gen-2014 Calautti, M.; Greco, Sergio; Molinaro, Cristian; Trubitsyna, I.
Combining Linear Programming and Clustering Techniques for the Classification of Research Centers 1-gen-2004 Tagarelli, Andrea; Trubitsyna, I.; Greco, S.
Combining linear programming techniques and clustering algorithms for the classification of Research Centers 1-gen-2004 Tagarelli, A; Trubitsyna, Irina; Greco, Sergio
Computing approximate certain answers over incomplete databases 1-gen-2017 Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina