Image de couverture de livre

Formally Verified Certification of Unsolvability of Temporal Planning Problems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Wang, David, Abdulaziz, Mohammad
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Formally Verified Approximate Policy Iteration
par: Schäffeler, Maximilian, et autres
Publié: (2024)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
par: Ahmad, Faseeh, et autres
Publié: (2019)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
par: Chevallier, Mark, et autres
Publié: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
par: Bourgaux, Camille, et autres
Publié: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
par: Ramani, Keshav, et autres
Publié: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
par: Farjami, Ali, et autres
Publié: (2026)

Causal-Temporal Event Graphs: A Formal Model for Recursive Agent Execution Traces
par: Foldvik, Simon
Publié: (2026)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
par: Ileri, Atalay Mert, et autres
Publié: (2024)

An Undecidability Proof for the Plan Existence Problem
par: Achilleos, Antonis
Publié: (2026)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
par: Kohlen, Bram, et autres
Publié: (2025)

Solving Formal Math Problems by Decomposition and Iterative Reflection
par: Zhou, Yichi, et autres
Publié: (2025)

Learning Formal Mathematics From Intrinsic Motivation
par: Poesia, Gabriel, et autres
Publié: (2024)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
par: Szeider, Stefan
Publié: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
par: Liu, Qi, et autres
Publié: (2025)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
par: Abdulaziz, Mohammad, et autres
Publié: (2026)

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

Rational Inference in Formal Concept Analysis
par: Carr, Lucas, et autres
Publié: (2025)

On Formally Undecidable Traits of Intelligent Machines
par: Fox, Matthew
Publié: (2024)

Formally Certified Approximate Model Counting
par: Tan, Yong Kiam, et autres
Publié: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
par: Wang, Ziyu, et autres
Publié: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
par: Dougherty, Quinn, et autres
Publié: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
par: Rashid, Adnan
Publié: (2026)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
par: Ospanov, Azim, et autres
Publié: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
par: Nikooroo, Saleh, et autres
Publié: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
par: Elboher, Yizhak Yisrael, et autres
Publié: (2025)

Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
par: Olson, Taylor
Publié: (2026)

Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
par: Arkoudas, Konstantine, et autres
Publié: (2026)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
par: Shea-Blymyer, Colin, et autres
Publié: (2024)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
par: Guasch, Antoni, et autres
Publié: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
par: Chen, Chen, et autres
Publié: (2025)

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

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
par: Han, Sangjun, et autres
Publié: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
par: Agarwal, Shubham, et autres
Publié: (2026)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
par: Yousefzadeh, Roozbeh, et autres
Publié: (2025)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
par: Kim, Chang-Eop
Publié: (2024)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
par: Ramirez, Miquel, et autres
Publié: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
par: Li, Sirui, et autres
Publié: (2025)