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.

PDF

In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR) 2010.

@INPROCEEDINGS{lee10, title={Representing Synonymity in Causal Logic and in Logic Programming}, author={Joohyung Lee and Yuliya Lierler and Vladimir Lifschitz and Fangkai Yang}, booktitle={Proceedings of International Workshop on Nonmonotonic Reasoning (NMR)}, url="http://www.cs.utexas.edu/users/ai-lab?lee10", year={2010} }