ID-logic and the Ramification Problem for the Situation Calculus

Eugenia Ternovskaia. ID-logic and the Ramification Problem for the Situation Calculus. In Werner Horn, editor, ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000. pages 563-570, IOS Press, 2000.

Authors

Eugenia Ternovskaia

This author has not been identified. Look up 'Eugenia Ternovskaia' in Google