LogAnswer - A Deduction-Based Question Answering System (System Description)

DOI10.1007/978-3-540-71070-7_11MaRDI QIDQ3541695zbMATH OpenOpenAlexFDO

Authors Ingo Glöckner, Hermann Helbig, Björn Pelzer, Ulrich Furbach

Publication date 27 November 2008

Published in Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-71070-7_11

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• An application of automated reasoning in natural language question answering
• Automated reasoning in the wild
• scientific article; zbMATH DE number 1884366
• Abduction and consequence generation in a support system for the design of logical multiple-choice questions
• On the design of a natural logic system for knowledge bases

Cites work

• Hyper Tableaux with Equality
• Knowledge Representation and the Semantics of Natural Language
• System Description: E- KRHyper
• The TPTP problem library. CNF release v1. 2. 1

Cited in

(5)

• Open-domain question-answering
• An ASP-based Approach to Answering Natural Language Questions for Texts
• LogAnswer
• Automated reasoning in the wild
• Abduction and consequence generation in a support system for the design of logical multiple-choice questions

This page was built for publication: LogAnswer - A Deduction-Based Question Answering System (System Description)

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