Formal Approaches to Agent-Based Systems - Hinchey, Michael G.; Kanade, Takeo; Rash, James L.; Rouff, Christopher A.; Truszkowski, Walter F. (Springer Berlin / Heidelberg, 2005)
Keywords: Information Technology -- Artificial Intelligence