Cover Image

Dung's Argumentation Framework: Unveiling the Expressive Power with Inconsistent Databases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Mahmood, Yasir, Hecher, Markus, Ngomo, Axel-Cyrille Ngonga
Format:	Preprint
Published:	2024
Subjects:	Logic in Computer Science Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Inconsistent Databases and Argumentation Frameworks with Collective Attacks
by: Mahmood, Yasir, et al.
Published: (2026)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
by: Koopmann, Patrick, et al.
Published: (2025)

Rejection in Abstract Argumentation: Harder Than Acceptance?
by: Fichte, Johannes K., et al.
Published: (2024)

Rethinking Explanations: Formalizing Contrast in Description Logics
by: Mahmood, Yasir, et al.
Published: (2026)

Expressive Power of Deep Homomorphism Networks over Relational Databases
by: Schönherr, Moritz, et al.
Published: (2026)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

The Importance of Parameters in Database Queries
by: Gilad, Amir, et al.
Published: (2024)

Properties for Paths in Graph Databases
by: Orejas, Fernando, et al.
Published: (2025)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Dichotomy for Axiomatising Inclusion Dependencies on K-Databases
by: Hannula, Miika, et al.
Published: (2026)

Database Research needs an Abstract Relational Query Language
by: Gatterbauer, Wolfgang, et al.
Published: (2025)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

Native Execution of GraphQL Queries over RDF Graphs Using Multi-way Joins
by: Karalis, Nikolaos, et al.
Published: (2024)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
by: Riveros, Cristian, et al.
Published: (2026)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

Optimally Rewriting Formulas and Database Queries: A Confluence of Term Rewriting, Structural Decomposition, and Complexity
by: Chen, Hubie, et al.
Published: (2024)

Chase Termination Beyond Polynomial Time
by: Hanisch, Philipp, et al.
Published: (2024)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

Rule Rewriting Revisited: A Fresh Look at Static Filtering for Datalog and ASP
by: Hanisch, Philipp, et al.
Published: (2026)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

On The Reasonable Effectiveness of Relational Diagrams: Explaining Relational Query Patterns and the Pattern Expressiveness of Relational Languages
by: Gatterbauer, Wolfgang, et al.
Published: (2024)

Database Querying under Missing Values Governed by Missingness Mechanisms
by: Bertossi, Leopoldo, et al.
Published: (2026)

Completeness of Relational Algebra via Cylindric Algebra
by: Laštovička, Jan
Published: (2026)

Dialogue-based Explanations for Logical Reasoning using Structured Argumentation
by: Ho, Loan, et al.
Published: (2025)

VerIso: Verifiable Isolation Guarantees for Database Transactions
by: Ghasemirad, Shabnam, et al.
Published: (2025)

Sufficient Explanations in Databases and their Connections to Database Repairs
by: Bertossi, Leopoldo, et al.
Published: (2025)

Homomorphism Problems in Graph Databases and Automatic Structures
by: Morvan, Rémi
Published: (2025)

Learning Aggregate Queries Defined by First-Order Logic with Counting
by: van Bergerem, Steffen, et al.
Published: (2024)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
by: Gatterbauer, Wolfgang
Published: (2024)

Using Color Refinement to Boost Enumeration and Counting for Acyclic CQs of Binary Schemas
by: Riveros, Cristian, et al.
Published: (2024)

Localized RETE for Incremental Graph Queries with Nested Graph Conditions
by: Barkowsky, Matthias, et al.
Published: (2024)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
by: Gatterbauer, Wolfgang
Published: (2024)

Towards Practicable Algorithms for Rewriting Graph Queries beyond DL-Lite
by: Löhnert, Bianca, et al.
Published: (2024)

Provenance Analysis and Semiring Semantics for First-Order Logic
by: Grädel, Erich, et al.
Published: (2024)

Characterizing Data Dependencies Then and Now
by: Kolaitis, Phokion G., et al.
Published: (2024)

Restricted Chase Termination: You Want More than Fairness
by: Carral, David, et al.
Published: (2025)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
by: Figueira, Diego, et al.
Published: (2025)