Fariba Sadri, Francesca Toni. A Formal Analysis of KGP Agents. In Michael Fisher, Wiebe van der Hoek, Boris Konev, Alexei Lisitsa, editors, Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings. Volume 4160 of Lecture Notes in Computer Science, pages 413-425, Springer, 2006. [doi]
Abstract is missing.