:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Qureshi, Haya Majid, Faber, Wolfgang
Format:	Preprint
Published:	2024
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2402.02978
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
by: Qureshi, Haya Majid, et al.
Published: (2025)

Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
by: Lanzinger, Matthias, et al.
Published: (2024)

Large Language Model for OWL Proofs
by: Yang, Hui, et al.
Published: (2026)

On the Boolean Network Theory of Datalog$^\neg$
by: Trinh, Van-Giang, et al.
Published: (2025)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Capability Safety as Datalog: A Foundational Equivalence
by: Spera, Cosimo
Published: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams
by: Proost, Cas, et al.
Published: (2026)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
by: Artale, Alessandro, et al.
Published: (2025)

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

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
by: Xu, Yang, et al.
Published: (2026)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
by: Averkov, Daniil, et al.
Published: (2024)

Investigations into Proof Structures
by: Wernhard, Christoph, et al.
Published: (2023)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
by: Itoh, Kei
Published: (2025)

Practical Reasoning in DatalogMTL
by: Wang, Dingmin, et al.
Published: (2024)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
by: Hinnerichs, Tilman, et al.
Published: (2022)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
by: Dogmus, Zeynep, et al.
Published: (2013)

Lemmas: Generation, Selection, Application
by: Rawson, Michael, et al.
Published: (2023)

Information Science Principles of Machine Learning: A Causal Chain Meta-Framework Based on Formalized Information Mapping
by: Xu, Jianfeng
Published: (2025)

SAT Encoding of Partial Ordering Models for Graph Coloring Problems
by: Faber, Daniel, et al.
Published: (2024)

On-the-fly Synthesis for LTL over Finite Traces: An Efficient Approach that Counts
by: Xiao, Shengping, et al.
Published: (2024)

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)

s2n-bignum-bench: A practical benchmark for evaluating low-level code reasoning of LLMs
by: Rao, Balaji, et al.
Published: (2026)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
by: Marković, Đorđe, et al.
Published: (2025)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Similarity-based analogical proportions
by: Antić, Christian
Published: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
by: Bloch, Isabelle, et al.
Published: (2025)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
by: Joyce, Johnny
Published: (2025)

Dynamic Logic of Trust-Based Beliefs
by: Jiang, Junli, et al.
Published: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
by: Bonanno, Giacomo
Published: (2026)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

An Axiomatic Study of the Evaluation of Enthymeme Decoding in Weighted Structured Argumentation
by: Ben-Naim, Jonathan, et al.
Published: (2024)

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
by: Danso, Priscilla Kyei, et al.
Published: (2026)

Evaluating SAT and SMT Solvers on Large-Scale Sudoku Puzzles
by: Davis, Liam, et al.
Published: (2025)

Explaining Bayesian Networks in Natural Language using Factor Arguments. Evaluation in the medical domain
by: Sevilla, Jaime, et al.
Published: (2024)

Continuous reasoning for adaptive container image distribution in the cloud-edge continuum
by: Azzolini, Damiano, et al.
Published: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
by: Manière, Quentin, et al.
Published: (2024)

Fixpoint Semantics for DatalogMTL with Negation
by: Pollaci, Samuele
Published: (2026)

Meta Operator for Complex Query Answering on Knowledge Graphs
by: Yin, Hang, et al.
Published: (2024)