A new deductive approach to planning
type: Item
instance of: scholarly article
title: A new deductive approach to planning
zbMATH Open document ID: 0711.68026
DOI: 10.1007/BF03037518
author: Steffen Hölldobler
author: Josef Schneeberger
published in: New Generation Computing
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 03B35
zbMATH DE Number: 4170073
zbMATH Keywords: logic programming
zbMATH Keywords: deductive planning
zbMATH Keywords: equational reasoning
zbMATH Keywords: Horn clauses
MaRDI profile type: Publication
cites work: On the satisfiability of circumscription
cites work: Planning for conjunctive goals
cites work: Q3198906
cites work: Q5633670
cites work: Q3862380
cites work: A deductive solution for plan generation
cites work: Linearity and plan generation
cites work: Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
cites work: Extending SLD resolution to equational horn clauses using E-unification
cites work: Foundations of equational logic programming
cites work: Q3339245
cites work: A theory of complete logic programs with equality
cites work: Q3750143
cites work: On solving equations and disequations
description: scientific article; zbMATH DE number 4170073