The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
type: Item
instance of: scholarly article
title: The \(Q^*\) algorithm - a search strategy for a deductive question-answering system
zbMATH Open document ID: 0282.68044
DOI: 10.1016/0004-3702(73)90013-1
author: Jack Minker
author: Daniel H. Fishman
author: James R. McSkimin
published in: Artificial Intelligence
publication date: 1973-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 3443196
MaRDI profile type: Publication
full work available at URL: 0004-3702(73)90013-1
OpenAlex ID: W2017239856
cites work: The Specialization of Programs by Theorem Proving
cites work: Q5649989
cites work: Q5623241
cites work: Q5621960
cites work: Linear resolution with selection function
cites work: MRPPS?An interactive refutation proof procedure system for question-answering
cites work: A Semantically Guided Deductive System for Automatic Theorem Proving
cites work: A Machine-Oriented Logic Based on the Resolution Principle
cites work: Automatic Theorem Proving With Renamable and Semantic Resolution
cites work: Experiments in automatic learning for a multipurpose hueristic program
cites work: Q5507984
description: scientific article; zbMATH DE number 3443196