Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records. Journal of Logic and Computation (2005)

by J Ginzburg
Venue:Knowledge-Based Systems 15: 265–273 Joshi, A.K. (1983) Varieties of Cooperative Responses in Question-Answer Systems