Formalization of Reasoning about Default Action (Preliminary Report)

Anna Radzikowska. Formalization of Reasoning about Default Action (Preliminary Report). In Dov M. Gabbay, Hans Jürgen Ohlbach, editors, Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR 96, Bonn, Germany, June 3-7, 1996, Proceedings. Volume 1085 of Lecture Notes in Computer Science, pages 540-554, Springer, 1996.

Authors

Anna Radzikowska

This author has not been identified. Look up 'Anna Radzikowska' in Google