Dettaglio pubblicazione
2008, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09), Pages 135-140
Progressing basic action theories with non-local effect actions (04b Atto di convegno in volume)
Vassos Stavros, Sebastian Sardina, Hector Levesque
keywords