Controlling backward inference
type: Item
instance of: scholarly article
title: Controlling backward inference
zbMATH Open document ID: 0676.68059
DOI: 10.1016/0004-3702(89)90025-8
author: David E. Smith
published in: Artificial Intelligence
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 4108195
zbMATH Keywords: control of inference
zbMATH Keywords: domain-dependent control
zbMATH Keywords: backward inference strategies
MaRDI profile type: Publication
full work available at URL: 0004-3702(89)90025-8
OpenAlex ID: W1982722043
cites work: Optimal task sequencing with precedence constraints
cites work: Q5571447
cites work: Optimal problem-solving search: All-or-none solutions
cites work: Ordering conjunctive queries
cites work: Controlling recursive inference
description: scientific article; zbMATH DE number 4108195