Agostino Dovier, Andrea Formisano, Enrico Pontelli. BAAC: A Prolog System for Action Description and Agents Coordination. In John P. Gallagher, Michael Gelfond, editors, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, July 6-10, 2011, Lexington, Kentucky, USA. Volume 11 of LIPIcs, pages 187-197, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]
Abstract is missing.