Get Started
Research questionHow can totally ordered HTN planning support reasoning over numeric fluents?Totally ordered HTN planners must decompose tasks while tracking numeric fluents that change across actions. Limited support for these values makes it difficult to determine whether hierarchical plans satisfy numerical constraints.
AI
Evaluation & Benchmarks
Reasoning
Research Paper
Latest papersRecent research connected to this question, newest first.Towards Numerical TOHTN Planning with SMT-based HTN-SAT EncodingApplies to numerical Totally-Ordered HTN (TOHTN) planning. The source studies SAT-based encodings extended with SMT and reports a benchmark suite and experimental baseline; it does not address broader HTN variants.research paper · Sep 3, 2026
Related questions
How can planning in temporal dynamic knowledge graphs handle missing facts and action ramifications while preserving decidability?When can reasoning LLMs reliably optimize numerical and semantically rich discrete search spaces in batches?How can language models perform complex logical reasoning without accumulating token-level errors?How can we quantify and reduce divergent, nonsensical reasoning in large language models?
Home
Topics
Search
Library