Image de couverture de livre

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Haak, Anselm, Koopmann, Patrick, Mahmood, Yasir, Turhan, Anni-Yasmin
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science Artificial Intelligence 68T30, 68Q25 I.2.4; F.2.2
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Why not? Developing ABox Abduction beyond Repairs
par: Haak, Anselm, et autres
Publié: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
par: Grosser, Marvin, et autres
Publié: (2026)

Semantic Modeling for World-Centered Architectures
par: Mantsivoda, Andrei, et autres
Publié: (2026)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
par: Balafas, Vasileios, et autres
Publié: (2025)

Topological Logics with Connectedness over Euclidean Spaces
par: Kontchakov, Roman, et autres
Publié: (2011)

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
par: Saffidine, Abdallah, et autres
Publié: (2025)

Causal Direction from Convergence Time: Faster Training in the True Causal Direction
par: Tamim, Abdulrahman
Publié: (2026)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
par: Lagerkvist, Victor, et autres
Publié: (2026)

A Prompt Learning Framework for Source Code Summarization
par: Xu, Tingting, et autres
Publié: (2023)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
par: Kricheli, Joshua Shay, et autres
Publié: (2024)

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines
par: Perrone, Paul
Publié: (2025)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
par: Saqr, Khalid M.
Publié: (2020)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
par: von Liechtenstein, Maximilian R. P.
Publié: (2025)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
par: Wang, Shuai, et autres
Publié: (2024)

The Optimizer Quotient and the Certification Trilemma
par: Simas, Tristan
Publié: (2026)

LTL Verification of Memoryful Neural Agents
par: Hosseini, Mehran, et autres
Publié: (2025)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
par: Skryagin, Arseny, et autres
Publié: (2024)

Experimental algorithms for the dualization problem
par: Mezzini, Mauro, et autres
Publié: (2025)

Combining Mechanical and Agentic Specification Inference for Move
par: Grieskamp, Wolfgang, et autres
Publié: (2026)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
par: Dorochko, Leonid, et autres
Publié: (2026)

Implementing Knowledge Representation and Reasoning with Object Oriented Design
par: Bassiouny, Abdelrhman, et autres
Publié: (2026)

Symbolic Model Checking in External Memory
par: Sølvsten, Steffan Christ, et autres
Publié: (2025)

Unlocking Advanced Graph Machine Learning Insights through Knowledge Completion on Neo4j Graph Database
par: Napoli, Rosario, et autres
Publié: (2025)

Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
par: Bellomarini, Luigi, et autres
Publié: (2024)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
par: Rovai, Fabio
Publié: (2026)

Logarithmic Weisfeiler--Leman and Treewidth
par: Levet, Michael, et autres
Publié: (2023)

Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman
par: Levet, Michael, et autres
Publié: (2023)

AI for software engineering: from probable to provable
par: Meyer, Bertrand
Publié: (2025)

Profile Generators: A Link between the Narrative and the Binary Matrix Representation
par: Kutil, Raoul H., et autres
Publié: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
par: Alonso, Pepe, et autres
Publié: (2026)

Enhancing Trust in LLMs: Algorithms for Comparing and Interpreting LLMs
par: Brown, Nik Bear
Publié: (2024)

Hypernetwork Theory: The Structural Kernel
par: Charlesworth, Richard D.
Publié: (2025)

Abductive explanations of classifiers under constraints: Complexity and properties
par: Cooper, Martin, et autres
Publié: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
par: Hackett, Finn, et autres
Publié: (2026)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
par: Saini, Varij, et autres
Publié: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
par: Guo, Jinyao, et autres
Publié: (2025)

Varieties of Distributed Knowledge
par: Galimullin, Rustam, et autres
Publié: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
par: Khan, Ishraq, et autres
Publié: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
par: Darshana, Kusal
Publié: (2026)

On measuring grounding and generalizing grounding problems
par: Quigley, Daniel, et autres
Publié: (2025)