A Framework for Belief-based Programs and Their Verification (Abstract Reprint).

Daxin Liu, Gerhard Lakemeyer

Browse the full AAAI paper archive.