Formal Approaches to Agent-Based Systems Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers - Hinchey, Michael G.; Rash, James L.; Truszkowski, Walter F.; Rouff, Christopher A.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2005)
Keywords: Computer science; Software engineering; Logic design; Artificial intelligence; Computer simulation; Information systems; Computer Science; Artificial Intelligence (incl. Robotics).; Software Engineering; Logics and Meanings of Programs; Simulation and Modeling; Special Purpose and Application-Based Systems; Computer Appl. in Administrative Data Processing