An application of automated reasoning in natural language question answering

DOI10.3233/AIC-2010-0461zbMATH Open1205.68360OpenAlexW1538494472MaRDI QIDQ3568232FDOQ3568232

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

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

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

zbMATH Keywords

theorem proverquestion answering

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Cited In (7)

• Automated Reasoning in the Wild
• LogAnswer - A Deduction-Based Question Answering System (System Description)
• A series of revisions of David Poole's specificity
• Title not available (Why is that?)
• An Experimental Pipeline for Automated Reasoning in Natural Language (Short Paper)
• First-Order Tableaux in Applications (Extended Abstract)
• System Description: E.T. 0.1

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)