Multiple answer extraction for question answering with automated theorem proving systems

Geoffrey Sutcliffe, Aparna Yerikalapudi, Steven Trac

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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 languageEnglish (US)
Title of host publicationProceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
Pages105-110
Number of pages6
StatePublished - 2009
Event22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22 - Sanibel Island, FL, United States
Duration: Mar 19 2009Mar 21 2009

Other

Other22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
CountryUnited States
CitySanibel Island, FL
Period3/19/093/21/09

Fingerprint

Theorem proving

ASJC Scopus subject areas

  • Artificial Intelligence
  • Computer Networks and Communications
  • Software

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)

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 proceedingConference 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. pp. 105-110, 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22, Sanibel Island, FL, United States, 3/19/09.
Sutcliffe G, Yerikalapudi A, Trac S. 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. 2009. p. 105-110
Sutcliffe, Geoffrey ; 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
@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 = "Geoffrey Sutcliffe and Aparna Yerikalapudi and Steven Trac",
year = "2009",
language = "English (US)",
isbn = "9781577354192",
pages = "105--110",
booktitle = "Proceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22",

}

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 -