Skip to content

A Model of Decidable Introspective Reasoning with Quantifying-In.

Gerhard Lakemeyer

VenueA*IJCAI
Year1991
ProceedingsIJCAI

Browse the full IJCAI paper archive.