Formal methods in the design of question-answering systems

DOI10.1016/0004-3702(71)90007-5zbMath0226.68053OpenAlexW2073788278MaRDI QIDQ2549246

Erik Sandewall

Publication date: 1971

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(71)90007-5

Mathematics Subject Classification ID

Natural language processing (68T50)

Related Items (1)

On rewriting sentences into formulas

Cites Work

• Extracting information from resolution proof trees
• A Machine-Oriented Logic Based on the Resolution Principle
• A Planning Problem Solver Based on Look-Ahead in Stochastic Game Trees
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal methods in the design of question-answering systems