A Logic for Reasoning about Actions and Explicit Observations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gavin Rens, Ivan José Varzinczak, Thomas Meyer, Alexander Ferrein. A Logic for Reasoning about Actions and Explicit Observations. In Jiuyong Li, editor, AI 2010: Advances in Artificial Intelligence - 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings. Volume 6464 of Lecture Notes in Computer Science, pages 395-404, Springer, 2010. [doi]

This author has not been identified. Look up 'Gavin Rens' in GoogleThis author has not been identified. Look up 'Ivan José Varzinczak' in GoogleThis author has not been identified. Look up 'Thomas Meyer' in GoogleThis author has not been identified. Look up 'Alexander Ferrein' in Google

runs on WebDSL