Cover Image

Feasibility Preservation under Monotone Retrieval Truncation

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Plummer, Sean
Format:	Preprint
Published:	2026
Subjects:	Logic in Computer Science Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Propositional Abduction via Only-Knowing: A Non-Monotonic Approach
by: Molick, Sanderson, et al.
Published: (2026)

3D-Prover: Diversity Driven Theorem Proving With Determinantal Point Processes
by: Lamont, Sean, et al.
Published: (2024)

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

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

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

Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties
by: Akshay, S., et al.
Published: (2024)

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

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)

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)

Database Querying under Missing Values Governed by Missingness Mechanisms
by: Bertossi, Leopoldo, et al.
Published: (2026)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)

The Common Core Ontologies
by: Jensen, Mark, et al.
Published: (2024)

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

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

The Sticky Path to Expressive Querying: Decidability of Navigational Queries under Existential Rules
by: Ostropolski-Nalewaja, Piotr, et al.
Published: (2024)

Feasibility-Guided Fair Adaptive Offline Reinforcement Learning for Medicaid Care Management
by: Basu, Sanjay, et al.
Published: (2025)

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving
by: Lamont, Sean, et al.
Published: (2024)

Premise Selection for a Lean Hammer
by: Zhu, Thomas, et al.
Published: (2025)

Llemma: An Open Language Model For Mathematics
by: Azerbayev, Zhangir, et al.
Published: (2023)

Analogical proportions II
by: Antić, Christian
Published: (2024)

Privacy-Preserving Personalization in Education: A Federated Recommender System for Student Performance Prediction
by: Tertulino, Rodrigo, et al.
Published: (2025)

Information Physics of Intelligence: Unifying Logical Depth and Entropy under Thermodynamic Constraints
by: Xu, Jianfeng, et al.
Published: (2025)

Incremental Neural Network Verification via Learned Conflicts
by: Elsaleh, Raya, et al.
Published: (2026)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

Substrate Stability Under Persistent Disagreement: Structural Constraints for Neutral Ontological Substrates
by: Case, Denise M.
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 Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

An Undecidability Proof for the Plan Existence Problem
by: Achilleos, Antonis
Published: (2026)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

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

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
by: Olson, Taylor
Published: (2026)

Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical Report
by: Cramer, Marcos, et al.
Published: (2026)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
by: Schön, Oliver, et al.
Published: (2026)

Long-term Power Grid Planning via Answer Set Programming
by: Ielo, Antonio, et al.
Published: (2026)

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