Sciweavers

AAAI
2007
14 years 1 months ago
The Semantics of Variables in Action Descriptions
Action description language C+ is more expressive than ADL in many ways; for instance, it addresses the ramification problem. On the other hand, ADL is based on first-order logi...
Vladimir Lifschitz, Wanwan Ren