A generic approach to planning in the presence of incomplete information: theory and implementation

DOI10.1016/j.artint.2015.06.001zbMath1346.68181OpenAlexW779637183MaRDI QIDQ899156

Son Thanh To, Tran Cao Son, Enrico Pontelli

Publication date: 21 December 2015

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2015.06.001

zbMATH Keywords

planning with incomplete informationtransition functionprime implicatesconformant planningconjunctive normal form formuladisjunctive normal form formula

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Knowledge-based programs as succinct policies for partially observable domains ⋮ CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Online belief tracking using regression for contingent planning
• Approximation of action theories and its application to conformant planning
• Conformant planning via symbolic model checking and heuristic search
• An incremental method for generating prime implicants/implicates
• Computational complexity of planning and approximate planning in the presence of incompleteness
• Conformant planning via heuristic forward search: A new approach
• Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
• On the logic of theory change: Partial meet contraction and revision functions
• RST Flip-Flop Input Equations
• Formalizing sensing actions -- a transition function based approach

This page was built for publication: A generic approach to planning in the presence of incomplete information: theory and implementation