Cover Image

Computational Complexity of Preferred Subset Repairs on Data-Graphs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Pardal, Nina, Cifuentes, Santiago, Pin, Edwin, Martinez, Maria Vanina, Abriola, Sergio
Format:	Preprint
Published:	2024
Subjects:	Databases Artificial Intelligence Logic in Computer Science 68P15, 68T27, 03B70, 68T37
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A logic-based framework for database repairs
by: Fröhlich, Nicolas, et al.
Published: (2023)

Rewriting Consistent Answers on Annotated Data
by: Kolaitis, Phokion G., et al.
Published: (2024)

The Distributional Uncertainty of the SHAP score in Explainable Machine Learning
by: Cifuentes, Santiago, et al.
Published: (2024)

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

The Complexity of Resilience for Digraph Queries
by: Bodirsky, Manuel, et al.
Published: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
by: Dundua, Besik, et al.
Published: (2025)

On piecewise hyperdefinable groups
by: Fanlo, Arturo Rodriguez
Published: (2020)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
by: Alpay, Faruk, et al.
Published: (2025)

On the generic information capacity of relational schemas with a single binary relation
by: Groz, Benoît, et al.
Published: (2026)

Games, mobile processes, and functionss -- alternating, concurrent, and well-bracketed semantics
by: Jaber, Guilhem, et al.
Published: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

On Immutable Memory Systems for Artificial Agents: A Blockchain-Indexed Automata-Theoretic Framework Using ECDH-Keyed Merkle Chains
by: Wright, Craig Steven
Published: (2025)

Encoding Numeric Computations and Infusing Heuristic Knowledge Using Integrity Constraints in stableKanren
by: Guo, Xiangyu, et al.
Published: (2025)

Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange
by: van der Meyden, Ron
Published: (2025)

Domain size asymptotics for Markov logic networks
by: Koponen, Vera
Published: (2025)

The complexity of being monitorable
by: Camerlo, Riccardo, et al.
Published: (2026)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

Fitting Ontologies and Constraints to Relational Structures
by: Hosemann, Simon, et al.
Published: (2025)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Complexity of deep computations via topology of function spaces
by: Dueñez, Eduardo, et al.
Published: (2026)

Adaptive Cost Model for Query Optimization
by: Vasilenko, Nikita, et al.
Published: (2024)

The KG-ER Conceptual Schema Language
by: Franconi, Enrico, et al.
Published: (2025)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
by: Barlag, Timon, et al.
Published: (2025)

Random expansions of trees with bounded height
by: Koponen, Vera, et al.
Published: (2024)

Propositional Measure Logic
by: Aragão, Francisco
Published: (2025)

Why the classes P and NP are not well-defined finitarily
by: Anand, Bhupinder Singh
Published: (2024)

Residual-Entropy Accounting for Routed Atom-Budgeted Learned Indexes
by: Alpay, Faruk, et al.
Published: (2026)

Cone-Induced Observation Congruences for Vector-Valued Quantitative Languages
by: Alpay, Faruk, et al.
Published: (2026)

On Halting vs Converging in Recurrent Graph Neural Networks
by: Bollen, Jeroen, et al.
Published: (2026)

Competitive Data-Structure Dynamization
by: Mathieu, Claire, et al.
Published: (2020)

Choiceless Polynomial Space
by: Ferrarotti, Flavio, et al.
Published: (2024)

To Be or Not To Be: Adding Integrity Constraints to stableKanren to Make a Decision
by: Guo, Xiangyu, et al.
Published: (2024)

Improving stableKanren's Backward Compatibility
by: Guo, Xiangyu, et al.
Published: (2024)

Partial Partial Aggregates
by: Brisson, Claude
Published: (2026)

Zero-Cost NDV Estimation from Columnar File Metadata
by: Brisson, Claude
Published: (2026)

State Algebra for Propositional Logic
by: Lesnik, Dmitry, et al.
Published: (2025)

Recursively Enumerably Representable Classes and Computable Versions of the Fundamental Theorem of Statistical Learning
by: Kattermann, David, et al.
Published: (2025)

Quantum Random Self-Modifiable Computation
by: Fiske, Michael Stephen
Published: (2018)