Irina Trubitsyna

Francesco Parisi

Stable Semantics for Epistemic Abstract Argumentation Framework.

[BibT_eX]

[DOI]

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

Preferences and Constraints in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Complexity of Verification and Existence Problems in Epistemic Argumentation Framework.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023

On the Abstract Reasoning Framework.

[BibT_eX]

[DOI]

Proceedings of the Discussion Papers, 2023

On the Verification and Existence Problems in Epistemic Argumentation Framework.

[BibT_eX]

[DOI]

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

Abstract Argumentation Framework with Conditional Preferences.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Query answering over inconsistent knowledge bases: A probabilistic approach.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2022

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

[BibT_eX]

[DOI]

Reza Shahbazian

Inf., 2022

Preference-based inconsistency-tolerant query answering under existential rules.

[BibT_eX]

[DOI]

Artif. Intell., 2022

Active Integrity Constraints with Existential Quantification.

[BibT_eX]

[DOI]

Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022

On Preferences and Priority Rules in Abstract Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

Abstract Argumentation Framework with Priority Rules and Preferences.

[BibT_eX]

[DOI]

Proceedings of the Discussion Papers - 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022 DP), Udine, Italy, November 28, 2022

On Properties and Complexity of Incomplete Argumentation Framework.

[BibT_eX]

[DOI]

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

Incomplete Argumentation Frameworks: Properties and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Existential active integrity constraints.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2021

Preference-based Inconsistency-Tolerant Query Answering under Existential Rules (Discussion Paper).

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

On Weak Constrained Argumentation Frameworks.

[BibT_eX]

[DOI]

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

Argumentation Frameworks with Strong and Weak Constraints: Semantics and Complexity.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Approximate Query Answering over Incomplete Data.

[BibT_eX]

[DOI]

Nicola Fiorentino

Proceedings of the Complex Pattern Mining - New Challenges, Methods and Applications, 2020

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2020

Smart Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Probabilistic Answers over Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020

Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Consistent query answering with prioritized active integrity constraints.

[BibT_eX]

[DOI]

Proceedings of the IDEAS 2020: 24th International Database Engineering & Applications Symposium, 2020

On the Semantics of Recursive Bipolar AFs and Partial Stable Models.

[BibT_eX]

[DOI]

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

Approximation algorithms for querying incomplete databases.

[BibT_eX]

[DOI]

Inf. Syst., 2019

A logical framework for view updating in indefinite databases.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Log. J. IGPL, 2019

A System Prototype for Approximate Query Answering over Incomplete Data.

[BibT_eX]

[DOI]

Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019

Simplified data posting in practice.

[BibT_eX]

[DOI]

Elio Masciari

Domenico Saccà

Proceedings of the 23rd International Database Applications & Engineering Symposium, 2019

An Effective System for User Queries Assistance.

[BibT_eX]

[DOI]

Elio Masciari

Domenico Saccà

Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

Optimizing the Computation of Approximate Certain Query Answers over Incomplete Databases.

[BibT_eX]

[DOI]

Nicola Fiorentino

Proceedings of the Flexible Query Answering Systems - 13th International Conference, 2019

HIKE: A Step Beyond Data Exchange.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

Simple User Assistance by Data Posting.

[BibT_eX]

[DOI]

Elio Masciari

Domenico Saccà

Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Artificial Intelligence and Knowledge Engineering, 2019

2018

Evaluating User Behaviour in a Cooperative Environment.

[BibT_eX]

[DOI]

Inf., 2018

Evaluating the Influence of User Searches on Neighbors.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Management of Data, 2018

Approximate Query Answering over Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018

Computing Approximate Query Answers over Inconsistent Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Algorithms for Computing Approximate Certain Answers over Incomplete Databases.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Database Engineering & Applications Symposium, 2018

Dealing with Inconsistency in Databases: An Overview.

[BibT_eX]

[DOI]

Proceedings of the A Comprehensive Guide Through the Italian Database Research Over the Last 25 Years., 2018

2017

Detecting Decidable Classes of Finitely Ground Logic Programs with Function Symbols.

[BibT_eX]

[DOI]

Marco Calautti

ACM Trans. Comput. Log., 2017

Approximation Algorithms for Computing Certain Answers over Incomplete Databases.

[BibT_eX]

