%0 Journal Article %1 journals/jar/ChangSGZ12 %A Chang, Liang %A Shi, Zhongzhi %A Gu, Tianlong %A Zhao, Lingzhong %D 2012 %J J. Autom. Reason. %K dblp %N 1 %P 1-52 %T A Family of Dynamic Description Logics for Representing and Reasoning About Actions. %U http://dblp.uni-trier.de/db/journals/jar/jar49.html#ChangSGZ12 %V 49

@article{journals/jar/ChangSGZ12, added-at = {2020-09-02T00:00:00.000+0200}, author = {Chang, Liang and Shi, Zhongzhi and Gu, Tianlong and Zhao, Lingzhong}, biburl = {https://www.bibsonomy.org/bibtex/2dc455c3cd2a949792cc5525f54ddecb3/dblp}, ee = {https://doi.org/10.1007/s10817-010-9210-1}, interhash = {a4ec6abcddc0184253125e55e2978e6c}, intrahash = {dc455c3cd2a949792cc5525f54ddecb3}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {1-52}, timestamp = {2020-09-09T13:35:24.000+0200}, title = {A Family of Dynamic Description Logics for Representing and Reasoning About Actions.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar49.html#ChangSGZ12}, volume = 49, year = 2012 }