返回目錄
書名:  Logical foundations for cognitive agents [electronic resource] : contributions in honor of Ray Reiter / Hector J. Levesque, Fiora Pirri (eds.)