Strong temporal planning with uncontrollable durations
type: Item
instance of: scholarly article
title: Strong temporal planning with uncontrollable durations
zbMATH Open document ID: 1443.68163
author: Xianqiang Yang
published in: Artificial Intelligence
publication date: 2018-05-11T00:00:00Z
full work available at URL: http://hdl.handle.net/11572/258649
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 6867672
zbMATH Keywords: strong temporal planning
zbMATH Keywords: strong controllability
zbMATH Keywords: temporal planning
zbMATH Keywords: uncontrollable durations
zbMATH Keywords: forward state-space planning
zbMATH Keywords: PDDL
zbMATH Keywords: ANML
describes a project that uses: MathSAT5
describes a project that uses: PDDL
describes a project that uses: ANML
describes a project that uses: COLIN
MaRDI profile type: Publication
OpenAlex ID: W2772622313
Wikidata QID: Q62041067
cites work: Q4449295
cites work: Handling contingency in temporal constraint networks: from consistency to controllabilities
cites work: Strong Controllability of Disjunctive Temporal Problems with Uncertainty
cites work: Q4215782
cites work: Managing concurrency in temporal planning using planner-scheduler interaction
cites work: COLIN: planning with continuous linear numeric change
cites work: Temporal constraint networks
cites work: Solving strong controllability of temporal problems with uncertainty using SMT
cites work: Constraint-based attribute and interval planning
cites work: Q3624110
cites work: Planning with Concurrency under Resources and Time Uncertainty
cites work: Q5313998
cites work: Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
cites work: Efficient solution techniques for disjunctive temporal reasoning problems
cites work: Q4411132
cites work: The MathSAT5 SMT Solver
cites work: Q4449301
DBLP publication ID: journals/ai/CimattiDMRS18
DOI: 10.1016/J.ARTINT.2017.11.006
Recommended article: Dynamic controllability of temporal plans in uncertain and partially observable environments
Recommended article: Timeline-based planning over dense temporal domains
Recommended article: Q4028767
Recommended article: Q4736488
Recommended article: Q5875669
Recommended article: Q4737942
Recommended article: Q3446863
Recommended article: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Recommended article: Decidability and complexity of action-based temporal planning over dense time
description: scientific article; zbMATH DE number 6867672