Translating Datalog-Like Optimization Queries into ILOG Programs. - Gianluigi Greco; Sergio Greco; Irina Trubitsyna; Ester Zumpano (LOPSTR, 2002)

Query Optimization of Disjunctive Databases with Constraints through Binding Propagation. - Gianluigi Greco; Sergio Greco; Irina Trubitsyna; Ester Zumpano (LPAR, 2002)

Preferred Repairs for Inconsistent Databases. - Sergio Greco; Cristina Sirangelo; Irina Trubitsyna; Ester Zumpano (IDEAS, 2003)

Mining Scientific Results to Measure the Efficiency of Research Centers. - Andrea Tagarelli; Irina Trubitsyna; Antonella Mecchia; Tommaso Mostardi; R. Pupo (SEBD, 2003)

Feasibility Conditions and Preference Criteria in Querying and Repairing Inconsistent Databases. - Sergio Greco; Cristina Sirangelo; Irina Trubitsyna; Ester Zumpano (DEXA, 2004)

Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques. - Andrea Tagarelli; Irina Trubitsyna; Sergio Greco (ICEIS (2), 2004)

On the semantics and expressive power of Datalog-like languages for NP search and optimization problems. - Ester Zumpano; Sergio Greco; Irina Trubitsyna; Pierangelo Veltri (SAC, 2004)

A System Supporting Website Navigation. - Sergio Greco; Andrea Tagarelli; Irina Trubitsyna; Ester Zumpano (SEBD, 2004)

Combining linear programming and clustering techniques for the classification of research centers. - Andrea Tagarelli; Irina Trubitsyna; Sergio Greco (AI Commun., 2004)

Preferred Repairs for Inconsistent Databases. - Sergio Greco; Cristina Sirangelo; Irina Trubitsyna; Ester Zumpano (Encyclopedia of Database Technologies and Applications, 2005)

NP Datalog: A Logic Language for NP Search and Optimization Queries. - Sergio Greco; Irina Trubitsyna; Ester Zumpano (IDEAS, 2005)

Aggregates and Preferences in Logic Programming. - Sergio Greco; Irina Trubitsyna; Ester Zumpano (ISMIS, 2005)

Optimization of bound disjunctive queries with constraints. - Gianluigi Greco; Sergio Greco; Irina Trubitsyna; Ester Zumpano (Theory Pract. Log. Program., 2005)

Logic languages and optimization techniques for decision, search and optimization problems. - Irina Trubitsyna (2005)

Implementation and Experimentation of the Logic Language NP Datalog. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (DEXA, 2006)

Preferred Generalized Answers for Inconsistent Databases. - Luciano Caroprese; Sergio Greco; Irina Trubitsyna; Ester Zumpano (ISMIS, 2006)

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario. - Stefano Bistarelli; Pamela Peretti; Irina Trubitsyna (CP, 2007)

Prioritized Reasoning in Logic Programming. - Luciano Caroprese; Irina Trubitsyna; Ester Zumpano (FLAIRS, 2007)

Implementing Prioritized Reasoning in Logic Programming. - Luciano Caroprese; Irina Trubitsyna; Ester Zumpano (ICEIS (2), 2007)

View Updating Through Active Integrity Constraints. - Luciano Caroprese; Irina Trubitsyna; Ester Zumpano (ICLP, 2007)

A framework for prioritized reasoning based on the choice evaluation. - Luciano Caroprese; Irina Trubitsyna; Ester Zumpano (SAC, 2007)

Analyzing Security Scenarios Using Defence Trees and Answer Set Programming. - Stefano Bistarelli; Pamela Peretti; Irina Trubitsyna (STM@ESORICS, 2007)

On the Semantics of Logic Programs with Preferences. - Sergio Greco; Irina Trubitsyna; Ester Zumpano (J. Artif. Intell. Res., 2007)

Consistent Queries over Databases with Integrity Constraints. - Luciano Caroprese; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (Database Technologies: Concepts, Methodologies, Tools, and Applications, 2009)

NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems - Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (CoRR, 2009)

Querying and Updating Inconsistent Databases (Extended Abstract). - Sergio Greco; Cristian Molinaro; Francesca Spezzano; Irina Trubitsyna (SEBD, 2010)

NP Datalog: A logic language for expressing search and optimization problems. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (Theory Pract. Log. Program., 2010)

ChaseT: A Tool For Checking Chase Termination. - Andrea De Francesco; Francesca Spezzano; Irina Trubitsyna (SEBD, 2011)

ChaseT: A Tool for Checking Chase Termination. - Andrea De Francesco; Sergio Greco; Francesca Spezzano; Irina Trubitsyna (SUM, 2011)

Stratification Criteria and Rewriting Techniques for Checking Chase Termination. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (Proc. VLDB Endow., 2011)

