Copertina

Counting and Reasoning with Plans

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Speck, David, Hecher, Markus, Gnad, Daniel, Fichte, Johannes K., Corrêa, Augusto B.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

The Model Counting Competition 2020
di: Fichte, Johannes K., et al.
Pubblicazione: (2020)

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

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

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

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

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

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

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

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

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

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

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

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

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

Counterfactual Reasoning in Automated Planning
di: Pozanco, Alberto, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

The Universal PDDL Domain
di: Haslum, Patrik, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

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

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

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

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

Graph Reasoning Networks
di: Zopf, Markus, et al.
Pubblicazione: (2024)

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

Reinforced Reasoning for Embodied Planning
di: Wu, Di, et al.
Pubblicazione: (2025)

Structure-Guided Automated Reasoning
di: Bannach, Max, et al.
Pubblicazione: (2023)

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

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