:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Parent, Xavier
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	https://arxiv.org/abs/2604.26977
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Extending Defeasibility for Propositional Standpoint Logics
by: Leisegang, Nicholas, et al.
Published: (2025)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Defeasible Reasoning on Concepts
by: Ding, Yiwen, et al.
Published: (2024)

Relative Expressiveness of Defeasible Logics II
by: Maher, Michael J.
Published: (2021)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
by: Shea-Blymyer, Colin, et al.
Published: (2024)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
by: Cantale, Claudia, et al.
Published: (2017)

Toward Robust Legal Text Formalization into Defeasible Deontic Logic using LLMs
by: Horner, Elias, et al.
Published: (2025)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
by: Wernhard, Christoph
Published: (2017)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)

Automated planning with ontologies under coherence update semantics (Extended Version)
by: Borgwardt, Stefan, et al.
Published: (2025)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
by: Fandinno, Jorge, et al.
Published: (2025)

Symbolic Synthesis for LTLf+ Obligations
by: De Giacomo, Giuseppe, et al.
Published: (2026)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
by: Hecher, Markus, et al.
Published: (2024)

Most General Explanations of Tree Ensembles (Extended Version)
by: Izza, Yacine, et al.
Published: (2025)

From Shapes to Shapes: Inferring SHACL Shapes for Results of SPARQL CONSTRUCT Queries (Extended Version)
by: Seifer, Philipp, et al.
Published: (2024)

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

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
by: Olivieri, Pierriccardo, et al.
Published: (2026)

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

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
by: Park, Young Bin
Published: (2026)

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

Normative Conditional Reasoning as a Fragment of HOL
by: Parent, Xavier, et al.
Published: (2023)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
by: George, Anne-Marie, et al.
Published: (2024)

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

Reliable Reasoning with Large Language Models via Preference-Based Maximum Satisfiability
by: Orvalho, Pedro, et al.
Published: (2026)

Semantic Bridges Between First Order c-Representations and Cost-Based Semantics: An Initial Perspective
by: Leisegang, Nicholas, et al.
Published: (2025)

Automated Process Planning Based on a Semantic Capability Model and SMT
by: Köcher, Aljosha, et al.
Published: (2023)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
by: Li, Ying, et al.
Published: (2024)

Extended Triangular Method: A Generalized Algorithm for Contradiction Separation Based Automated Deduction
by: Xu, Yang, et al.
Published: (2025)

When both Grounding and not Grounding are Bad -- A Partially Grounded Encoding of Planning into SAT (Extended Version)
by: Filipe, João, et al.
Published: (2026)

On the Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

Weighted Rules under the Stable Model Semantics
by: Lee, Joohyung, et al.
Published: (2026)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
by: Aria, Hadi Partovi, et al.
Published: (2026)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
by: Andrews, Uri, et al.
Published: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

SHACL Validation in the Presence of Ontologies: Semantics and Rewriting Techniques
by: Oudshoorn, Anouk, et al.
Published: (2025)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)

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

A New Tractable Description Logic under Categorical Semantics
by: Duc, Chan Le, et al.
Published: (2025)

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