Dynamic backward reasoning systems
type: Item
instance of: scholarly article
title: Dynamic backward reasoning systems
zbMATH Open document ID: 0717.68087
DOI: 10.1016/0004-3702(90)90083-C
published in: Artificial Intelligence
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4182864
zbMATH Keywords: backward reasoning
author: Antoni Ligȩza
MaRDI profile type: MaRDI publication profile
cites work: The Specialization of Programs by Theorem Proving
cites work: Q3919057
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Q3856120
cites work: Q5616102
cites work: Planning in a hierarchy of abstraction spaces
cites work: Q4166250
Recommended article: Dynamic Reasoning Systems
Recommended article: A study of a dynamic progressive reasoning system
Recommended article: Q4386920
Recommended article: Toward a model for backtracking and dynamic programming
Recommended article: Program Development in Computational Logic
Recommended article: Q3741017
Recommended article: Intelligent Backtracking in Plan-Based Deduction
Recommended article: Q4525781
Recommended article: Q4789445
Recommended article: Q4343990
description: scientific article; zbMATH DE number 4182864