Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello. A Verifiable Logic-Based Agent Architecture. In Floriana Esposito, Zbigniew W. Ras, Donato Malerba, Giovanni Semeraro, editors, Foundations of Intelligent Systems, 16th International Symposium, ISMIS 2006, Bari, Italy, September 27-29, 2006, Proceedings. Volume 4203 of Lecture Notes in Computer Science, pages 188-197, Springer, 2006. [doi]
Abstract is missing.