Reasoning about Sensing Actions in Domains with Multi-Valued Fluents.

Tran Cao Son Phan Huy Tu Xin Zhang

Published in: Stud Logica (2005)

Keyphrases

multi valued
sensing actions
situation calculus
partially observable domains
truth values
event calculus
planning problems
boolean functions
normal form
modal logic
initial state
special case
np hard
domain independent