Proof systems for planning under 0-approximation semantics
type: Item
instance of: scholarly article
title: Proof systems for planning under 0-approximation semantics
zbMATH Open document ID: 1343.68222
author: Yuping Shen
author: Xishun Zhao
publication date: 2015-11-20T00:00:00Z
full work available at URL: s11432-013-4854-1
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 6512374
zbMATH Keywords: Hoare proof systems
zbMATH Keywords: off-line planning
zbMATH Keywords: plan generation
zbMATH Keywords: plan verification
zbMATH Keywords: automated reasoning
describes a project that uses: GOLOG
MaRDI profile type: Publication
OpenAlex ID: W2010431601
cites work: Knowledge, action, and the frame problem
cites work: Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming
cites work: Understanding planning with incomplete information and sensing
cites work: Conditional Planning with External Functions
cites work: Formalizing sensing actions -- a transition function based approach
cites work: Computational complexity of planning and approximate planning in the presence of incompleteness
cites work: Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners
cites work: Q5313998
cites work: Q4779807
cites work: Provably correct theories of action
cites work: How to progress a database
cites work: An axiomatic basis for computer programming
cites work: Verification of sequential and concurrent programs
cites work: Computational Complexity
cites work: Handbook of automated reasoning. In 2 vols
cites work: Logical verification of scientific discovery
cites work: Proceedings of the 1st international workshop on Symbolic model checking (SMC '99), as part of the 2nd federated logic conference (FLoC '99). Trento, Italy, July 6, 1999
cites work: 25 years of model checking. History, achievements, perspectives
cites work: Q4527271
cites work: Approximation of action theories and its application to conformant planning
cites work: Q4434167
cites work: GOLOG: A logic programming language for dynamic domains
cites work: FLUX: A logic programming method for reasoning agents
DOI: 10.1007/S11432-013-4854-1
published in: Science China Information Sciences
description: scientific article; zbMATH DE number 6512374