Representing Synonymity in Causal Logic and in Logic Programming
Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz, Fangkai Yang · 2010
We investigate the relationship between rules representing synonymity in nonmonotonic causal logic and in answer set programming. This question is of interest in connection with current work on modular languages for describing actions.