Agent Technology from a Formal Perspective - Rouff, Christopher A.; Hinchey, Michael; Rash, James; Truszkowski, Walter; Gordon-Spears, Diana; SpringerLink (Online service) (London : Springer London, 2006)
Keywords: Computer science; Artificial intelligence; Computer Science; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics).