Formal Models of Agents ESPRIT Project ModelAge Final Report Selected Papers | EKB DL