Copertina

Formally Verified Certification of Unsolvability of Temporal Planning Problems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Wang, David, Abdulaziz, Mohammad
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Formally Verified Approximate Policy Iteration
di: Schäffeler, Maximilian, et al.
Pubblicazione: (2024)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
di: Ahmad, Faseeh, et al.
Pubblicazione: (2019)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
di: Chevallier, Mark, et al.
Pubblicazione: (2025)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
di: Ramani, Keshav, et al.
Pubblicazione: (2025)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)

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

VEL: A Formally Verified Reasoner for OWL2 EL Profile
di: Ileri, Atalay Mert, et al.
Pubblicazione: (2024)

An Undecidability Proof for the Plan Existence Problem
di: Achilleos, Antonis
Pubblicazione: (2026)

A Formally Verified IEEE 754 Floating-Point Implementation of Interval Iteration for MDPs
di: Kohlen, Bram, et al.
Pubblicazione: (2025)

Solving Formal Math Problems by Decomposition and Iterative Reflection
di: Zhou, Yichi, et al.
Pubblicazione: (2025)

Learning Formal Mathematics From Intrinsic Motivation
di: Poesia, Gabriel, et al.
Pubblicazione: (2024)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
di: Szeider, Stefan
Pubblicazione: (2026)

Beyond Theorem Proving: Formulation, Framework and Benchmark for Formal Problem-Solving
di: Liu, Qi, et al.
Pubblicazione: (2025)

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
di: Abdulaziz, Mohammad, et al.
Pubblicazione: (2026)

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

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

Rational Inference in Formal Concept Analysis
di: Carr, Lucas, et al.
Pubblicazione: (2025)

On Formally Undecidable Traits of Intelligent Machines
di: Fox, Matthew
Pubblicazione: (2024)

Formally Certified Approximate Model Counting
di: Tan, Yong Kiam, et al.
Pubblicazione: (2024)

Translating Informal Proofs into Formal Proofs Using a Chain of States
di: Wang, Ziyu, et al.
Pubblicazione: (2025)

Proving the Coding Interview: A Benchmark for Formally Verified Code Generation
di: Dougherty, Quinn, et al.
Pubblicazione: (2025)

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

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

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)

Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
di: Elboher, Yizhak Yisrael, et al.
Pubblicazione: (2025)

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

Formally Explaining Decision Tree Models with Answer Set Programming
di: Takemura, Akihiro, et al.
Pubblicazione: (2026)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)

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

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
di: Guasch, Antoni, et al.
Pubblicazione: (2025)

ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
di: Chen, Chen, et al.
Pubblicazione: (2025)

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

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
di: Han, Sangjun, et al.
Pubblicazione: (2025)

Inductive Deductive Synthesis: Enabling AI to Generate Formally Verified Systems
di: Agarwal, Shubham, et al.
Pubblicazione: (2026)

Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2025)

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

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
di: Ramirez, Miquel, et al.
Pubblicazione: (2024)

MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
di: Li, Sirui, et al.
Pubblicazione: (2025)