:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Classen, Jens, Liu, Daxin
Format:	Preprint
Published:	2026
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2605.12691
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments
by: Hofmann, Till, et al.
Published: (2024)

Adding Circumscription to Decidable Fragments of First-Order Logic: A Complexity Rollercoaster
by: Lutz, Carsten, et al.
Published: (2024)

Decidability of Querying First-Order Theories via Countermodels of Finite Width
by: Feller, Thomas, et al.
Published: (2023)

A Counterfactual Cause in Situation Calculus
by: Liu, Daxin, et al.
Published: (2025)

Critical Windows of Complexity Control: When Transformers Decide to Reason or Memorize
by: Ali, Sarwan
Published: (2026)

Beyond the First Error: Process Reward Models for Reflective Mathematical Reasoning
by: Yang, Zhaohui, et al.
Published: (2025)

Deciding the Satisfiability of Combined Qualitative Constraint Networks
by: Cohen-Solal, Quentin, et al.
Published: (2026)

Learning to Decide with Just Enough: Information-Theoretic Context Summarization for CMDPs
by: Liu, Peidong, et al.
Published: (2025)

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

GeoDecider: A Coarse-to-Fine Agentic Workflow for Explainable Lithology Classification
by: Wang, Jiahao, et al.
Published: (2026)

Deciding When Not to Decide: Indeterminacy-Aware Intrusion Detection with NeutroSENSE
by: Al-Masri, Eyhab
Published: (2025)

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

Tracking vs. Deciding: The Dual-Capability Bottleneck in Searchless Chess Transformers
by: Li, Quanhao, et al.
Published: (2026)

How Hard is it to Decide if a Fact is Relevant to a Query?
by: Bienvenu, Meghyn, et al.
Published: (2026)

First-Order Representation Languages for Goal-Conditioned RL
by: Ståhlberg, Simon, et al.
Published: (2025)

Deep Generative Prior for First Order Inverse Optimization
by: Yang, Haoyu, et al.
Published: (2025)

Learning When Not to Decide: A Framework for Overcoming Factual Presumptuousness in AI Adjudication
by: Afane, Mohamed, et al.
Published: (2026)

The Prompt War: How AI Decides on a Military Intervention
by: Chupilkin, Maxim
Published: (2025)

Reason2Decide: Rationale-Driven Multi-Task Learning
by: Hasan, H M Quamran, et al.
Published: (2025)

SpotAgent: Grounding Visual Geo-localization in Large Vision-Language Models through Agentic Reasoning
by: Jia, Furong, et al.
Published: (2026)

Algorithms for Deciding the Safety of States in Fully Observable Non-deterministic Problems: Technical Report
by: Schmalz, Johannes, et al.
Published: (2026)

Unlocking Apple's Private Cloud Compute: An Analysis of Privacy-Preserving Artificial Intelligence
by: Dittmar, Yannik, et al.
Published: (2026)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
by: Lee, Isabelle, et al.
Published: (2025)

Towards Practical First-Order Model Counting
by: Kidambi, Ananth K., et al.
Published: (2025)

Enhancing Transformers for Generalizable First-Order Logical Entailment
by: Zheng, Tianshi, et al.
Published: (2025)

DialogueReason: Rule-Based RL Sparks Dialogue Reasoning in LLMs
by: Shu, Yubo, et al.
Published: (2025)

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
by: Coumes, Simon, et al.
Published: (2026)

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
by: Grau, Bernardo Cuenca, et al.
Published: (2025)

First-Order Efficiency for Probabilistic Value Estimation via A Statistical Viewpoint
by: Liu, Ziqi, et al.
Published: (2026)

RLJP: Legal Judgment Prediction via First-Order Logic Rule-enhanced with Large Language Models
by: Zhang, Yue, et al.
Published: (2025)

Learning to Decide with AI Assistance under Human-Alignment
by: Benz, Nina Corvelo, et al.
Published: (2026)

Coupled Local and Global World Models for Efficient First Order RL
by: Amigo, Joseph, et al.
Published: (2026)

Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories
by: Hofmann, Till, et al.
Published: (2024)

ABD: Default Exception Abduction in Finite First Order Worlds
by: Batzoglou, Serafim
Published: (2026)

Visual Perceptual to Conceptual First-Order Rule Learning Networks
by: Gao, Kun, et al.
Published: (2026)

Lifted Inference beyond First-Order Logic
by: Malhotra, Sagar, et al.
Published: (2023)

Learning First-Order Rules with Relational Path Contrast for Inductive Relation Reasoning
by: Pan, Yudai, et al.
Published: (2021)

Dimer-Enhanced Optimization: A First-Order Approach to Escaping Saddle Points in Neural Network Training
by: Hu, Yue, et al.
Published: (2025)

Hypertext Entity Extraction in Webpage
by: Yang, Yifei, et al.
Published: (2024)

Primitive Agentic First-Order Optimization
by: Sala, R.
Published: (2024)