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 - Nov 4 2009 |
| Event | 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 - Sanibel Island, FL, United States Duration: Mar 19 2009 → Mar 21 2009 |
Publication series
| Name | Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 |
|---|
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 |
ASJC Scopus subject areas
- Artificial Intelligence
- Computer Networks and Communications
- Software
Fingerprint Dive into the research topics of 'Multiple answer extraction for question answering with automated theorem proving systems'. Together they form a unique fingerprint.
Cite this
Sutcliffe, G., Yerikalapudi, A., & Trac, S. (2009). Multiple answer extraction for question answering with automated theorem proving systems. In Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 (pp. 105-110). (Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22).