Imagen de Portada

Counting and Reasoning with Plans

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Speck, David, Hecher, Markus, Gnad, Daniel, Fichte, Johannes K., Corrêa, Augusto B.
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

The Model Counting Competitions 2021-2023
por: Fichte, Johannes K., et al.
Publicado: (2025)

The Model Counting Competition 2020
por: Fichte, Johannes K., et al.
Publicado: (2020)

Epistemic Logic Programs: Non-Ground and Counting Complexity
por: Eiter, Thomas, et al.
Publicado: (2025)

Structure-Aware Encodings of Argumentation Properties for Clique-width
por: Mahmood, Yasir, et al.
Publicado: (2025)

Diversity of Extensions in Abstract Argumentation
por: Fichte, Johannes K., et al.
Publicado: (2026)

Rejection in Abstract Argumentation: Harder Than Acceptance?
por: Fichte, Johannes K., et al.
Publicado: (2024)

Facets in Argumentation: A Formal Approach to Argument Significance
por: Fichte, Johannes, et al.
Publicado: (2025)

Extended Version of: On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?
por: Hecher, Markus, et al.
Publicado: (2024)

Finite Groundings for ASP with Functions: A Journey through Consistency
por: Gerlach, Lukas, et al.
Publicado: (2024)

Complexity of Faceted Explanations in Propositional Abduction
por: Schmidt, Johannes, et al.
Publicado: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

Property-Guided LLM Program Synthesis for Planning
por: Pereira, André G., et al.
Publicado: (2026)

Count Counts: Motivating Exploration in LLM Reasoning with Count-based Intrinsic Rewards
por: Zhang, Xuan, et al.
Publicado: (2025)

Classical Planning with LLM-Generated Heuristics: Challenging the State of the Art with Python Code
por: Corrêa, Augusto B., et al.
Publicado: (2025)

Hierarchical Task Network Planning with LLM-Generated Heuristics
por: Meneguzzi, Felipe, et al.
Publicado: (2026)

Counterfactual Reasoning in Automated Planning
por: Pozanco, Alberto, et al.
Publicado: (2026)

DualAD: Dual-Layer Planning for Reasoning in Autonomous Driving
por: Wang, Dingrui, et al.
Publicado: (2024)

Artifact of ApproxASP– A Scalable Approximate Answer Set Counter
por: Mohimenul, Kabir, et al.
Publicado: (2026)

Count-based Novelty Exploration in Classical Planning
por: Rosa, Giacomo, et al.
Publicado: (2024)

A Planning Compilation to Reason about Goal Achievement at Planning Time
por: Pozanco, Alberto, et al.
Publicado: (2025)

Consolidating LAMA with Best-First Width Search
por: Corrêa, Augusto B., et al.
Publicado: (2024)

On Reasoning Strength Planning in Large Reasoning Models
por: Sheng, Leheng, et al.
Publicado: (2025)

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

From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
por: Hecher, Markus, et al.
Publicado: (2025)

CoIn: Counting the Invisible Reasoning Tokens in Commercial Opaque LLM APIs
por: Sun, Guoheng, et al.
Publicado: (2025)

On the Empirical Complexity of Reasoning and Planning in LLMs
por: Kang, Liwei, et al.
Publicado: (2024)

Iterative Deployment Improves Planning Skills in LLMs
por: Corrêa, Augusto B., et al.
Publicado: (2025)

LLM+Reasoning+Planning for Supporting Incomplete User Queries in Presence of APIs
por: Agarwal, Sudhir, et al.
Publicado: (2024)

Generalized Planning for the Abstraction and Reasoning Corpus
por: Lei, Chao, et al.
Publicado: (2024)

Model Space Reasoning as Search in Feedback Space for Planning Domain Generation
por: Oswald, James, et al.
Publicado: (2026)

PlanU: Large Language Model Reasoning through Planning under Uncertainty
por: Deng, Ziwei, et al.
Publicado: (2025)

Reinforced Reasoning for End-to-End Retrosynthetic Planning
por: Zuo, Chenyang, et al.
Publicado: (2026)

ACPBench: Reasoning about Action, Change, and Planning
por: Kokel, Harsha, et al.
Publicado: (2024)

Reasoning as Energy Minimization over Structured Latent Trajectories
por: Johansson, David K.
Publicado: (2026)

Graph Reasoning Networks
por: Zopf, Markus, et al.
Publicado: (2024)

Frontier Large Language Models Rival State-of-the-Art Planners
por: Corrêa, Augusto B., et al.
Publicado: (2025)

Reinforced Reasoning for Embodied Planning
por: Wu, Di, et al.
Publicado: (2025)

Structure-Guided Automated Reasoning
por: Bannach, Max, et al.
Publicado: (2023)

Planning with Reasoning using Vision Language World Model
por: Chen, Delong, et al.
Publicado: (2025)

Faithful-First Reasoning, Planning, and Acting for Multimodal LLMs
por: Li, Junxian, et al.
Publicado: (2025)