TY - GEN
T1 - Multiple answer extraction for question answering with automated theorem proving systems
AU - Sutcliffe, Geoff
AU - Yerikalapudi, Aparna
AU - Trac, Steven
PY - 2009
Y1 - 2009
N2 - The Multiple ANSwer EXtraction system is a framework for interpreting a conjecture with outermost existentially quantified variables as a question, and extracting multiple answers to the question by repetitive calls to a base system that can report the bindings for the variables in one proof of the conjecture. This paper describes the framework and demonstrates its use on an illustrative example.
AB - The Multiple ANSwer EXtraction system is a framework for interpreting a conjecture with outermost existentially quantified variables as a question, and extracting multiple answers to the question by repetitive calls to a base system that can report the bindings for the variables in one proof of the conjecture. This paper describes the framework and demonstrates its use on an illustrative example.
UR - http://www.scopus.com/inward/record.url?scp=70350461391&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=70350461391&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:70350461391
SN - 9781577354192
T3 - Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
SP - 105
EP - 110
BT - Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
T2 - 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
Y2 - 19 March 2009 through 21 March 2009
ER -