:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Moreau, Luc, Rossi, Alfred, Stalla-Bourdillon, Sophie
Format:	Preprint
Published:	2025
Subjects:	Databases Artificial Intelligence Computers and Society Logic in Computer Science H.2.4; K.5.1
Online Access:	https://arxiv.org/abs/2512.05453
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A SHACL-based Data Consistency Solution for Contract Compliance Verification (Extended Paper)
by: David, Robert, et al.
Published: (2025)

Paraconsistent logic and query answering in inconsistent databases
by: Middelburg, C. A.
Published: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
by: Middelburg, C. A.
Published: (2023)

Database Dependencies and Formal Concept Analysis
by: Baixeries, Jaume
Published: (2024)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

FortisAVQA and MAVEN: a Benchmark Dataset and Debiasing Framework for Robust Multimodal Reasoning
by: Ma, Jie, et al.
Published: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

Efficient Temporal Datalog Materialisation for Composite Event Recognition
by: Mantenoglou, Periklis
Published: (2026)

A taxonomy of explanations to support Explainability-by-Design
by: Tsakalakis, Niko, et al.
Published: (2022)

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

Transformers Meet Relational Databases
by: Peleška, Jakub, et al.
Published: (2024)

Extremal Separation Problems for Temporal Instance Queries
by: Jung, Jean Christoph, et al.
Published: (2024)

dpBento: Benchmarking DPUs for Data Processing
by: Hu, Jiasheng, et al.
Published: (2025)

A Neuro-Symbolic Framework for Accountability in Public-Sector AI
by: Sunny, Allen Daniel, et al.
Published: (2025)

Heuristic Search Space Partitioning for Low-Latency Multi-Tenant Cloud Queries
by: Pathak, Prashant Kumar, et al.
Published: (2026)

Revisiting Conjunctive Query Entailment for $\mathcal S$
by: Ibáñez-García, Yazmín, et al.
Published: (2025)

Executable First-Order Queries in the Logic of Information Flows
by: Aamer, Heba, et al.
Published: (2022)

IDN Authoring -- a design case
by: Nack, Frank
Published: (2023)

Theseus: A Distributed and Scalable GPU-Accelerated Query Processing Platform Optimized for Efficient Data Movement
by: Aramburú, Felipe, et al.
Published: (2025)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

Disjunctions of Two Dependence Atoms
by: Fröhlich, Nicolas, et al.
Published: (2025)

A Simple Algorithm for Consistent Query Answering under Primary Keys
by: Figueira, Diego, et al.
Published: (2023)

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

IdeaForge: A Knowledge Graph-Grounded Multi-Agent Framework for Cross-Methodology Innovation Analysis and Patent Claim Generation
by: Bose, Joy
Published: (2026)

Borel completeness of Tits buildings with no rank 3 residues of spherical type
by: Paolini, Gianluca, et al.
Published: (2025)

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

Superhuman Game AI Disclosure: Expertise and Context Moderate Effects on Trust and Fairness
by: Chua, Jaymari, et al.
Published: (2025)

Sketch-Oriented Databases
by: Duval, Dominique, et al.
Published: (2026)

VHAKG: A Multi-modal Knowledge Graph Based on Synchronized Multi-view Videos of Daily Activities
by: Egami, Shusaku, et al.
Published: (2024)

Fifty Years of Transaction Processing Research (extended)
by: Bernstein, Philip A.
Published: (2026)

Inclusion with repetitions and Boolean constants -- implication problems revisited
by: Häggblom, Matilda
Published: (2025)

Axiomatization of approximate exclusion
by: Häggblom, Matilda
Published: (2024)

Axiomatizing approximate inclusion
by: Häggblom, Matilda
Published: (2025)

Enabling Data-Driven and Empathetic Interactions: A Context-Aware 3D Virtual Agent in Mixed Reality for Enhanced Financial Customer Experience
by: Xu, Cindy, et al.
Published: (2024)

Ontological Knowledge Blocks: Executable Compliance and Profile-Based Validation for Trustworthy AI Systems
by: Sharma, Aasish Kumar, et al.
Published: (2026)

Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline
by: Koomullil, George
Published: (2026)

Designing Gamified Social Interaction for Gen Z in the Metaverse: A Framework-Oriented Systematic Literature Review
by: Xie, Baitong, et al.
Published: (2025)

Honest Computing: Achieving demonstrable data lineage and provenance for driving data and process-sensitive policies
by: Guitton, Florian, et al.
Published: (2024)

Database Systems Course: Service Learning Project
by: WeitlHarms, Sherri
Published: (2024)