"Toward a programming theory for rational agents."

Koen V. Hindriks, John-Jules Ch. Meyer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics