Dettaglio pubblicazione
2008, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), Pages 1004-1009 (volume: 2)
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture (04b Atto di convegno in volume)
VASSOS STAVROS, Hector Levesque
ISBN: 9781577353683
keywords