Dettaglio pubblicazione
2009, Proceedings of 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), Pages 662-672
First-Order Strong Progression for Local-Effect Basic Action Theories (04b Atto di convegno in volume)
Vassos Stavros, Gerhard Lakemeyer, Hector Levesque
keywords