Formal Approaches to Agent-Based Systems: First ...
Preview
Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA J ̈org
Siekmann, University of Saarland, Saarbr ̈ucken, Germany Volume Editors
James L. Rash Walt Truszkowski Michael G. Hinchey NASA Goddard Space
Flight ...