Logical foundations for cognitive agents : - Levesque, Hector J., 1951-; Pirri, Fiora (Artificial intelligence (Berlin, Germany), 1999)