Follow
Irina Trubitsyna
Irina Trubitsyna
Assistant Professor of Computer Engineering, Università della Calabria, DIMES
Verified email at dimes.unical.it
Title
Cited by
Cited by
Year
Stratification criteria and rewriting techniques for checking chase termination
S Greco, F Spezzano, I Trubitsyna
Proceedings of the VLDB Endowment 4 (11), 1158-1168, 2011
472011
Preferred repairs for inconsistent databases
S Greco, C Sirangelo, I Trubitsyna, E Zumpano
Encyclopedia of Database Technologies and Applications, 480-485, 2005
322005
On the semantics of abstract argumentation frameworks: A logic programming approach
G Alfano, S Greco, F Parisi, I Trubitsyna
Theory and Practice of Logic Programming 20 (5), 703-718, 2020
302020
Explainable acceptance in probabilistic abstract argumentation: Complexity and approximation
G Alfano, M Calautti, S Greco, F Parisi, I Trubitsyna
Proceedings of the 17th International Conference on Principles of Knowledge …, 2020
262020
Computing Approximate Query Answers over Inconsistent Knowledge Bases.
S Greco, C Molinaro, I Trubitsyna
IJCAI 2018, 1838-1846, 2018
262018
Exploiting equality generating dependencies in checking chase termination
M Calautti, S Greco, C Molinaro, I Trubitsyna
Proceedings of the VLDB Endowment (PVLDB) 9 (5), 396-407, 2016
252016
Analyzing security scenarios using defence trees and answer set programming
S Bistarelli, P Peretti, I Trubitsyna
Electronic Notes in Theoretical Computer Science 197 (2), 121-129, 2008
232008
Incomplete argumentation frameworks: Properties and complexity
G Alfano, S Greco, F Parisi, I Trubitsyna
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5451-5460, 2022
222022
Argumentation frameworks with strong and weak constraints: Semantics and complexity
G Alfano, S Greco, F Parisi, I Trubitsyna
Proceedings of the AAAI Conference on Artificial Intelligence 35 (7), 6175-6184, 2021
222021
Feasibility conditions and preference criteria in querying and repairing inconsistent databases
S Greco, C Sirangelo, I Trubitsyna, E Zumpano
International Conference on Database and Expert Systems Applications, 44-55, 2004
222004
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments
S Greco, C Molinaro, I Trubitsyna
Theory and Practice of Logic Programming 13 (4-5), 737-752, 2013
212013
The View-Update Problem for Indefinite Databases
L Caroprese, I Trubitsyna, M Truszczynski, E Zumpano
21st Italian Symposium on Advanced Database Systems, SEBD 2013, 95-102, 2013
212013
Datalog: A logic language for expressing search and optimization problems
S Greco, C Molinaro, I Trubitsyna, E Zumpano
Theory and Practice of Logic Programming 10 (2), 125-166, 2010
202010
Preference-based inconsistency-tolerant query answering under existential rules
M Calautti, S Greco, C Molinaro, I Trubitsyna
Artificial Intelligence 312, 103772, 2022
192022
Approximation algorithms for querying incomplete databases
S Greco, C Molinaro, I Trubitsyna
Information Systems 86, 28-45, 2019
192019
ACID: A system for computing approximate certain query answers over incomplete databases
N Fiorentino, S Greco, C Molinaro, I Trubitsyna
Proceedings of the 2018 International Conference on Management of Data, 1685 …, 2018
192018
Checking chase termination: Cyclicity analysis and rewriting techniques
S Greco, F Spezzano, I Trubitsyna
IEEE Transactions on Knowledge and Data Engineering 27 (3), 621-635, 2014
182014
Bounded programs: A new decidable class of logic programs with function symbols
S Greco, C Molinaro, I Trubitsyna
Twenty-Third International Joint Conference on Artificial Intelligence, 2013
182013
On the termination of logic programs with function symbols
S Greco, F Spezzano, I Trubitsyna
Technical Communications of the 28th International Conference on Logic …, 2012
182012
Optimization of bound disjunctive queries with constraints
G Greco, S Greco, I Trubitsyna, E Zumpano
Theory and Practice of Logic Programming 5 (6), 713-745, 2005
182005
The system can't perform the operation now. Try again later.
Articles 1–20