Refining autonomous agents with declarative beliefs and desires

Qin Li, Graeme Smith. Refining autonomous agents with declarative beliefs and desires. Formal Asp. Comput., 29(2):227-249, 2017. [doi]

Abstract

Abstract is missing.