Document Type
Conference Proceeding
Publication Date
2010
Abstract
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.
Recommended Citation
Lee, Joohyung; Lierler, Yuliya; Lifschitz, Vladimir; and Yang, Fangkai, "Representing Synonymity in Causal Logic and in Logic Programming" (2010). Computer Science Faculty Proceedings & Presentations. 36.
https://digitalcommons.unomaha.edu/compsicfacproc/36
Comments
13th International Workshop on Non-Monotonic Reasoning (NMR): Declarative Processes and Systems Sub-Workshop