Using temporal logics to express search control knowledge for planning
type: Item
instance of: scholarly article
title: Using temporal logics to express search control knowledge for planning
zbMATH Open document ID: 0939.68827
DOI: 10.1016/S0004-3702(99)00071-5
published in: Artificial Intelligence
publication date: 2000-06-04T00:00:00Z
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 1454121
zbMATH Keywords: planning
zbMATH Keywords: temporal logic
zbMATH Keywords: search control knowledge
author: Fahiem Bacchus
author: Froduald Kabanza
describes a project that uses: Graphplan
describes a project that uses: Prodigy
describes a project that uses: UCPOP
MaRDI profile type: Publication
cites work: Planning for temporally extended goals.
cites work: Partial-order planning: Evaluating possible efficiency gains
cites work: Fast planning through planning graph analysis
cites work: Q4385542
cites work: Acquiring search-control knowledge via static analysis
cites work: Q4342097
cites work: On the complexity of blocks-world planning
cites work: Q4028804
cites work: Q3998266
cites work: Q4385525
cites work: Q4385543
cites work: Automatically generating abstractions for planning
cites work: Q4843187
cites work: Planning in a hierarchy of abstraction spaces
cites work: Safety, liveness and fairness in temporal logic
cites work: The complexity of propositional linear temporal logics
cites work: Computational model theory: an overview
cites work: Integrating planning and learning: the PRODIGY architecture
full work available at URL: s0004-3702(99)00071-5
OpenAlex ID: W2141088850
Wikidata QID: Q126635147
description: scientific article; zbMATH DE number 1454121