Karin Koogan Breitman, Aluízio Haendchen Filho, Edward Hermann Haeusler, Arndt von Staa. Using Ontologies to Formalize Services Specifications in Multi-agent Systems. In Michael G. Hinchey, James L. Rash, Walt Truszkowski, Christopher Rouff, editors, Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, FAABS 2004, Greenbelt, MD, USA, April 26-27, 2004, Revised Selected Papers. Volume 3228 of Lecture Notes in Computer Science, pages 92-110, Springer, 2004. [doi]
Abstract is missing.