On the Termination of Logic Programs with Function Symbols. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (ICLP (Technical Communications), 2012)

Stratification-based Criteria for Checking Chase Termination. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (SEBD, 2012)

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2013)

The View-Update Problem for Indefinite Databases. - Luciano Caroprese; Irina Trubitsyna; Miroslaw Truszczynski; Ester Zumpano (SEBD, 2013)

Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2013)

Checking Termination of Logic Programs with Function Symbols through Linear Constraints. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (RuleML, 2014)

Termination Criteria for Datalog with Function Symbols. - Marco Calautti; Cristian Molinaro; Chiara Pulice; Irina Trubitsyna (SEBD, 2014)

A Measure of Arbitrariness in Abductive Explanations. - Luciano Caroprese; Irina Trubitsyna; Miroslaw Truszczynski; Ester Zumpano (Theory Pract. Log. Program., 2014)

Rewriting-based Check of Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AMW, 2015)

Logic Program Termination Analysis Using Atom Sizes. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2015)

Checking Termination of Datalog with Function Symbols Through Linear Constraints. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2015)

Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques. - Sergio Greco; Francesca Spezzano; Irina Trubitsyna (IEEE Trans. Knowl. Data Eng., 2015)

Checking termination of bottom-up evaluation of logic programs with function symbols. - Marco Calautti; Sergio Greco; Francesca Spezzano; Irina Trubitsyna (Theory Pract. Log. Program., 2015)

Leveraging Equality Generating Dependencies for Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2016)

Exploiting Equality Generating Dependencies in Checking Chase Termination. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Proc. VLDB Endow., 2016)

Using linear constraints for logic program termination analysis. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2016)

Computing Approximate Certain Answers over Incomplete Databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AMW, 2017)

Approximation Algorithms for Computing Certain Answers over Incomplete Databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2017)

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols. - Marco Calautti; Sergio Greco; Irina Trubitsyna (ACM Trans. Comput. Log., 2017)

Dealing with Inconsistency in Databases: An Overview. - Marco Calautti; Luciano Caroprese; Bettina Fazzinga; Sergio Flesca; Filippo Furfaro; Sergio Greco; Cristian Molinaro; Francesco Parisi; Andrea Pugliese 001; Domenico Saccà; Irina Trubitsyna; Ester Zumpano (A Comprehensive Guide Through the Italian Database Research, 2018)

Algorithms for Computing Approximate Certain Answers over Incomplete Databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IDEAS, 2018)

Computing Approximate Query Answers over Inconsistent Knowledge Bases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (IJCAI, 2018)

Approximate Query Answering over Inconsistent Knowledge Bases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2018)

ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases. - Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SIGMOD Conference, 2018)

Evaluating the Influence of User Searches on Neighbors. - Nunziato Cassavia; Elio Masciari; Chiara Pulice; Domenico Saccà; Irina Trubitsyna (WETICE, 2018)

Evaluating User Behaviour in a Cooperative Environment. - Enrico Bazzi; Nunziato Cassavia; Davide Chiggiato; Elio Masciari; Domenico Saccà; Alessandra Spada; Irina Trubitsyna (Inf., 2018)

ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases. - Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (AIKE, 2019)

HIKE: A Step Beyond Data Exchange. - Sergio Greco; Elio Masciari; Domenico Saccà; Irina Trubitsyna (ER, 2019)

Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases. - Nicola Fiorentino; Cristian Molinaro; Irina Trubitsyna (FQAS, 2019)

An Effective System for User Queries Assistance. - Elio Masciari; Domenico Saccà; Irina Trubitsyna (FQAS, 2019)

Simplified data posting in practice. - Elio Masciari; Irina Trubitsyna; Domenico Saccà (IDEAS, 2019)

A System Prototype for Approximate Query Answering over Incomplete Data. - Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2019)

Simple User Assistance by Data Posting. - Elio Masciari; Domenico Saccà; Irina Trubitsyna (SEBD, 2019)

A logical framework for view updating in indefinite databases. - Luciano Caroprese; Irina Trubitsyna; Miroslaw Truszczynski; Ester Zumpano (Log. J. IGPL, 2019)

Approximation algorithms for querying incomplete databases. - Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Inf. Syst., 2019)

On the Semantics of Recursive Bipolar AFs and Partial Stable Models. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2020)

Consistent query answering with prioritized active integrity constraints. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (IDEAS, 2020)

Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. - Gianvincenzo Alfano; Marco Calautti; Sergio Greco; Francesco Parisi; Irina Trubitsyna (KR, 2020)

Probabilistic Answers over Inconsistent Knowledge Bases. - Marco Calautti; Nicola Fiorentino; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2020)

Smart Data Exchange. - Sergio Greco; Michele Ianni; Elio Masciari; Domenico Saccà; Irina Trubitsyna (SEBD, 2020)

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Theory Pract. Log. Program., 2020)

