Personal information

Other IDs

Scopus Author ID: 6701679186
SciProfiles: 555637

Countries

Italy

Activities

Collapse all

Employment (1)

University of Calabria: Cosenza, IT

2005-03-01 to present (DIMES)
Employment
Source: Self-asserted source
Irina TRUBITSYNA

Works (50 of 51)

Items per page:
Page 1 of 2

Abstract argumentation frameworks with strong and weak constraints

Artificial Intelligence
2024-11 | Journal article
DOI: 10.1016/j.artint.2024.104205
Contributors: Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna
Source: check_circle
Crossref

Human Sensing by Using Radio Frequency Signals: A Survey on Occupancy and Activity Detection

IEEE Access
2023 | Journal article
DOI: 10.1109/ACCESS.2023.3269843
Contributors: Reza Shahbazian; Irina Trubitsyna
Source: check_circle
Crossref

DEGAIN: Generative-Adversarial-Network-Based Missing Data Imputation

Information
2022-12-12 | Journal article
DOI: 10.3390/info13120575
Contributors: Reza Shahbazian; Irina Trubitsyna
Source: check_circle
Crossref
grade
Preferred source (of 2)‎

Preference-Based Inconsistency-Tolerant Query Answering under Existential Rules

Artificial Intelligence
2022-08 | Journal article
DOI: 10.1016/j.artint.2022.103772
Contributors: Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna
Source: check_circle
Crossref

Approximation algorithms for querying incomplete databases

Information Systems
2019-12 | Journal article
DOI: 10.1016/j.is.2019.03.010
Contributors: Sergio Greco; Cristian Molinaro; Irina Trubitsyna
Source: check_circle
Crossref

Evaluating User Behaviour in a Cooperative Environment

Information
2018-11 | Journal article | Author
DOI: 10.3390/info9120303
Contributors: Enrico Bazzi; Nunziato Cassavia; Davide Chiggiato; Elio Masciari; Domenico Saccà; Alessandra Spada; Irina TRUBITSYNA
Source: check_circle
Multidisciplinary Digital Publishing Institute
grade
Preferred source (of 2)‎

Computing approximate certain answers over incomplete databases

CEUR Workshop Proceedings
2017 | Conference paper
EID:

2-s2.0-85029217635
Contributors: Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Exploiting equality generating dependencies in checking chase termination

Proceedings of the VLDB Endowment
2016 | Conference paper
EID:

2-s2.0-84992284677
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Leveraging equality generating dependencies for chase termination

Proceedings of the 24th Italian Symposium on Advanced Database Systems, SEBD 2016
2016 | Conference paper
EID:

2-s2.0-85013795680
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Using linear constraints for logic program termination analysis

Theory and Practice of Logic Programming
2016 | Journal article
DOI: 10.1017/S1471068416000077
EID:

2-s2.0-84962423886
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Checking chase termination: Cyclicity analysis and rewriting techniques

IEEE Transactions on Knowledge and Data Engineering
2015 | Journal article
DOI: 10.1109/TKDE.2014.2339816
EID:

2-s2.0-84922888110
Contributors: Greco, S.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Checking termination of bottom-up evaluation of logic programs with function symbols

Theory and Practice of Logic Programming
2015 | Journal article
DOI: 10.1017/S1471068414000623
EID:

2-s2.0-84948587841
Contributors: Calautti, M.; Greco, S.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Checking termination of datalog with function symbols through linear constraints

23rd Italian Symposium on Advanced Database Systems, SEBD 2015
2015 | Conference paper
EID:

2-s2.0-84971440952
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Logic program termination analysis using atom sizes

IJCAI International Joint Conference on Artificial Intelligence
2015 | Conference paper
EID:

2-s2.0-84949764563
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Rewriting-based check of chase termination

CEUR Workshop Proceedings
2015 | Conference paper
EID:

2-s2.0-84937510397
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

A measure of arbitrariness in abductive explanations

