Resource-Adaptive Model Generation as a Performance Model
Michael Kohlhase · Logic Journal of IGPL · 2003
: Model generation calculi, close relatives of tableau calculi for theorem proving, can be used as competence models for semantic natural language understanding. Unfortunately, all existing model generation calculi have computational problems and are not really plausible as performance models of actual human processing.