Buchumschlag

ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Haak, Anselm, Koopmann, Patrick, Mahmood, Yasir, Turhan, Anni-Yasmin
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence 68T30, 68Q25 I.2.4; F.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Why not? Developing ABox Abduction beyond Repairs
von: Haak, Anselm, et al.
Veröffentlicht: (2025)

Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models
von: Grosser, Marvin, et al.
Veröffentlicht: (2026)

Semantic Modeling for World-Centered Architectures
von: Mantsivoda, Andrei, et al.
Veröffentlicht: (2026)

Overcoming Over-Fitting in Constraint Acquisition via Query-Driven Interactive Refinement
von: Balafas, Vasileios, et al.
Veröffentlicht: (2025)

Topological Logics with Connectedness over Euclidean Spaces
von: Kontchakov, Roman, et al.
Veröffentlicht: (2011)

Polynomial Prenexing of QBFs with Non-Monotone Boolean Operators
von: Saffidine, Abdallah, et al.
Veröffentlicht: (2025)

Causal Direction from Convergence Time: Faster Training in the True Causal Direction
von: Tamim, Abdulrahman
Veröffentlicht: (2026)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
von: Lagerkvist, Victor, et al.
Veröffentlicht: (2026)

A Prompt Learning Framework for Source Code Summarization
von: Xu, Tingting, et al.
Veröffentlicht: (2023)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
von: Kricheli, Joshua Shay, et al.
Veröffentlicht: (2024)

A Comprehensive Mathematical and System-Level Analysis of Autonomous Vehicle Timelines
von: Perrone, Paul
Veröffentlicht: (2025)

A Novel Kuhnian Ontology for Epistemic Classification of STM Scholarly Articles
von: Saqr, Khalid M.
Veröffentlicht: (2020)

Curved Boolean Logic: A Contextual Generalization of Propositional Logic with Algorithmic Consequences
von: von Liechtenstein, Maximilian R. P.
Veröffentlicht: (2025)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
von: Wang, Shuai, et al.
Veröffentlicht: (2024)

The Optimizer Quotient and the Certification Trilemma
von: Simas, Tristan
Veröffentlicht: (2026)

LTL Verification of Memoryful Neural Agents
von: Hosseini, Mehran, et al.
Veröffentlicht: (2025)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
von: Skryagin, Arseny, et al.
Veröffentlicht: (2024)

Experimental algorithms for the dualization problem
von: Mezzini, Mauro, et al.
Veröffentlicht: (2025)

Combining Mechanical and Agentic Specification Inference for Move
von: Grieskamp, Wolfgang, et al.
Veröffentlicht: (2026)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
von: Dorochko, Leonid, et al.
Veröffentlicht: (2026)

Implementing Knowledge Representation and Reasoning with Object Oriented Design
von: Bassiouny, Abdelrhman, et al.
Veröffentlicht: (2026)

Symbolic Model Checking in External Memory
von: Sølvsten, Steffan Christ, et al.
Veröffentlicht: (2025)

Unlocking Advanced Graph Machine Learning Insights through Knowledge Completion on Neo4j Graph Database
von: Napoli, Rosario, et al.
Veröffentlicht: (2025)

Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
von: Bellomarini, Luigi, et al.
Veröffentlicht: (2024)

Deterministic Event-Graph Substrates as World Models for Counterfactual Reasoning
von: Rovai, Fabio
Veröffentlicht: (2026)

Logarithmic Weisfeiler--Leman and Treewidth
von: Levet, Michael, et al.
Veröffentlicht: (2023)

Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman
von: Levet, Michael, et al.
Veröffentlicht: (2023)

AI for software engineering: from probable to provable
von: Meyer, Bertrand
Veröffentlicht: (2025)

Profile Generators: A Link between the Narrative and the Binary Matrix Representation
von: Kutil, Raoul H., et al.
Veröffentlicht: (2025)

TDAD: Test-Driven Agentic Development - Reducing Code Regressions in AI Coding Agents via Graph-Based Impact Analysis
von: Alonso, Pepe, et al.
Veröffentlicht: (2026)

Enhancing Trust in LLMs: Algorithms for Comparing and Interpreting LLMs
von: Brown, Nik Bear
Veröffentlicht: (2024)

Hypernetwork Theory: The Structural Kernel
von: Charlesworth, Richard D.
Veröffentlicht: (2025)

Abductive explanations of classifiers under constraints: Complexity and properties
von: Cooper, Martin, et al.
Veröffentlicht: (2024)

Trace Validation of Unmodified Concurrent Systems with OmniLink
von: Hackett, Finn, et al.
Veröffentlicht: (2026)

OpCode-Based Malware Classification Using Machine Learning and Deep Learning Techniques
von: Saini, Varij, et al.
Veröffentlicht: (2025)

RepoAudit: An Autonomous LLM-Agent for Repository-Level Code Auditing
von: Guo, Jinyao, et al.
Veröffentlicht: (2025)

Varieties of Distributed Knowledge
von: Galimullin, Rustam, et al.
Veröffentlicht: (2025)

Kodezi Chronos: A Debugging-First Language Model for Repository-Scale Code Understanding
von: Khan, Ishraq, et al.
Veröffentlicht: (2025)

Separate Before You Compress: The WWHO Tokenization Architecture
von: Darshana, Kusal
Veröffentlicht: (2026)

On measuring grounding and generalizing grounding problems
von: Quigley, Daniel, et al.
Veröffentlicht: (2025)