Let's plan it deductively!
type: Item
instance of: scholarly article
title: Let's plan it deductively!
zbMATH Open document ID: 0909.68166
DOI: 10.1016/S0004-3702(98)00064-2
published in: Artificial Intelligence
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1238594
zbMATH Keywords: reasoning about actions and causality
zbMATH Keywords: planning
zbMATH Keywords: automated deduction
zbMATH Keywords: transition logic
zbMATH Keywords: linear connection method
zbMATH Keywords: frame problem
zbMATH Keywords: ramification
zbMATH Keywords: qualification
author: Wolfgang Bibel
describes a project that uses: Graphplan
describes a project that uses: SETHEO
describes a project that uses: UCPOP
describes a project that uses: E-SETHEO
MaRDI profile type: Publication
cites work: Q4085699
cites work: A deductive solution for plan generation
cites work: Constraint satisfaction from a deductive viewpoint
cites work: Q4692618
cites work: Q3833651
cites work: Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems
cites work: STRIPS: A new approach to the application of theorem proving to problem solving
cites work: Linearity and plan generation
cites work: Linear deductive planning
cites work: Linear logic
cites work: Q5649989
cites work: Reasoning about action. I: A possible worlds approach
cites work: A new deductive approach to planning
cites work: Q3862380
cites work: The Mathematics of Sentence Structure
cites work: Frames in the space of situations
cites work: Rules as actions: A situation calculus semantics for logic programs
cites work: SETHEO: A high-performance theorem prover
cites work: Q5633670
cites work: Q3976054
cites work: Q3997961
cites work: Q4224292
cites work: Probabilistic Horn abduction and Bayesian networks
cites work: Automated deduction techniques for classification in description logic systems
cites work: Q4016561
cites work: Q3493250
cites work: Ramification and causality
description: scientific article; zbMATH DE number 1238594