Theory and Practice of Logic Programming
2014 | Journal article
DOI: 10.1017/S1471068414000271
EID:

2-s2.0-84992232468
Contributors: Caroprese, L.; Trubitsyna, I.; Truszczyński, M.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Checking termination of logic programs with function symbols through linear constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2014 | Book
DOI: 10.1007/978-3-319-09870-8_7
EID:

2-s2.0-84905252887
Contributors: Calautti, M.; Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Termination criteria for datalog with function symbols

22nd Italian Symposium on Advanced Database Systems, SEBD 2014
2014 | Conference paper
EID:

2-s2.0-84914145396
Contributors: Calautti, M.; Molinaro, C.; Pulice, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Bounded programs: A new decidable class of logic programs with function symbols

IJCAI International Joint Conference on Artificial Intelligence
2013 | Conference paper
EID:

2-s2.0-84896062817
Contributors: Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Detecting decidable classes of finitely ground logic programs with function symbols

Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013
2013 | Conference paper
DOI: 10.1145/2505879.2505883
EID:

2-s2.0-84885228359
Contributors: Calautti, M.; Greco, S.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments

Theory and Practice of Logic Programming
2013 | Journal article
DOI: 10.1017/S147106841300046X
EID:

2-s2.0-84992260363
Contributors: Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

The view-update problem for indefinite databases

21st Italian Symposium on Advanced Database Systems, SEBD 2013
2013 | Conference paper
EID:

2-s2.0-84903512170
Contributors: Caroprese, L.; Trubitsyna, I.; Truszczyński, M.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

On the termination of logic programs with function symbols

Leibniz International Proceedings in Informatics, LIPIcs
2012 | Conference paper
DOI: 10.4230/LIPIcs.ICLP.2012.323
EID:

2-s2.0-84880238522
Contributors: Greco, S.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Stratification-based criteria for checking chase termination

Proceedings of the 20th Italian Symposium on Advanced Database Systems, SEBD 2012
2012 | Conference paper
EID:

2-s2.0-84873604210
Contributors: Greco, S.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

The view-update problem for indefinite databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012 | Book
DOI: 10.1007/978-3-642-33353-8_11
EID:

2-s2.0-84866943982
Contributors: Caroprese, L.; Trubitsyna, I.; Truszczyński, M.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

ChaseT: A tool for checking chase termination

SEBD 2011 - Proceedings of the 19th Italian Symposium on Advanced Database Systems
2011 | Conference paper
EID:

2-s2.0-84873623754
Contributors: De Francesco, A.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

ChaseT: A tool for checking chase termination

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2011 | Book
DOI: 10.1007/978-3-642-23963-2_40
EID:

2-s2.0-80054084329
Contributors: De Francesco, A.; Greco, S.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Stratification criteria and rewriting techniques for checking chase termination

Proceedings of the VLDB Endowment
2011 | Conference paper
EID:

2-s2.0-80054070200
Contributors: Greco, S.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

NP Datalog: A logic language for expressing NP search and optimization problems

Theory and Practice of Logic Programming
2010 | Journal article
DOI: 10.1017/S1471068409990251
EID:

2-s2.0-77951256621
Contributors: Greco, S.; Molinaro, C.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Querying and updating inconsistent databases

SEBD 2010 - Proceedings of the 18th Italian Symposium on Advanced Database Systems
2010 | Conference paper
EID:

2-s2.0-84890951531
Contributors: Greco, S.; Molinaro, C.; Spezzano, F.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Analyzing Security Scenarios Using Defence Trees and Answer Set Programming

Electronic Notes in Theoretical Computer Science
2008 | Journal article
DOI: 10.1016/j.entcs.2007.12.021
EID:

2-s2.0-39149136534
Contributors: Bistarelli, S.; Peretti, P.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

A framework for prioritized reasoning based on the choice evaluation