[DOI]

Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Computing Approximate Certain Answers over Incomplete Databases.

[BibT_eX]

[DOI]

Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016

Using linear constraints for logic program termination analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Exploiting Equality Generating Dependencies in Checking Chase Termination.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2016

Leveraging Equality Generating Dependencies for Chase Termination.

[BibT_eX]

Proceedings of the 24th Italian Symposium on Advanced Database Systems, 2016

2015

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2015

Checking Termination of Datalog with Function Symbols Through Linear Constraints.

[BibT_eX]

Proceedings of the 23rd Italian Symposium on Advanced Database Systems, 2015

Logic Program Termination Analysis Using Atom Sizes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Rewriting-based Check of Chase Termination.

[BibT_eX]

[DOI]

Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014

A Measure of Arbitrariness in Abductive Explanations.

[BibT_eX]

[DOI]

Miroslaw Truszczynski

Theory Pract. Log. Program., 2014

Termination Criteria for Datalog with Function Symbols.

[BibT_eX]

Proceedings of the 22nd Italian Symposium on Advanced Database Systems, 2014

Checking Termination of Logic Programs with Function Symbols through Linear Constraints.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2013

The View-Update Problem for Indefinite Databases.

[BibT_eX]

Miroslaw Truszczynski

Proceedings of the 21st Italian Symposium on Advanced Database Systems, 2013

Bounded Programs: A New Decidable Class of Logic Programs with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

2012

Stratification-based Criteria for Checking Chase Termination.

[BibT_eX]

[DOI]

Proceedings of the Twentieth Italian Symposium on Advanced Database Systems, 2012

On the Termination of Logic Programs with Function Symbols.

[BibT_eX]

[DOI]

Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

2011

Stratification Criteria and Rewriting Techniques for Checking Chase Termination.

[BibT_eX]

[DOI]

Proc. VLDB Endow., 2011

ChaseT: A Tool for Checking Chase Termination.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011

ChaseT: A Tool For Checking Chase Termination.

[BibT_eX]

Andrea De Francesco

Proceedings of the Sistemi Evoluti per Basi di Dati, 2011

2010

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

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2010

Querying and Updating Inconsistent Databases (Extended Abstract).

[BibT_eX]

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

2009

NP Datalog: a Logic Language for Expressing NP Search and Optimization Problems

[BibT_eX]

[DOI]

CoRR, 2009

Consistent Queries over Databases with Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Database Technologies: Concepts, 2009

2007

On the Semantics of Logic Programs with Preferences.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2007

Analyzing Security Scenarios Using Defence Trees and Answer Set Programming.

[BibT_eX]

[DOI]

Stefano Bistarelli

Pamela Peretti

Proceedings of the 3rd International Workshop on Security and Trust Management, 2007

A framework for prioritized reasoning based on the choice evaluation.

[BibT_eX]

[DOI]

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

View Updating Through Active Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 23rd International Conference, 2007

Implementing Prioritized Reasoning in Logic Programming.

[BibT_eX]

Proceedings of the ICEIS 2007, 2007

Prioritized Reasoning in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, 2007

Answer Set Optimization for and/or Composition of CP-Nets: A Security Scenario.

[BibT_eX]

[DOI]

Stefano Bistarelli

Pamela Peretti

Proceedings of the Principles and Practice of Constraint Programming, 2007

2006

Preferred Generalized Answers for Inconsistent Databases.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 16th International Symposium, 2006

Implementation and Experimentation of the Logic Language NP Datalog.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 17th International Conference, 2006

2005

Logic languages and optimization techniques for decision, search and optimization problems.

[BibT_eX]

[DOI]

PhD thesis, 2005

Optimization of bound disjunctive queries with constraints.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2005

Aggregates and Preferences in Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems, 15th International Symposium, 2005

NP Datalog: A Logic Language for NP Search and Optimization Queries.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Database Engineering and Applications Symposium (IDEAS 2005), 2005

Preferred Repairs for Inconsistent Databases.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Database Technologies and Applications, 2005

2004

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

[BibT_eX]

[DOI]

Andrea Tagarelli

AI Commun., 2004

A System Supporting Website Navigation.

[BibT_eX]

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.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

Mining Scientific Results Through the Combined Use of Clustering and Linear Programming Techniques.

[BibT_eX]

Andrea Tagarelli