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.

Abstract

Abstract is missing.