Representing Synonymity in Causal Logic and in Logic Programming (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.
View:
PDF
Citation:
In Proceedings of International Workshop on Nonmonotonic Reasoning (NMR) 2010.
Bibtex:

Joohyung Lee Ph.D. Alumni joolee [at] asu edu
Yuliya Lierler Ph.D. Alumni ylierler [at] unomaha edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu
Fangkai Yang Ph.D. Student fkyang [at] cs utexas edu