Type-checking in formally non-typed systemsguage understanding: question answering and textual ‘entailment’

Details

Event

2008-06-20

Speakers

Tracy Holloway King
Event

Type-checking in formally non-typed systemsguage understanding: question answering and textual ‘entailment’

Type checking defines and constrains system output and intermediate representations. We report on the advantages of introducing multiple levels of type checking in deep parsing systems, even with untyped formalisms.

Additional information

Focus Areas

Our work is centered around a series of Focus Areas that we believe are the future of science and technology.

FIND OUT MORE
Licensing & Commercialization Opportunities

We’re continually developing new technologies, many of which are available for Commercialization.

FIND OUT MORE
News

Our scientists and staffers are active members and contributors to the science and technology communities.

FIND OUT MORE