Michael HincheyBooksAgent Technology from a Formal PerspectiveAutonomous and Autonomic SystemsArtificial Intelligence and Its ApplicationsAuthor data: Open Library