Cover Image

On the Foundations of Conflict-Driven Solving for Hybrid MKNF Knowledge Bases

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kinahan, Riley, Killen, Spencer, Wan, Kevin, You, Jia-Huai
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence I.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Demand-Driven Context: A Methodology for Building Enterprise Knowledge Bases Through Agent Failure
by: Navakoti, Raj, et al.
Published: (2026)

SHACL-SKOS Based Knowledge Representation of Material Safety Data Sheet (SDS) for the Pharmaceutical Industry
by: Lu, Brian, et al.
Published: (2025)

Know your exceptions: Towards an Ontology of Exceptions in Knowledge Representation
by: Sacco, Gabriele, et al.
Published: (2024)

Knowledge Model Prompting Increases LLM Performance on Planning Tasks
by: Goh, Erik, et al.
Published: (2026)

Bayes-Entropy Collaborative Driven Agents for Research Hypotheses Generation and Optimization
by: Duan, Shiyang, et al.
Published: (2025)

Automatic Prompt Optimization for Knowledge Graph Construction: Insights from an Empirical Study
by: Mihindukulasooriya, Nandana, et al.
Published: (2025)

Common Foundations for SHACL, ShEx, and PG-Schema
by: Ahmetaj, S., et al.
Published: (2025)

From Fake Focus to Real Precision: Confusion-Driven Adversarial Attention Learning in Transformers
by: Liu, Yawei
Published: (2025)

Pre-trained Language Model with Prompts for Temporal Knowledge Graph Completion
by: Xu, Wenjie, et al.
Published: (2023)

From User Preferences to Base Score Extraction Functions in Gradual Argumentation (with Appendix)
by: Civit, Aniol, et al.
Published: (2026)

RELRaE: LLM-Based Relationship Extraction, Labelling, Refinement, and Evaluation
by: Hannah, George, et al.
Published: (2025)

HIP Network: Historical Information Passing Network for Extrapolation Reasoning on Temporal Knowledge Graph
by: He, Yongquan, et al.
Published: (2024)

OntoLogX: Ontology-Guided Knowledge Graph Extraction from Cybersecurity Logs with Large Language Models
by: Cotti, Luca, et al.
Published: (2025)

Memory Traces: Are Transformers Tulving Machines?
by: Chauvet, Jean-Marie
Published: (2024)

Planning with OWL-DL Ontologies (Extended Version)
by: John, Tobias, et al.
Published: (2024)

Towards an ontology of portions of matter to support multi-scale analysis and provenance tracking
by: Vieira, Lucas Valadares, et al.
Published: (2024)

Experiments with Encoding Structured Data for Neural Networks
by: Koujalgi, Sujay Nagesh, et al.
Published: (2024)

Memory GAPS: Would LLMs pass the Tulving Test?
by: Chauvet, Jean-Marie
Published: (2024)

Contextual Importance and Utility in Python: New Functionality and Insights with the py-ciu Package
by: Främling, Kary
Published: (2024)

Attribute reduction algorithm of rough sets based on spatial optimization
by: Guo, Xuchang, et al.
Published: (2024)

Many-valued Argumentation, Conditionals and a Probabilistic Semantics for Gradual Argumentation
by: Alviano, Mario, et al.
Published: (2022)

Housing Potential Common Data Model and City Digital Twin
by: Katsumi, Megan, et al.
Published: (2026)

Inductive Learning for Possibilistic Logic Programs Under Stable Models
by: Hu, Hongbo, et al.
Published: (2025)

Parallel Belief Revision via Order Aggregation
by: Chandler, Jake, et al.
Published: (2025)

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
by: Blümel, Lydia, et al.
Published: (2026)

Parallel Belief Contraction via Order Aggregation
by: Chandler, Jake, et al.
Published: (2025)

Transforming Constraint Programs to Input for Local Search
by: Devriendt, Jo, et al.
Published: (2026)

Evaluation of Black-Box XAI Approaches for Predictors of Values of Boolean Formulae
by: Armoni-Friedmann, Stav, et al.
Published: (2025)

WiseOWL: A Methodology for Evaluating Ontological Descriptiveness and Semantic Correctness for Ontology Reuse and Ontology Recommendations
by: Dalal, Aryan Singh, et al.
Published: (2026)

Towards end-to-end ASP computation
by: Sato, Taisuke, et al.
Published: (2023)

On Definite Iterated Belief Revision with Belief Algebras
by: Meng, Hua, et al.
Published: (2025)

gUFO: A Gentle Foundational Ontology for Semantic Web Knowledge Graphs
by: Almeida, João Paulo A., et al.
Published: (2026)

Question Answering Over Spatio-Temporal Knowledge Graph
by: Dai, Xinbang, et al.
Published: (2024)

Multi-User Personalisation in Human-Robot Interaction: Resolving Preference Conflicts Using Gradual Argumentation
by: Civit, Aniol, et al.
Published: (2025)

Boolean Nearest Neighbor Language in the Knowledge Compilation Map
by: Čepek, Ondřej, et al.
Published: (2024)

Knowledge Graph Completion using Structural and Textual Embeddings
by: Alqaaidi, Sakher Khalil, et al.
Published: (2024)

Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
by: Huang, Xuanxiang, et al.
Published: (2025)

Relations Prediction for Knowledge Graph Completion using Large Language Models
by: Alqaaidi, Sakher Khalil, et al.
Published: (2024)

Evaluating Class Membership Relations in Knowledge Graphs using Large Language Models
by: Allen, Bradley P., et al.
Published: (2024)