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