Logical and computational specification of rational agents. - Zacharias Bobolakis (1999)