A Model of Decidable Introspective Reasoning with Quantifying-In

Gerhard Lakemeyer. A Model of Decidable Introspective Reasoning with Quantifying-In. In IJCAI. pages 492-497, 1991.

Authors

Gerhard Lakemeyer

This author has not been identified. Look up 'Gerhard Lakemeyer' in Google