Abstract
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.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 |
| Pages | 105-110 |
| Number of pages | 6 |
| State | Published - 2009 |
| Event | 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 - Sanibel Island, FL, United States Duration: Mar 19 2009 → Mar 21 2009 |
Other
| Other | 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 |
|---|---|
| Country | United States |
| City | Sanibel Island, FL |
| Period | 3/19/09 → 3/21/09 |
Fingerprint
ASJC Scopus subject areas
- Artificial Intelligence
- Computer Networks and Communications
- Software
Cite this
Multiple answer extraction for question answering with automated theorem proving systems. / Sutcliffe, Geoffrey; Yerikalapudi, Aparna; Trac, Steven.
Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22. 2009. p. 105-110.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Multiple answer extraction for question answering with automated theorem proving systems
AU - Sutcliffe, Geoffrey
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
SN - 9781577354192
SP - 105
EP - 110
BT - Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
ER -