An application of automated reasoning in natural language question answering

DOI10.3233/AIC-2010-0461zbMath1205.68360OpenAlexW1538494472MaRDI QIDQ3568232

Ingo Glöckner, Björn Pelzer, Ulrich Furbach

Publication date: 17 June 2010

Published in: AI Communications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/aic-2010-0461

zbMATH Keywords

theorem proverquestion answering

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items (4)

Automated Reasoning in the Wild ⋮ System Description: E.T. 0.1 ⋮ First-Order Tableaux in Applications (Extended Abstract) ⋮ A series of revisions of David Poole's specificity

Uses Software

• VAMPIRE
• TPTP
• E Theorem Prover

This page was built for publication: An application of automated reasoning in natural language question answering