Variables in Action Descriptions: Merging C+ with ADL

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},
}