Defining answer classes using resolution refutation

Anderson, 1975 Belnap, 1976 Borgida, 1996, Asking queries about frames, 340 Brachman, 2004 D.T. Burhans, A question answering interpretation of resolution refutation, PhD Dissertation, Technical Report 2002-03, Department of Computer Science, State University of New York at Buffalo, 2002 Chalupsky, 2002, WhyNot: debugging failed queries in large knowledge bases, 870 Chang, 1973 L. Cholvy, R. Demolombe, Querying a rule base, in: Proceedings of the First International Workshop on Expert Database Systems, 1986, pp. 365–371 Cholvy, 1990, Answering queries addressed to a rule base, Revue d'Intelligence Artificielle, 4 Davis, 1960, A computing procedure for quantification theory, J. ACM, 7, 201, 10.1145/321033.321034 Demolombe, 1992, A strategy for the computation of conditional answers, 134 Demolombe, 1997, Uncertainty in intelligent databases, 89 Diekema, 2004, Finding answers to complex questions, 141 Fine, 1983, In defense of arbitrary objects, vol. suppl. LVII, 55 Fine, 1985, Natural deduction and arbitrary objects, J. Philos. Logic, 14, 57, 10.1007/BF00542649 Gaasterland, 1994, An overview of cooperative answering, 1 Gilbert, 1988, Question and answer types, 162 P. Godfrey, J. Gryz, Intensional query optimization, Technical Report UMIACS TR 96-72, University of Maryland at College Park, College Park, MD, October 1996 Green, 1968, The use of theorem-proving techniques in question-answering systems, 169 Green, 1969, Applications of theorem proving to problem solving, 219 Green, 1969, Theorem-proving by resolution as a basis for question-answering systems, 183 Imielinski, 1987, Intelligent query answering in rule based systems, J. Logic Programming, 4, 229, 10.1016/0743-1066(87)90003-3 Kowalski, 1979, Logic for Problem Solving J.L. Kuhns, Answering questions by computer: a logical study, Technical Report Rand Memorandum RM-5428-PR, The Rand Corporation, Santa Monica, CA, December 1967 Light, 2004, Reuse in question answering: a preliminary study, 169 Loveland, 1978, Automated Theorem Proving: A Logical Basis Luckham, 1971, Extracting information from resolution proof trees, Artificial Intelligence, 2, 27, 10.1016/0004-3702(71)90003-8 Luger, 2005 McCune, 1994 A. Motro, Using integrity constraints to provide intensional answers to relational queries, in: Proceedings of VLDB89, the 15th International Conference on Very Large Databases, Amsterdam, The Netherlands, August 1989, pp. 237–246 Motro, 1994, Intensional answers to database queries, IEEE Trans. Knowledge Data Engrg., 6, 444, 10.1109/69.334858 Nilsson, 1980 Reiter, 1978, Deductive question-answering in relational data bases, 149 Reiter, 1978, On closed world data bases, 55 Reiter, 1987, Foundations of assumption-based truth maintenance systems, 183 Rich, 1991 Robinson, 1965, A machine-oriented logic based on the resolution principle, J. ACM, 12, 23, 10.1145/321250.321253 Rosch, 1975, Family resemblances: studies in the internal structure of categories, Cognitive Psychol., 4, 573, 10.1016/0010-0285(75)90024-9 Russell, 2003 Sergot, 1983, A query-the-user facility for logic programming, 27 Shapiro Shapiro, 2004, A logic of arbitrary and indefinite objects, 565 Small, 2004, A data driven approach to interactive QA, 129 Stickel, 1985, Automated deduction by theory resolution, J. Automat. Reason., 1, 333, 10.1007/BF00244275 Vasey, 1986, Qualified answers and their application to transformation, vol. 225, 425 Webber, 1986, Questions, answers and responses: interacting with knowledge-base systems, 365 Wolstenholme, 1988, Saying ‘I don't know’ and conditional answers, 115 Woods, 1991, Understanding subsumption and taxonomy: a framework for progress, 45