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

DOI10.1007/978-3-540-71070-7_11zbMath1165.68456OpenAlexW1566252354MaRDI QIDQ3541695

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

Related Items (1)

LogAnswer

Cites Work

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

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