Image de couverture de livre

An Undecidability Proof for the Plan Existence Problem

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Achilleos, Antonis
Format:	Preprint
Publié:	2026
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

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

Systemic Constraints of Undecidability
par: Bulin, Seth
Publié: (2025)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
par: Achilleos, Antonis, et autres
Publié: (2023)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
par: Wang, David, et autres
Publié: (2025)

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

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
par: Cabral, Rafael, et autres
Publié: (2025)

Investigations into Proof Structures
par: Wernhard, Christoph, et autres
Publié: (2023)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
par: Achilleos, Antonis, et autres
Publié: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
par: Aceto, Luca, et autres
Publié: (2025)

Deciding characteristic formulae: A journey in the branching-time spectrum
par: Aceto, Luca, et autres
Publié: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
par: Aceto, Luca, et autres
Publié: (2024)

Large Language Model for OWL Proofs
par: Yang, Hui, et autres
Publié: (2026)

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

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

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

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

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
par: Yin, David, et autres
Publié: (2025)

StepProof: Step-by-step verification of natural language mathematical proofs
par: Hu, Xiaolin, et autres
Publié: (2025)

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

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
par: Shen, Austin, et autres
Publié: (2026)

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

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
par: Gonzalez, Salwa Tabet, et autres
Publié: (2024)

Complexity results for modal logic with recursion via translations and tableaux
par: Aceto, Luca, et autres
Publié: (2023)

Counterfactual Explanations as Plans
par: Belle, Vaishak
Publié: (2025)

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

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
par: Goertzel, Ben
Publié: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
par: Pontiggia, Francesco, et autres
Publié: (2025)

Undecidability of theories of semirings with fixed points
par: Das, Anupam, et autres
Publié: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
par: Beutner, Raven, et autres
Publié: (2025)

An ASP-based Solution to the Medical Appointment Scheduling Problem
par: Vozna, Alina, et autres
Publié: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
par: Trinh, Van-Giang, et autres
Publié: (2025)

Long-term Power Grid Planning via Answer Set Programming
par: Ielo, Antonio, et autres
Publié: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
par: Köcher, Aljosha, et autres
Publié: (2023)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
par: Wernhard, Christoph
Publié: (2017)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
par: George, Anne-Marie, et autres
Publié: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
par: Liang, Zhenwen, et autres
Publié: (2025)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
par: Švancár, Slavomír, et autres
Publié: (2024)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
par: Fishell, William, et autres
Publié: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
par: Van Kieu, Tuyen, et autres
Publié: (2026)