:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Doherty, Patrick, Szalas, Andrzej
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2305.07233
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Techniques for Measuring the Inferential Strength of Forgetting Policies
by: Doherty, Patrick, et al.
Published: (2024)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
by: Szalas, Andrzej
Published: (2025)

Change in Quantitative Bipolar Argumentation: Sufficient, Necessary, and Counterfactual Explanations
by: Kampik, Timotheus, et al.
Published: (2025)

Logical Foundations and Complexity of 4QL, a Query Language with Unrestricted Negation
by: Maluszynski, Jan, et al.
Published: (2010)

LLMs and Fuzzing in Tandem: A New Approach to Automatically Generating Weakest Preconditions
by: King, Daragh, et al.
Published: (2025)

A Neurosymbolic Approach to Loop Invariant Generation via Weakest Precondition Reasoning
by: King, Daragh, et al.
Published: (2025)

On Probabilistic and Causal Reasoning with Summation Operators
by: Ibeling, Duligur, et al.
Published: (2024)

Conditionals Based on Selection Functions, Modal Operators and Probabilities
by: Flaminio, Tommaso, et al.
Published: (2025)

The Optimal Choice of Hypothesis Is the Weakest, Not the Shortest
by: Bennett, Michael Timothy
Published: (2023)

How should I compute my candidates? A taxonomy and classification of diagnosis computation algorithms
by: Rodler, Patrick
Published: (2022)

Sufficient Explanations in Databases and their Connections to Database Repairs
by: Bertossi, Leopoldo, et al.
Published: (2025)

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

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

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

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

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
by: Ganguly, Abhisek
Published: (2025)

Operator-based semantics for choice programs: is choosing losing? (full version)
by: Heyninck, Jesse
Published: (2024)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
by: Rashid, Adnan
Published: (2026)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
by: Heyninck, Jesse
Published: (2024)

Defeasible Conditional Obligation in a Two-tiered Preference-based Semantics (Extended Version)
by: Parent, Xavier
Published: (2026)

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
by: Bordg, Anthony
Published: (2026)

Don't Forget Imagination!
by: Vityaev, Evgenii E., et al.
Published: (2025)

Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
by: David, Victor, et al.
Published: (2026)

Can You Tell the Difference? Contrastive Explanations for ABox Entailments
by: Koopmann, Patrick, et al.
Published: (2025)

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

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

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)

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

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

Context-aware, Ante-hoc Explanations of Driving Behaviour
by: Grundt, Dominik, et al.
Published: (2025)

A Weakest Precondition Calculus for Programs and Linear Temporal Specifications
by: Ernst, Gidon
Published: (2026)

DECIDER: A Dual-System Rule-Controllable Decoding Framework for Language Generation
by: Xu, Chen, 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)

Higher-Order Weakest Precondition Transformers via a CPS Transformation
by: Kura, Satoshi
Published: (2023)

Defining implication relation for classical logic
by: Fu, Li
Published: (2013)

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

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)