Vladimir Lifschitz, Wanwan Ren. Variables in Action Descriptions: Merging C+ with ADL. In Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007. pages 83-88, AAAI, 2007. [doi]
@inproceedings{LifschitzR07-0, title = {Variables in Action Descriptions: Merging C+ with ADL}, author = {Vladimir Lifschitz and Wanwan Ren}, year = {2007}, url = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-015.php}, researchr = {https://researchr.org/publication/LifschitzR07-0}, cites = {0}, citedby = {0}, pages = {83-88}, booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2007 AAAI Spring Symposium, Technical Report SS-07-05, Stanford, California, USA, March 26-28, 2007}, publisher = {AAAI}, }