Irina Trubitsyna
Orcid: 0000-0002-9031-0672
According to our database1,
Irina Trubitsyna
authored at least 109 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
5
10
15
1
1
1
1
4
4
3
1
1
2
1
1
2
2
1
1
1
1
1
1
1
1
5
11
5
4
5
7
5
2
1
3
2
2
2
2
1
6
2
2
4
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Theory Pract. Log. Program., March, 2024
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping.
CoRR, 2024
Artif. Intell., 2024
Proceedings of the 32nd Symposium of Advanced Database Systems, 2024
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation.
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks.
Artif. Intell., October, 2023
Intell. Syst. Appl., 2023
Human Sensing by Using Radio Frequency Signals: A Survey on Occupancy and Activity Detection.
IEEE Access, 2023
Proceedings of the 31st Symposium of Advanced Database Systems, 2023
Proceedings of the 31st Symposium of Advanced Database Systems, 2023
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023
Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023
Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Complexity of Verification and Existence Problems in Epistemic Argumentation Framework.
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity.
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023
2022
Theor. Comput. Sci., 2022
Artif. Intell., 2022
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022
Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract).
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021
2020
Proceedings of the Complex Pattern Mining - New Challenges, Methods and Applications, 2020
Theory Pract. Log. Program., 2020
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Proceedings of the IDEAS 2020: 24th International Database Engineering & Applications Symposium, 2020
Proceedings of the Workshop on Advances In Argumentation In Artificial Intelligence 2020 co-located with the 19th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2020), 2020
2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019
Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases.
Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019
Proceedings of the Conceptual Modeling - 38th International Conference, 2019
Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019
2018
Proceedings of the 27th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2018
ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases.
Proceedings of the 2018 International Conference on Management of Data, 2018
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018
Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018
2017
ACM Trans. Comput. Log., 2017
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017
2016
Theory Pract. Log. Program., 2016
Proc. VLDB Endow., 2016
Leveraging Equality Generating Dependencies for Chase Termination.
Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016
2015
Checking termination of bottom-up evaluation of logic programs with function symbols.
Theory Pract. Log. Program., 2015
IEEE Trans. Knowl. Data Eng., 2015
Checking Termination of Datalog with Function Symbols Through Linear Constraints.
Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015
2014
Theory Pract. Log. Program., 2014
Termination Criteria for Datalog with Function Symbols.
Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014
Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
Proceedings of the Rules on the Web. From Theory to Applications, 2014
2013
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments.
Theory Pract. Log. Program., 2013
The View-Update Problem for Indefinite Databases.
Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013
Proceedings of the IJCAI 2013, 2013
2012
Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012
2011
Proc. VLDB Endow., 2011
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011
ChaseT: A Tool For Checking Chase Termination.
Proceedings of the Sistemi Evoluti per Basi di Dati, 2011
2010
Theory Pract. Log. Program., 2010
Querying and Updating Inconsistent Databases (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010
2009
CoRR, 2009
Proceedings of the Database Technologies: Concepts, 2009
2007
Proceedings of the 3rd International Workshop on Security and Trust Management, 2007
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of the Logic Programming, 23rd International Conference, 2007
Implementing Prioritized Reasoning in Logic Programming.
Proceedings of the ICEIS 2007, 2007
Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007
Proceedings of the Principles and Practice of Constraint Programming, 2007
2006
Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006
Proceedings of the Database and Expert Systems Applications, 17th International Conference, 2006
2005
Logic languages and optimization techniques for decision, search and optimization problems.
PhD thesis, 2005
Theory Pract. Log. Program., 2005
Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005
Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005
Proceedings of the Encyclopedia of Database Technologies and Applications, 2005
2004
Combining linear programming and clustering techniques for the classification of research centers.
AI Commun., 2004
A System Supporting Website Navigation.
Proceedings of the Twelfth Italian Symposium on Advanced Database Systems, 2004
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.
Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004
Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques.
Proceedings of the ICEIS 2004, 2004
Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases.
Proceedings of the Database and Expert Systems Applications, 15th International Conference, 2004
2003
Mining Scientific Results to Measure the Efficiency of Research Centers.
Proceedings of the Eleventh Italian Symposium on Advanced Database Systems, 2003
Proceedings of the 7th International Database Engineering and Applications Symposium (IDEAS 2003), 2003
2002
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.
Proceedings of the Logic for Programming, 2002
Proceedings of the Logic Based Program Synthesis and Tranformation, 2002