Approximate Query Answering over Incomplete Data. - Nicola Fiorentino; Cristian Molinaro; Irina Trubitsyna (Complex Pattern Mining, 2020)

Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2021)

On Weak Constrained Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2021)

Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract). - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2021)

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper). - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (SEBD, 2021)

Existential active integrity constraints. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (Expert Syst. Appl., 2021)

Incomplete Argumentation Frameworks: Properties and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2022)

On Properties and Complexity of Incomplete Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2022)

Abstract Argumentation Framework with Priority Rules and Preferences. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (DP@AI*IA, 2022)

On Preferences and Priority Rules in Abstract Argumentation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2022)

Active Integrity Constraints with Existential Quantification. - Marco Calautti; Luciano Caroprese; Sergio Greco; Cristian Molinaro; Irina Trubitsyna; Ester Zumpano (SEBD, 2022)

Preference-based inconsistency-tolerant query answering under existential rules. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Artif. Intell., 2022)

DEGAIN: Generative-Adversarial-Network-Based Missing Data Imputation. - Reza Shahbazian; Irina Trubitsyna (Inf., 2022)

Query answering over inconsistent knowledge bases: A probabilistic approach. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theor. Comput. Sci., 2022)

Abstract Argumentation Framework with Conditional Preferences. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2023)

On the Verification and Existence Problems in Epistemic Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna (AI³@AI*IA, 2023)

On the Abstract Reasoning Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (DP@AI*IA, 2023)

Epistemic Abstract Argumentation Framework: Formal Foundations, Computation and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAMAS, 2023)

Complexity of Verification and Existence Problems in Epistemic Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna (ECAI, 2023)

Preferences and Constraints in Abstract Argumentation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2023)

Stable Semantics for Epistemic Abstract Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Arg&App@KR, 2023)

On the Conditional Preference-based Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (NMR, 2023)

On the Extended Preference-based Constrained Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (NMR, 2023)

Querying Data Exchange Settings Beyond Positive Queries. - Marco Calautti; Sergio Greco; Hebatalla Hammad; Tariq Mahmood 006; Cristian Molinaro; Irina Trubitsyna (SEBD, 2023)

DEGAIN as tool for Missing Data Imputation. - Reza Shahbazian; Irina Trubitsyna (SEBD, 2023)

Human Sensing by Using Radio Frequency Signals: A Survey on Occupancy and Activity Detection. - Reza Shahbazian; Irina Trubitsyna (IEEE Access, 2023)

An approximation algorithm for querying inconsistent knowledge bases. - Gianvincenzo Alfano; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Intell. Syst. Appl., 2023)

On acceptance conditions in abstract argumentation frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Inf. Sci., 2023)

Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks. - Gianvincenzo Alfano; Marco Calautti; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Artif. Intell., 2023)

Complexity of Credulous and Skeptical Acceptance in Epistemic Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAAI, 2024)

Fairness-Driven Explainable Learning in Multi-Agent Reinforcement Learning. - Tariq Mahmood 006; Reza Shahbazian; Irina Trubitsyna (AAPEI@ECAI, 2024)

On the General Epistemic Abstract Argumentation Framework. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAPEI@ECAI, 2024)

On Counterfactual and Semifactual Explanations in Abstract Argumentation (Short paper). - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (DP@AI*IA, 2024)

On General Epistemic Abstract Argumentation Frameworks. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (AAMAS, 2024)

General Epistemic Abstract Argumentation Framework: Semantics and Complexity. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (IJCAI, 2024)

Counterfactual and Semifactual Explanations in Abstract Argumentation: Formal Foundations, Complexity and Computation. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (KR, 2024)

ASYDE: An Argumentation-based System for classifYing Driving bEhaviors. - Bettina Fazzinga; Sergio Flesca; Filippo Furfaro; Giuseppina Monterosso; Irina Trubitsyna (SEBD, 2024)

Abstract argumentation frameworks with strong and weak constraints. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Irina Trubitsyna (Artif. Intell., 2024)

Cyclic Supports in Recursive Bipolar Argumentation Frameworks: Semantics and LP Mapping. - Gianvincenzo Alfano; Sergio Greco; Francesco Parisi; Irina Trubitsyna (Theory Pract. Log. Program., 2024)

Querying Data Exchange Settings Beyond Positive Queries. - Marco Calautti; Sergio Greco; Cristian Molinaro; Irina Trubitsyna (Theory Pract. Log. Program., 2024)

Even-if Explanations: Formal Foundations, Priorities and Complexity. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Reza Shahbazian; Irina Trubitsyna (AAAI, 2025)

Decentralized federated learning meets Physics-Informed Neural Networks. - Gianvincenzo Alfano; Sergio Greco; Domenico Mandaglio; Francesco Parisi; Reza Shahbazian; Irina Trubitsyna (Knowl. Based Syst., 2025)