Multiple answer extraction for question answering with automated theorem proving systems

Geoff Sutcliffe; Aparna Yerikalapudi; Steven Trac

Multiple answer extraction for question answering with automated theorem proving systems

Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

2 Scopus citations

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).

Multiple answer extraction for question answering with automated theorem proving systems. / Sutcliffe, Geoff; Yerikalapudi, Aparna; Trac, Steven.

Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22. 2009. p. 105-110 (Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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. Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22, pp. 105-110, 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22, Sanibel Island, FL, United States, 3/19/09.

Sutcliffe, Geoff ; Yerikalapudi, Aparna ; Trac, Steven. / Multiple answer extraction for question answering with automated theorem proving systems. Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22. 2009. pp. 105-110 (Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22).

@inproceedings{cb827c1369034faaa1f775aafe8a859c,

title = "Multiple answer extraction for question answering with automated theorem proving systems",

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.",

author = "Geoff Sutcliffe and Aparna Yerikalapudi and Steven Trac",

year = "2009",

month = nov,

day = "4",

language = "English (US)",

isbn = "9781577354192",

series = "Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22",

pages = "105--110",

booktitle = "Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22",

note = "22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 ; Conference date: 19-03-2009 Through 21-03-2009",

}

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/11/4

Y1 - 2009/11/4

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 -