Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions.
L. Chang, Z. Shi, and T. Gu. Intelligent Information Processing, volume 340 of IFIP Advances in Information and Communication Technology, page 45-54. Springer, (2010)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/ifip12/ChangSG10
%A Chang, Liang
%A Shi, Zhongzhi
%A Gu, Tianlong
%B Intelligent Information Processing
%D 2010
%E Shi, Zhongzhi
%E Vadera, Sunil
%E Aamodt, Agnar
%E Leake, David B.
%I Springer
%K dblp
%P 45-54
%T Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions.
%U http://dblp.uni-trier.de/db/conf/ifip12/iip2010.html#ChangSG10
%V 340
%@ 978-3-642-16326-5
@inproceedings{conf/ifip12/ChangSG10,
added-at = {2018-06-26T00:00:00.000+0200},
author = {Chang, Liang and Shi, Zhongzhi and Gu, Tianlong},
biburl = {https://www.bibsonomy.org/bibtex/2676dff1bc9e756c4d39a9ad0f9f87b88/dblp},
booktitle = {Intelligent Information Processing},
crossref = {conf/ifip12/2010iip},
editor = {Shi, Zhongzhi and Vadera, Sunil and Aamodt, Agnar and Leake, David B.},
ee = {https://doi.org/10.1007/978-3-642-16327-2_9},
interhash = {bb56d40cffed7949afb9419062354ef4},
intrahash = {676dff1bc9e756c4d39a9ad0f9f87b88},
isbn = {978-3-642-16326-5},
keywords = {dblp},
pages = {45-54},
publisher = {Springer},
series = {IFIP Advances in Information and Communication Technology},
timestamp = {2018-06-27T12:14:23.000+0200},
title = {Extend Atomic Action Definitions of DDL to Support Occlusions and Conditional Post-conditions.},
url = {http://dblp.uni-trier.de/db/conf/ifip12/iip2010.html#ChangSG10},
volume = 340,
year = 2010
}
