A knowledge compilation perspective on queries and transformations for belief tracking

DOI10.1007/s10472-023-09908-4MaRDI QIDQ6630720

Hector Palacios, Sergej Scheck, Alexandre Niveau, Bruno Zanuttini

Publication date: 31 October 2024

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

partial observabilityaction languagesknowledge compilationnondeterministic planning

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Planning and acting in partially observable stochastic domains
• Online belief tracking using regression for contingent planning
• Learning generalized policies from planning examples using concept languages
• CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement
• Conformant planning via symbolic model checking and heuristic search
• A generic approach to planning in the presence of incomplete information: theory and implementation
• Conformant plans and beyond: principles and complexity
• NuSMV: A new symbolic model checker
• Conformant planning via heuristic forward search: A new approach
• The FF planning system: Fast plan generation through heuristic search
• A Concise Introduction to Models and Methods for Automated Planning
• Belief Tracking for Planning with Sensing: Width, Complexity and Approximations
• Bounded Query Classes
• Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
• Graph-Based Algorithms for Boolean Function Manipulation
• Replanning in Domains with Partial Information and Sensing Actions

This page was built for publication: A knowledge compilation perspective on queries and transformations for belief tracking