%0 Conference Paper %1 conf/birthday/ChenJY12 %A Chen, Xiaoping %A Jin, Guoqiang %A Yang, Fangkai %B Correct Reasoning %D 2012 %E Erdem, Esra %E Lee, Joohyung %E Lierler, Yuliya %E Pearce, David %I Springer %K dblp %P 134-148 %T Extending Action Language $C+$ by Formalizing Composite Actions. %U http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#ChenJY12 %V 7265 %@ 978-3-642-30742-3

@inproceedings{conf/birthday/ChenJY12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Chen, Xiaoping and Jin, Guoqiang and Yang, Fangkai}, biburl = {https://www.bibsonomy.org/bibtex/2689f50a95dcd5e34d2dd9f42fb7bd2c8/dblp}, booktitle = {Correct Reasoning}, crossref = {conf/birthday/2012lifschitz}, editor = {Erdem, Esra and Lee, Joohyung and Lierler, Yuliya and Pearce, David}, ee = {https://doi.org/10.1007/978-3-642-30743-0_10}, interhash = {4d8b49721863518506cdb84ffd8fd217}, intrahash = {689f50a95dcd5e34d2dd9f42fb7bd2c8}, isbn = {978-3-642-30742-3}, keywords = {dblp}, pages = {134-148}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:14.000+0200}, title = {Extending Action Language $\mathcal{C}+$ by Formalizing Composite Actions.}, url = {http://dblp.uni-trier.de/db/conf/birthday/lifschitz2012.html#ChenJY12}, volume = 7265, year = 2012 }