Research

Irina Trubitsyna  received the PhD in Computer and Systems Engineering from the University of Calabria.
Currently she is Associate Professor at the Department of Informatics, Modeling, Electronics and System Engineering (DIMES) of University of Calabria  and IEEE Senior Member. 

Her research interests include  Knowledge Representation, Artificial Intelligence, Incomplete and Inconsistent Databases, Argumentation, and Logic Programming. She authored more than 100 scientific papers published in prestigious international journals and conference proceedings. She has been member of program committee and reviewer for different international journals and conferences, including AAAI, IJCAI, KR, ICLP, ICDE, VLDB, JAIR and TPLP and others. She has been Proceedings Chair of CIKM 2018.

 Awards and other honors 

“Best Technical Paper Award“ of ICLP 2020 (International Conference on Logic Programming) for the paper: “On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach”, with Alfano G., Greco S., and  Parisi F.

“RuleML Best Paper Award” of RuleML 2014 (Rules on the Web. From Theory to Applications - 8th International Symposium,  Prague, Czech Republic,  2014)  for the paper: “Checking Termination of Logic Programs with Function Symbols through Linear Constraints”, with Calautti M, Greco S., and Molinaro C.


The full list of publications is available on Scopus, IRIS or DBLP.  

List of selected publications

Publications  (selected)

 1) G. Alfano, S. Greco, F. Parisi, I. Trubitsyna.
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach.
Proc. of ICLP 2020: 36th International Conference on Logic Programming, to appear.
Best Technical Paper Award.

2)     S. Greco, C. Molinaro, I. Trubitsyna.
Approximation algorithms for querying incomplete databases.
Information Systems, Vol. 86, pp.28-45, Elsevier, 2019.
ISSN:0306-4379, doi: 10.1016/j.is.2019.03.010.

3) S. Greco, C. Molinaro, I. Trubitsyna.
Computing Approximate Query Answers over Inconsistent Knowledge Bases.
Proc. of IJCAI 2018: 27th International Joint Conference on Artificial Intelligence,
pp. 1838{1846, Stockholm, Sweden, July 13-19, 2018.
ISBN: 978-0-9992411-2-7, doi: 10.24963/ijcai.2018/254.

4) M. Calautti, S. Greco, I. Trubitsyna.
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.
ACM Trans. Comput. Log. (TOCL), Vol.18(4), 28, pp.28:1-28:42, Association for Computing Machinery (ACM), 2017.
ISSN:1529-3785, doi: 10.1145/3143804.

5)     M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna.
Exploiting Equality Generating Dependencies in Checking Chase Termination.
PROCEEDINGS OF THE VLDB ENDOWMENT (PVLDB), Vol. 9(5), pp. 396-407,
VLDB Endowment, 2016. SSN: 2150-8097, doi: 10.14778/2876473.2876475.

6)     S. Greco, F. Spezzano, I. Trubitsyna.
Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques.
IEEE Transactions on Knowledge and Data Engineering (TKDE), Vol. 27(3), pp.621-635, IEEE, 2015.
 ISSN:1041-4347, doi: 10.1109/TKDE.2014.2339816.

7)     M. Calautti, S. Greco, C. Molinaro, I. Trubitsyna.
Logic Program Termination Analysis Using Atom Sizes.
Proc. of IJCAI 2015: 24th International Joint Conference on Artificial Intelligence,
pp. 2833-2839, Buenos Aires, Argentina, July 25-31, AAAI Press, 2015.
ISSN: 10450823, ISBN: 978-157735738-4.

8)     M. Calautti, S. Greco, F. Spezzano, I. Trubitsyna.
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols.
Theory and Practice of Logic Programming (TPLP), Vol. 15(6), pp. 854-889,
Cambridge University Press, 2015. ISSN:1471-0684, doi: 10.1017/S1471068414000623.

9)     S. Greco, C. Molinaro, I. Trubitsyna.
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
Proc. of IJCAI 2013: 23rd International Joint Conference on Artificial Intelligence,
pp. 926-932, Beijing, China, August 3-9, 2013. ISSN: 10450823, ISBN: 978-157735633-2.

10)  S. Greco, F. Spezzano, I. Trubitsyna.
Stratification Criteria and Rewriting Techniques for Checking Chase Termination.
PROCEEDINGS OF THE VLDB ENDOWMENT (PVLDB), Vol. 4(11), pp. 1158-1168,
VLDB Endowment, 2011. ISSN: 2150-8097.

11)  S. Greco, C. Molinaro, I. Trubitsyna, E. Zumpano.
NP Datalog: A logic language for expressing NP search and optimization problems.
Theory and Practice of Logic Programming (TPLP), Vol. 10(2), pp. 125-166,
Cambridge University Press, 2010. ISSN: 1471-0684, doi: 10.1017/S1471068409990251.

12)  S. Greco, I. Trubitsyna, E. Zumpano.
On the Semantics of Logic Programs with Preferences.
Journal of Artificial Research (JAIR), Vol. 30, pp. 501-523, Elsevier, 2007.
ISSN: 1076-9757.

13)  G. Greco, S. Greco, I. Trubitsyna, E. Zumpano.
Optimization of Bound Disjunctive Queries with Constraints.
Theory and Practice of Logic Programming (TPLP), Vol.5(6), pp. 713-745,
Cambridge University Press, 2005. ISSN: 14710684, doi:10.1017/S1471068404002273.