Buchumschlag

An Undecidability Proof for the Plan Existence Problem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Achilleos, Antonis
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic in Computer Science Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On Formally Undecidable Traits of Intelligent Machines
von: Fox, Matthew
Veröffentlicht: (2024)

Systemic Constraints of Undecidability
von: Bulin, Seth
Veröffentlicht: (2025)

If At First You Don't Succeed: Extended Monitorability through Multiple Executions
von: Achilleos, Antonis, et al.
Veröffentlicht: (2023)

Formally Verified Certification of Unsolvability of Temporal Planning Problems
von: Wang, David, et al.
Veröffentlicht: (2025)

Translating Informal Proofs into Formal Proofs Using a Chain of States
von: Wang, Ziyu, et al.
Veröffentlicht: (2025)

ProofFlow: A Dependency Graph Approach to Faithful Proof Autoformalization
von: Cabral, Rafael, et al.
Veröffentlicht: (2025)

Investigations into Proof Structures
von: Wernhard, Christoph, et al.
Veröffentlicht: (2023)

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
von: Achilleos, Antonis, et al.
Veröffentlicht: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

Deciding characteristic formulae: A journey in the branching-time spectrum
von: Aceto, Luca, et al.
Veröffentlicht: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
von: Aceto, Luca, et al.
Veröffentlicht: (2024)

Large Language Model for OWL Proofs
von: Yang, Hui, et al.
Veröffentlicht: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
von: Szeider, Stefan
Veröffentlicht: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
von: Dekhil, Nour, et al.
Veröffentlicht: (2024)

Abstraction-Based Proof Production in Formal Verification of Neural Networks
von: Elboher, Yizhak Yisrael, et al.
Veröffentlicht: (2025)

Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
von: Arkoudas, Konstantine, et al.
Veröffentlicht: (2026)

Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs
von: Yin, David, et al.
Veröffentlicht: (2025)

StepProof: Step-by-step verification of natural language mathematical proofs
von: Hu, Xiaolin, et al.
Veröffentlicht: (2025)

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
von: Ahmad, Faseeh, et al.
Veröffentlicht: (2019)

Keep the Proof State Live: Snapshotting for Efficient Tactic Search in Lean 4
von: Shen, Austin, et al.
Veröffentlicht: (2026)

Simplifying Formal Proof-Generating Models with ChatGPT and Basic Searching Techniques
von: Han, Sangjun, et al.
Veröffentlicht: (2025)

Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving
von: Gonzalez, Salwa Tabet, et al.
Veröffentlicht: (2024)

Complexity results for modal logic with recursion via translations and tableaux
von: Aceto, Luca, et al.
Veröffentlicht: (2023)

Counterfactual Explanations as Plans
von: Belle, Vaishak
Veröffentlicht: (2025)

Bridging LLM Planning Agents and Formal Methods: A Case Study in Plan Verification
von: Ramani, Keshav, et al.
Veröffentlicht: (2025)

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
von: Goertzel, Ben
Veröffentlicht: (2025)

Decentralized Planning Using Probabilistic Hyperproperties
von: Pontiggia, Francesco, et al.
Veröffentlicht: (2025)

Undecidability of theories of semirings with fixed points
von: Das, Anupam, et al.
Veröffentlicht: (2025)

On Conformant Planning and Model-Checking of $\exists^*\forall^*$ Hyperproperties
von: Beutner, Raven, et al.
Veröffentlicht: (2025)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
von: Azzolini, Damiano, et al.
Veröffentlicht: (2024)

Graphical Conditions for the Existence, Unicity and Number of Regular Models
von: Trinh, Van-Giang, et al.
Veröffentlicht: (2025)

Long-term Power Grid Planning via Answer Set Programming
von: Ielo, Antonio, et al.
Veröffentlicht: (2026)

Automated Process Planning Based on a Semantic Capability Model and SMT
von: Köcher, Aljosha, et al.
Veröffentlicht: (2023)

The Boolean Solution Problem from the Perspective of Predicate Logic -- Extended Version
von: Wernhard, Christoph
Veröffentlicht: (2017)

Towards Fast Algorithms for the Preference Consistency Problem Based on Hierarchical Models
von: George, Anne-Marie, et al.
Veröffentlicht: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
von: Liang, Zhenwen, et al.
Veröffentlicht: (2025)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
von: Švancár, Slavomír, et al.
Veröffentlicht: (2024)

Research Vision: Multi-Agent Path Planning for Cops And Robbers Via Reactive Synthesis
von: Fishell, William, et al.
Veröffentlicht: (2025)

Solving the Two-dimensional single stock size Cutting Stock Problem with SAT and MaxSAT
von: Van Kieu, Tuyen, et al.
Veröffentlicht: (2026)