Irina Trubitsyna

144 papers A* 18A 5B 4C 15Misc 3Journal 44Unranked 49
YearRankTypeTitle / Venue / Authors
2026 A* conf
Conditional Probabilistic Bipolar Argumentation Framework: Explanations, Complexity and Approximation.
AAAI
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Irina Trubitsyna
2026 J jnl
LLM-based Argument Mining meets Argumentation and Description Logics: a Unified Framework for Reasoning about Debates.
CoRR
Gianvincenzo Alfano, Sergio Greco, Lucio La Cava, Stefano Francesco Monea, Irina Trubitsyna
2026 — ed.
Proceedings of the 2nd Workshop on Green-Aware Artificial Intelligence (Green-Aware AI@ECAI 2025) co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, 25-30 October 2025.
Green-Aware AI@ECAI
Riccardo Cantini, Luca Ferragina, Davide Mario Longo, Anastasija Nikiforova, Simona Nisticò, Reza Shahbazian, Dipanwita Thakur, Irina Trubitsyna, Giovanna Varricchio
2026 J jnl
Semantic-aware data imputation in dynamic relational databases via pre-trained language models.
Inf. Fusion
Gianvincenzo Alfano, Sergio Greco, Lucio La Cava, Tariq Mahmood, Irina Trubitsyna
2025 C conf
A Total Variation Regularized Framework for Epilepsy-Related MRI Image Segmentation.
IDEAS
Mehdi Rabiee, Sergio Greco, Reza Shahbazian, Irina Trubitsyna
2025 J jnl
A Total Variation Regularized Framework for Epilepsy-Related MRI Image Segmentation.
CoRR
Mehdi Rabiee, Sergio Greco, Reza Shahbazian, Irina Trubitsyna
2025 — conf
AI-Driven Clinical Reporting: A Case Study on IQLINIQ.
SEBD
Seyedeh Leili Mirtaheri, Reza Shahbazian, Narges Movahedkor, Irina Trubitsyna, Sergio Greco
2025 J jnl
Constraints and lifting-based (conditional) preferences in abstract argumentation.
Artif. Intell.
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2025 J jnl
Decentralized federated learning meets Physics-Informed Neural Networks.
Knowl. Based Syst.
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna
2025 A* conf
Even-if Explanations: Formal Foundations, Priorities and Complexity.
AAAI
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna
2025 A* conf
Extending Abstract Argumentation Frameworks with Knowledge Bases.
KR
Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Francesco Parisi, Irina Trubitsyna
2025 A* conf
Featured Argumentation Framework: Semantics and Complexity.
IJCAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2025 J jnl
Joint explainable and fair AI in healthcare.
BMC Medical Informatics Decis. Mak.
Reza Shahbazian, Irina Trubitsyna, Seyedeh Leili Mirtaheri
2025 — conf
S-PIC4CHU: Semantics-Enriched Techniques for Data Preparation in Data Science.
ITADATA
Gianvincenzo Alfano, Ilaria Bartolini, Diego Calvanese, Paolo Ciaccia, Sergio Greco, Davide Lanti, Pasquale Leonardo Lazzaro, Emilia Lenzi, Davide Martinenghi, Cristian Molinaro, Marco Patella, Letizia Tanca, Riccardo Torlone, Irina Trubitsyna
2025 — conf
S-PIC4CHU: Semantics-based Provenance, Integrity, and Curation for Consistent, High-quality, and Unbiased Data Science.
SEBD
Gianvincenzo Alfano, Ilaria Bartolini, Diego Calvanese, Paolo Ciaccia, Sergio Greco, Davide Lanti, Emilia Lenzi, Davide Martinenghi, Cristian Molinaro, Marco Patella, Letizia Tanca, Riccardo Torlone, Irina Trubitsyna
2025 — conf
Theoretical basis and computational complexity of semifactual explanations.
Ital-IA
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna
2024 — conf
ASYDE: An Argumentation-based System for classifYing Driving bEhaviors.
SEBD
Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Giuseppina Monterosso, Irina Trubitsyna
2024 J jnl
Abstract argumentation frameworks with strong and weak constraints.
Artif. Intell.
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Irina Trubitsyna
2024 A* conf
Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework.
AAAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 A* conf
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation.
KR
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 J jnl
Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation.
CoRR
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 J jnl
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping.
CoRR
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 J jnl
Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping.
Theory Pract. Log. Program.
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 J jnl
Even-if Explanations: Formal Foundations, Priorities and Complexity.
CoRR
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Reza Shahbazian, Irina Trubitsyna
2024 — conf
Fairness-Driven Explainable Learning in Multi-Agent Reinforcement Learning.
AAPEI@ECAI
Tariq Mahmood, Reza Shahbazian, Irina Trubitsyna
2024 A* conf
General Epistemic Abstract Argumentation Framework: Semantics and Complexity.
IJCAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 — conf
On Counterfactual and Semifactual Explanations in Abstract Argumentation (Short paper).
DP@AI*IA
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 — conf
On Explainable Acceptance in Probabilistic and Incomplete Abstract Argumentation Frameworks.
AI³@AI*IA
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 A conf
On General Epistemic Abstract Argumentation Frameworks.
AAMAS
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 — conf
On the General Epistemic Abstract Argumentation Framework.
AAPEI@ECAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2024 J jnl
Querying Data Exchange Settings Beyond Positive Queries.
Theory Pract. Log. Program.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2023 A* conf
Abstract Argumentation Framework with Conditional Preferences.
AAAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 J jnl
An approximation algorithm for querying inconsistent knowledge bases.
Intell. Syst. Appl.
Gianvincenzo Alfano, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2023 A conf
Complexity of Verification and Existence Problems in Epistemic Argumentation Framework.
ECAI
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Irina Trubitsyna
2023 — conf
DEGAIN as tool for Missing Data Imputation.
SEBD
Reza Shahbazian, Irina Trubitsyna
2023 A conf
Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity.
AAMAS
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 J jnl
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks.
Artif. Intell.
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 J jnl
Human Sensing by Using Radio Frequency Signals: A Survey on Occupancy and Activity Detection.
IEEE Access
Reza Shahbazian, Irina Trubitsyna
2023 J jnl
On acceptance conditions in abstract argumentation frameworks.
Inf. Sci.
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 — conf
On the Abstract Reasoning Framework.
DP@AI*IA
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 — conf
On the Conditional Preference-based Argumentation Framework.
NMR
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 — conf
On the Extended Preference-based Constrained Argumentation Framework.
NMR
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 — conf
On the Verification and Existence Problems in Epistemic Argumentation Framework.
AI³@AI*IA
Gianvincenzo Alfano, Sergio Greco, Domenico Mandaglio, Francesco Parisi, Irina Trubitsyna
2023 A* conf
Preferences and Constraints in Abstract Argumentation.
IJCAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2023 — conf
Querying Data Exchange Settings Beyond Positive Queries.
SEBD
Marco Calautti, Sergio Greco, Hebatalla Hammad, Tariq Mahmood, Cristian Molinaro, Irina Trubitsyna
2023 J jnl
Querying Data Exchange Settings Beyond Positive Queries.
CoRR
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2023 — conf
Stable Semantics for Epistemic Abstract Argumentation Framework.
Arg&App
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2022 — conf
Abstract Argumentation Framework with Priority Rules and Preferences.
DP@AI*IA
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2022 — conf
Active Integrity Constraints with Existential Quantification.
SEBD
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2022 J jnl
DEGAIN: Generative-Adversarial-Network-Based Missing Data Imputation.
Inf.
Reza Shahbazian, Irina Trubitsyna
2022 A* conf
Incomplete Argumentation Frameworks: Properties and Complexity.
AAAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2022 A* conf
On Preferences and Priority Rules in Abstract Argumentation.
IJCAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2022 — conf
On Properties and Complexity of Incomplete Argumentation Framework.
AI³@AI*IA
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2022 J jnl
Preference-based inconsistency-tolerant query answering under existential rules.
Artif. Intell.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2022 J jnl
Query answering over inconsistent knowledge bases: A probabilistic approach.
Theor. Comput. Sci.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2022 — conf
Querying Data Exchange Settings Beyond Positive Queries.
Datalog
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2021 A* conf
Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity.
AAAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2021 A* conf
Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract).
IJCAI
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2021 J jnl
Existential active integrity constraints.
Expert Syst. Appl.
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2021 — conf
On Weak Constrained Argumentation Frameworks.
AI³@AI*IA
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2021 — conf
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).
SEBD
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2020 — ch.
Approximate Query Answering over Incomplete Data.
Complex Pattern Mining
Nicola Fiorentino, Cristian Molinaro, Irina Trubitsyna
2020 C conf
Consistent query answering with prioritized active integrity constraints.
IDEAS
Marco Calautti, Luciano Caroprese, Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2020 A* conf
Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.
KR
Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2020 J jnl
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach.
CoRR
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2020 J jnl
On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach.
Theory Pract. Log. Program.
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2020 — conf
On the Semantics of Recursive Bipolar AFs and Partial Stable Models.
AI³@AI*IA
Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Irina Trubitsyna
2020 A* conf
Preference-based Inconsistency-Tolerant Query Answering under Existential Rules.
KR
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2020 — conf
Probabilistic Answers over Inconsistent Knowledge Bases.
SEBD
Marco Calautti, Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2020 — conf
Smart Data Exchange.
SEBD
Sergio Greco, Michele Ianni, Elio Masciari, Domenico Saccà, Irina Trubitsyna
2019 — conf
A System Prototype for Approximate Query Answering over Incomplete Data.
SEBD
Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2019 J jnl
A logical framework for view updating in indefinite databases.
Log. J. IGPL
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2019 — conf
ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases.
AIKE
Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2019 C conf
An Effective System for User Queries Assistance.
FQAS
Elio Masciari, Domenico Saccà, Irina Trubitsyna
2019 J jnl
Approximation algorithms for querying incomplete databases.
Inf. Syst.
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2019 A conf
HIKE: A Step Beyond Data Exchange.
ER
Sergio Greco, Elio Masciari, Domenico Saccà, Irina Trubitsyna
2019 C conf
Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases.
FQAS
Nicola Fiorentino, Cristian Molinaro, Irina Trubitsyna
2019 — conf
Simple User Assistance by Data Posting.
AIKE
Elio Masciari, Domenico Saccà, Irina Trubitsyna
2019 — conf
Simple User Assistance by Data Posting.
SEBD
Elio Masciari, Domenico Saccà, Irina Trubitsyna
2019 C conf
Simplified data posting in practice.
IDEAS
Elio Masciari, Irina Trubitsyna, Domenico Saccà
2018 — conf
ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases.
SIGMOD Conference
Nicola Fiorentino, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2018 C conf
Algorithms for Computing Approximate Certain Answers over Incomplete Databases.
IDEAS
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2018 — conf
Approximate Query Answering over Inconsistent Knowledge Bases.
SEBD
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2018 A* conf
Computing Approximate Query Answers over Inconsistent Knowledge Bases.
IJCAI
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2018 — ch.
Dealing with Inconsistency in Databases: An Overview.
A Comprehensive Guide Through the Italian Database Research
Marco Calautti, Luciano Caroprese, Bettina Fazzinga, Sergio Flesca, Filippo Furfaro, Sergio Greco, Cristian Molinaro, Francesco Parisi, Andrea Pugliese, Domenico Saccà, Irina Trubitsyna, Ester Zumpano
2018 J jnl
Evaluating User Behaviour in a Cooperative Environment.
Inf.
Enrico Bazzi, Nunziato Cassavia, Davide Chiggiato, Elio Masciari, Domenico Saccà, Alessandra Spada, Irina Trubitsyna
2018 C conf
Evaluating the Influence of User Searches on Neighbors.
WETICE
Nunziato Cassavia, Elio Masciari, Chiara Pulice, Domenico Saccà, Irina Trubitsyna
2017 — conf
Approximation Algorithms for Computing Certain Answers over Incomplete Databases.
SEBD
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2017 — conf
Computing Approximate Certain Answers over Incomplete Databases.
AMW
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2017 J jnl
Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.
ACM Trans. Comput. Log.
Marco Calautti, Sergio Greco, Irina Trubitsyna
2016 J jnl
Exploiting Equality Generating Dependencies in Checking Chase Termination.
Proc. VLDB Endow.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2016 — conf
Leveraging Equality Generating Dependencies for Chase Termination.
SEBD
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2016 J jnl
Using linear constraints for logic program termination analysis.
Theory Pract. Log. Program.
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 J jnl
Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques.
IEEE Trans. Knowl. Data Eng.
Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2015 — conf
Checking Termination of Datalog with Function Symbols Through Linear Constraints.
SEBD
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 J jnl
Checking termination of bottom-up evaluation of logic programs with function symbols.
Theory Pract. Log. Program.
Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2015 A* conf
Logic Program Termination Analysis Using Atom Sizes.
IJCAI
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 — conf
Rewriting-based Check of Chase Termination.
AMW
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2015 J jnl
Using Linear Constraints for Logic Program Termination Analysis.
CoRR
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2014 J jnl
A Measure of Arbitrariness in Abductive Explanations.
CoRR
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2014 J jnl
A Measure of Arbitrariness in Abductive Explanations.
Theory Pract. Log. Program.
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2014 J jnl
Checking Termination of Bottom-Up Evaluation of Logic Programs with Function Symbols.
CoRR
Marco Calautti, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2014 — conf
Checking Termination of Logic Programs with Function Symbols through Linear Constraints.
RuleML
Marco Calautti, Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2014 — conf
Termination Criteria for Datalog with Function Symbols.
SEBD
Marco Calautti, Cristian Molinaro, Chiara Pulice, Irina Trubitsyna
2013 A* conf
Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.
IJCAI
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2013 C conf
Detecting decidable classes of finitely ground logic programs with function symbols.
PPDP
Marco Calautti, Sergio Greco, Irina Trubitsyna
2013 J jnl
Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments.
Theory Pract. Log. Program.
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2013 — conf
The View-Update Problem for Indefinite Databases.
SEBD
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2012 — conf
On the Termination of Logic Programs with Function Symbols.
ICLP (Technical Communications)
Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2012 — conf
Stratification-based Criteria for Checking Chase Termination.
SEBD
Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2012 J jnl
The View-Update Problem for Indefinite Databases
CoRR
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2012 B conf
The View-Update Problem for Indefinite Databases.
JELIA
Luciano Caroprese, Irina Trubitsyna, Miroslaw Truszczynski, Ester Zumpano
2011 — conf
ChaseT: A Tool For Checking Chase Termination.
SEBD
Andrea De Francesco, Francesca Spezzano, Irina Trubitsyna
2011 — conf
ChaseT: A Tool for Checking Chase Termination.
SUM
Andrea De Francesco, Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2011 J jnl
Stratification Criteria and Rewriting Techniques for Checking Chase Termination.
Proc. VLDB Endow.
Sergio Greco, Francesca Spezzano, Irina Trubitsyna
2010 J jnl
NP Datalog: A logic language for expressing search and optimization problems.
Theory Pract. Log. Program.
Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2010 — conf
Querying and Updating Inconsistent Databases (Extended Abstract).
SEBD
Sergio Greco, Cristian Molinaro, Francesca Spezzano, Irina Trubitsyna
2009 — ch.
Consistent Queries over Databases with Integrity Constraints.
Database Technologies: Concepts, Methodologies, Tools, and Applications
Luciano Caroprese, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2009 J jnl
NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems
CoRR
Sergio Greco, Cristian Molinaro, Irina Trubitsyna, Ester Zumpano
2007 Misc conf
A framework for prioritized reasoning based on the choice evaluation.
SAC
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
2007 — conf
Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.
STM@ESORICS
Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
2007 A conf
Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.
CP
Stefano Bistarelli, Pamela Peretti, Irina Trubitsyna
2007 — conf
Implementing Prioritized Reasoning in Logic Programming.
ICEIS (2)
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
2007 J jnl
On the Semantics of Logic Programs with Preferences.
J. Artif. Intell. Res.
Sergio Greco, Irina Trubitsyna, Ester Zumpano
2007 Misc conf
Prioritized Reasoning in Logic Programming.
FLAIRS
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
2007 B conf
View Updating Through Active Integrity Constraints.
ICLP
Luciano Caroprese, Irina Trubitsyna, Ester Zumpano
2006 C conf
Implementation and Experimentation of the Logic Language NP Datalog.
DEXA
Sergio Greco, Cristian Molinaro, Irina Trubitsyna
2006 B conf
On the Semantics of Logic Programs with Preferences.
JELIA
Sergio Greco, Irina Trubitsyna, Ester Zumpano
2006 C conf
Preferred Generalized Answers for Inconsistent Databases.
ISMIS
Luciano Caroprese, Sergio Greco, Irina Trubitsyna, Ester Zumpano
2005 C conf
Aggregates and Preferences in Logic Programming.
ISMIS
Sergio Greco, Irina Trubitsyna, Ester Zumpano
2005 — —
Logic languages and optimization techniques for decision, search and optimization problems.
Irina Trubitsyna
2005 C conf
NP Datalog: A Logic Language for NP Search and Optimization Queries.
IDEAS
Sergio Greco, Irina Trubitsyna, Ester Zumpano
2005 J jnl
Optimization of bound disjunctive queries with constraints.
Theory Pract. Log. Program.
Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano
2005 — ch.
Preferred Repairs for Inconsistent Databases.
Encyclopedia of Database Technologies and Applications
Sergio Greco, Cristina Sirangelo, Irina Trubitsyna, Ester Zumpano
2004 — conf
A System Supporting Website Navigation.
SEBD
Sergio Greco, Andrea Tagarelli, Irina Trubitsyna, Ester Zumpano
2004 J jnl
Combining linear programming and clustering techniques for the classification of research centers.
AI Commun.
Andrea Tagarelli, Irina Trubitsyna, Sergio Greco
2004 C conf
Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases.
DEXA
Sergio Greco, Cristina Sirangelo, Irina Trubitsyna, Ester Zumpano
2004 — conf
Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques.
ICEIS (2)
Andrea Tagarelli, Irina Trubitsyna, Sergio Greco
2004 Misc conf
On the semantics and expressive power of Datalog-like languages for NP search and optimization problems.
SAC
Ester Zumpano, Sergio Greco, Irina Trubitsyna, Pierangelo Veltri
2004 J jnl
Optimization of Bound Disjunctive Queries with Constraints
CoRR
Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano
2003 — conf
Mining Scientific Results to Measure the Efficiency of Research Centers.
SEBD
Andrea Tagarelli, Irina Trubitsyna, Antonella Mecchia, Tommaso Mostardi, R. Pupo
2003 C conf
Preferred Repairs for Inconsistent Databases.
IDEAS
Sergio Greco, Cristina Sirangelo, Irina Trubitsyna, Ester Zumpano
2002 B conf
Query Optimization of Disjunctive Databases with Constraints through Binding Propagation.
LPAR
Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano
2002 C conf
Translating Datalog-Like Optimization Queries into ILOG Programs.
LOPSTR
Gianluigi Greco, Sergio Greco, Irina Trubitsyna, Ester Zumpano