| Preference-based inconsistency-tolerant query answering under existential rules | 0 | 0.34 | 2022 |
| On Preferences and Priority Rules in Abstract Argumentation | 0 | 0.34 | 2022 |
| Query answering over inconsistent knowledge bases: A probabilistic approach | 0 | 0.34 | 2022 |
| On Preferences and Priority Rules in Abstract Argumentation. | 0 | 0.34 | 2022 |
| Incomplete Argumentation Frameworks: Properties and Complexity. | 0 | 0.34 | 2022 |
| Existential Active Integrity Constraints | 0 | 0.34 | 2021 |
| Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract). | 0 | 0.34 | 2021 |
| Argumentation Frameworks With Strong And Weak Constraints: Semantics And Complexity | 0 | 0.34 | 2021 |
| On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach | 0 | 0.34 | 2020 |
| Preference-based Inconsistency-Tolerant Query Answering under Existential Rules. | 0 | 0.34 | 2020 |
| Consistent query answering with prioritized active integrity constraints | 1 | 0.35 | 2020 |
| Explainable Acceptance in Probabilistic Abstract Argumentation: Complexity and Approximation. | 0 | 0.34 | 2020 |
| Approximation algorithms for querying incomplete databases | 0 | 0.34 | 2019 |
| An Effective System For User Queries Assistance | 0 | 0.34 | 2019 |
| Simple User Assistance by Data Posting | 0 | 0.34 | 2019 |
| A logical framework for view updating in indefinite databases | 0 | 0.34 | 2019 |
| Optimizing The Computation Of Approximate Certain Query Answers Over Incomplete Databases | 0 | 0.34 | 2019 |
| A System Prototype for Approximate Query Answering over Incomplete Data. | 0 | 0.34 | 2019 |
| Simplified data posting in practice | 0 | 0.34 | 2019 |
| ACQUA: Approximate Consistent Query Answering Over Inconsistent Knowledge Bases | 0 | 0.34 | 2019 |
| Hike: A Step Beyond Data Exchange | 0 | 0.34 | 2019 |
| Evaluating the Influence of User Searches on Neighbors | 1 | 0.38 | 2018 |
| Approximate Query Answering over Inconsistent Knowledge Bases. | 0 | 0.34 | 2018 |
| Evaluating User Behaviour In A Cooperative Environment | 1 | 0.40 | 2018 |
| ACID: A System for Computing Approximate Certain Query Answers over Incomplete Databases. | 1 | 0.35 | 2018 |
| Algorithms for Computing Approximate Certain Answers over Incomplete Databases. | 0 | 0.34 | 2018 |
| Computing Approximate Query Answers over Inconsistent Knowledge Bases. | 1 | 0.36 | 2018 |
| Approximation Algorithms for Computing Certain Answers over Incomplete Databases. | 0 | 0.34 | 2017 |
| Computing Approximate Certain Answers over Incomplete Databases. | 0 | 0.34 | 2017 |
| Leveraging Equality Generating Dependencies for Chase Termination. | 0 | 0.34 | 2016 |
| Exploiting Equality Generating Dependencies in Checking Chase Termination. | 3 | 0.38 | 2016 |
| Exploiting Equality Generating Dependencies in Checking Chase Termination. | 0 | 0.34 | 2016 |
| Checking termination of bottom-up evaluation of logic programs with function symbols. | 4 | 0.40 | 2015 |
| Checking Termination of Datalog with Function Symbols Through Linear Constraints. | 0 | 0.34 | 2015 |
| Checking Chase Termination: Cyclicity Analysis and Rewriting Techniques | 5 | 0.41 | 2015 |
| Logic program termination analysis using atom sizes | 1 | 0.34 | 2015 |
| Rewriting-based Check of Chase Termination. | 0 | 0.34 | 2015 |
| Using Linear Constraints for Logic Program Termination Analysis | 1 | 0.34 | 2015 |
| Termination Criteria for Datalog with Function Symbols. | 0 | 0.34 | 2014 |
| A Measure of Arbitrariness in Abductive Explanations. | 2 | 0.43 | 2014 |
| Checking Termination of Logic Programs with Function Symbols through Linear Constraints. | 3 | 0.37 | 2014 |
| Detecting decidable classes of finitely ground logic programs with function symbols | 4 | 0.39 | 2013 |
| Logic programming with function symbols: Checking termination of bottom-up evaluation through program adornments. | 6 | 0.40 | 2013 |
| Bounded programs: a new decidable class of logic programs with function symbols | 7 | 0.41 | 2013 |
| The view-update problem for indefinite databases | 9 | 0.50 | 2012 |
| On the Termination of Logic Programs with Function Symbols. | 10 | 0.45 | 2012 |
| Stratification-based Criteria for Checking Chase Termination. | 0 | 0.34 | 2012 |
| ChaseT: a tool for checking chase termination | 0 | 0.34 | 2011 |
| Stratification Criteria And Rewriting Techniques For Checking Chase Termination | 14 | 0.58 | 2011 |
| Stratification Criteria and Rewriting Techniques for Checking Chase Termination. | 0 | 0.34 | 2011 |
