Imagen de Portada

PDDL Axioms Are Equivalent to Least Fixed Point Logic (Extended Version)

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Grundke, Claudia, Röger, Gabriele
Formato:	Preprint
Publicado:	2025
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Compiling Temporal Numeric Planning into Discrete PDDL+: Extended Version
por: Micheli, Andrea, et al.
Publicado: (2026)

Safe Learning of PDDL Domains with Conditional Effects -- Extended Version
por: Mordoch, Argaman, et al.
Publicado: (2024)

Automated planning with ontologies under coherence update semantics (Extended Version)
por: Borgwardt, Stefan, et al.
Publicado: (2025)

Toward PDDL Planning Copilot
por: Benyamin, Yarin, et al.
Publicado: (2025)

Non-Monotonic S4F Standpoint Logic (Extended Version with Proofs)
por: Gorczyca, Piotr, et al.
Publicado: (2025)

Learning Interpretable Classifiers for PDDL Planning
por: Lequen, Arnaud
Publicado: (2024)

Real-World Planning with PDDL+ and Beyond
por: Piotrowski, Wiktor, et al.
Publicado: (2024)

The Universal PDDL Domain
por: Haslum, Patrik, et al.
Publicado: (2024)

A Logic of General Attention Using Edge-Conditioned Event Models (Extended Version)
por: Belardinelli, Gaia, et al.
Publicado: (2025)

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

Playing Angry Birds with a Domain-Independent PDDL+ Planner
por: Piotrowski, Wiktor, et al.
Publicado: (2021)

Generating consistent PDDL domains with Large Language Models
por: Smirnov, Pavel, et al.
Publicado: (2024)

Synthetic Concept Evolution Under the Axiom of Truth
por: Rubendall, C. Mike "WildFacts"
Publicado: (2025)

Language Models For Generalised PDDL Planning: Synthesising Sound and Programmatic Policies
por: Chen, Dillon Z., et al.
Publicado: (2025)

An Extensive Evaluation of PDDL Capabilities in off-the-shelf LLMs
por: Vyas, Kaustubh, et al.
Publicado: (2025)

End-to-end PDDL Planning with Hardcoded and Dynamic Agents
por: La Malfa, Emanuele, et al.
Publicado: (2025)

Model-based Workflow for the Automated Generation of PDDL Descriptions
por: Nabizada, Hamied, et al.
Publicado: (2024)

LogicPrpBank: A Corpus for Logical Implication and Equivalence
por: Liu, Zhexiong, et al.
Publicado: (2024)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
por: Buraglio, Giovanni, et al.
Publicado: (2026)

Agentic LLM Planning via Step-Wise PDDL Simulation: An Empirical Characterisation
por: Göbel, Kai, et al.
Publicado: (2026)

The Explanation Game -- Rekindled (Extended Version)
por: Marques-Silva, Joao, et al.
Publicado: (2025)

On the Equivalence between Logic Programming and SETAF
por: Alcântara, João, et al.
Publicado: (2024)

From Capability Models to Automated Planning: An AAS-Native Approach for Automatic PDDL Generation
por: Nabizada, Hamied, et al.
Publicado: (2026)

GenePlan: Evolving Better Generalized PDDL Plans using Large Language Models
por: Murray, Andrew, et al.
Publicado: (2026)

Automating the Generation of Prompts for LLM-based Action Choice in PDDL Planning
por: Stein, Katharina, et al.
Publicado: (2023)

Fixed Point Explainability
por: La Malfa, Emanuele, et al.
Publicado: (2025)

Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation
por: Nabizada, Hamied, et al.
Publicado: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
por: Heyninck, Jesse, et al.
Publicado: (2023)

Do It for HER: First-Order Temporal Logic Reward Specification in Reinforcement Learning (Extended Version)
por: Olivieri, Pierriccardo, et al.
Publicado: (2026)

Monitoring Data-aware Temporal Properties (Extended Version)
por: Gianola, Alessandro, et al.
Publicado: (2026)

BPMN to PDDL: Translating Business Workflows for AI Planning
por: Nie, Jasper, et al.
Publicado: (2025)

The Shape of a Benedictine Monastery: The SaintGall Ontology (Extended Version)
por: Cantale, Claudia, et al.
Publicado: (2017)

PDDL-Mind: Large Language Models are Capable on Belief Reasoning with Reliable State Tracking
por: Zhu, Wang Bill, et al.
Publicado: (2026)

Extending Complex Logical Queries on Uncertain Knowledge Graphs
por: Fei, Weizhi, et al.
Publicado: (2024)

The Relativity of AGI: Distributional Axioms, Fragility, and Undecidability
por: Majumdar, Angshul
Publicado: (2026)

A Formalism for Optimal Search with Dynamic Heuristics (Extended Version)
por: Christen, Remo, et al.
Publicado: (2025)

Reasoning about Actual Causes in Nondeterministic Domains -- Extended Version
por: Khan, Shakil M., et al.
Publicado: (2024)

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
por: Blümel, Lydia, et al.
Publicado: (2024)

From An LLM Swarm To A PDDL-Empowered HIVE: Planning Self-Executed Instructions In A Multi-Modal Jungle
por: Vyas, Kaustubh, et al.
Publicado: (2024)

Satisficing and Optimal Generalised Planning via Goal Regression (Extended Version)
por: Chen, Dillon Z., et al.
Publicado: (2025)