Multiple answer extraction for question answering with automated theorem proving systems

Geoff Sutcliffe, Aparna Yerikalapudi, Steven Trac

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

Publication series

NameProceedings of the 22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22

Other

Other22nd International Florida Artificial Intelligence Research Society Conference, FLAIRS-22
CountryUnited States
CitySanibel Island, FL
Period3/19/093/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).