%0 Conference Paper %1 conf/aaaiss/LifschitzR07 %A Lifschitz, Vladimir %A Ren, Wanwan %B AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning %D 2007 %I AAAI %K dblp %P 83-88 %T Variables in Action Descriptions: Merging C+ with ADL. %U http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2007-5.html#LifschitzR07

@inproceedings{conf/aaaiss/LifschitzR07, added-at = {2012-02-17T00:00:00.000+0100}, author = {Lifschitz, Vladimir and Ren, Wanwan}, biburl = {https://www.bibsonomy.org/bibtex/2ef052e03b259462d37c976a84e23666c/dblp}, booktitle = {AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning}, crossref = {conf/aaaiss/2007-5}, ee = {http://www.aaai.org/Library/Symposia/Spring/2007/ss07-05-015.php}, interhash = {f924dbc01fa958bef4c0e9dbf66cb252}, intrahash = {ef052e03b259462d37c976a84e23666c}, keywords = {dblp}, pages = {83-88}, publisher = {AAAI}, timestamp = {2012-02-18T11:32:34.000+0100}, title = {Variables in Action Descriptions: Merging C+ with ADL.}, url = {http://dblp.uni-trier.de/db/conf/aaaiss/aaaiss2007-5.html#LifschitzR07}, year = 2007 }