Proceedings of the ACM Symposium on Applied Computing
2007 | Conference paper
DOI: 10.1145/1244002.1244017
EID:

2-s2.0-35348919078
Contributors: Caroprese, L.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Answer set optimization for and/or composition of CP-nets: A security scenario

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38149035934
Contributors: Bistarelli, S.; Peretti, P.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Implementing prioritized reasoning in logic programming

ICEIS 2007 - 9th International Conference on Enterprise Information Systems, Proceedings
2007 | Conference paper
EID:

2-s2.0-38349170629
Contributors: Caroprese, L.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

On the semantics of logic programs with preferences

Journal of Artificial Intelligence Research
2007 | Journal article
EID:

2-s2.0-38349177831
Contributors: Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Prioritized reasoning in logic programming

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007
2007 | Conference paper
EID:

2-s2.0-37349066524
Contributors: Caroprese, L.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

View updating through active integrity constraints

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007 | Book
EID:

2-s2.0-38149105954
Contributors: Caroprese, L.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Implementation and experimentation of the logic languageNP Datalog

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
EID:

2-s2.0-33749410364
Contributors: Greco, S.; Molinaro, C.; Trubitsyna, I.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

On the semantics of logic programs with preferences

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
EID:

2-s2.0-33750079268
Contributors: Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Preferred generalized answers for inconsistent databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006 | Book
EID:

2-s2.0-33750297436
Contributors: Caroprese, L.; Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Aggregates and preferences in logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2005 | Book
EID:

2-s2.0-26944476653
Contributors: Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

NP Datalog: A logic language for NP search and optimization queries

Proceedings of the International Database Engineering and Applications Symposium, IDEAS
2005 | Conference paper
DOI: 10.1109/IDEAS.2005.38
EID:

2-s2.0-79952010159
Contributors: Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Optimization of bound disjunctive queries with constraints

Theory and Practice of Logic Programming
2005 | Journal article
DOI: 10.1017/S1471068404002273
EID:

2-s2.0-27744452475
Contributors: Greco, G.; Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Preferred repairs for inconsistent databases

Encyclopedia of Database Technologies and Applications
2005 | Book
DOI: 10.4018/978-1-59140-560-3.ch080
EID:

2-s2.0-84898244883
Contributors: Greco, S.; Sirangelo, C.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Combining linear programming and clustering techniques for the classification of research centers

AI Communications
2004 | Journal article
EID:

2-s2.0-21844462080
Contributors: Tagarelli, A.; Trubitsyna, I.; Greco, S.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Feasibility conditions and preference criteria in querying and repairing inconsistent databases

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-35048885219
Contributors: Greco, S.; Sirangelo, C.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Mining scientific results through the combined use of clustering and linear programming techniques

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems
2004 | Conference paper
EID:

2-s2.0-8444226370
Contributors: Tagarelli, A.; Trubitsyna, I.; Greco, S.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

On the semantics and expressive power of datalog-like languages for NP search and optimization problems

Proceedings of the ACM Symposium on Applied Computing
2004 | Conference paper
EID:

2-s2.0-2442562538
Contributors: Zumpano, E.; Greco, S.; Trubitsyna, I.; Veltri, P.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Preferred repairs for inconsistent databases

Proceedings of the International Database Engineering and Applications Symposium, IDEAS
2003 | Conference paper
DOI: 10.1109/IDEAS.2003.1214927
EID:

2-s2.0-84873244111
Contributors: Greco, S.; Sirangelo, C.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier

Translating datalog-like optimization queries into ILOG programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2003 | Book
EID:

2-s2.0-35248883452
Contributors: Greco, G.; Greco, S.; Trubitsyna, I.; Zumpano, E.
Source: Self-asserted source
Irina TRUBITSYNA via Scopus - Elsevier
Items per page:
Page 1 of 2

Peer review (4 reviews for 2 publications/grants)

Review activity for Applied soft computing. (2)
Review activity for Information and computation. (2)
How many people are using ORCID?