Solving Bratman's Video Game Puzzle in Two Formalisms

Publication type: 
Contributo in atti di convegno
Author or Creator: 
Trypuz
R.
Lorini
E.
Vieu
L.
Source: 
ILCLI International Workshop on Logic and Philosophy of Knowledge, Communication and Action (LogKCA-07), Donostia, Spain, 2007
Date: 
2007
Resource Identifier: 
http://www.cnr.it/prodotto/i/93541