An application of automated reasoning in natural language question answering

DOI10.3233/AIC-2010-0461MaRDI QIDQ3568232zbMATH OpenOpenAlexFDO

Authors 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

question answeringtheorem prover

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• The application of automated reasoning to questions in mathematics and logic
• Automated reasoning in the wild
• Automated Reasoning with Analytic Tableaux and Related Methods
• Learning to reason assisted by automated reasoning

Cited in

(9)

• A logic-based question answering system for cultural heritage
• First-order tableaux in applications (extended abstract)
• scientific article; zbMATH DE number 2089852 (Why is no real title available?)
• Automated reasoning in the wild
• System description: E.T. 0.1
• LogAnswer - A Deduction-Based Question Answering System (System Description)
• A series of revisions of David Poole's specificity
• An ASP-based Approach to Answering Natural Language Questions for Texts
• An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)

Describes a project that uses

Uses Software

• VAMPIRE
• TPTP
• E Theorem Prover

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3568232)