Representing Synonymity in Causal Logic and in Logic Programming

Authors

Joohyung Lee, Arizona State University
Yuliya Lierler, University of Nebraska at OmahaFollow
Vladimir Lifschitz, University of Texas at Austin
Fangkai Yang, University of Texas at Austin

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.

Comments

13th International Workshop on Non-Monotonic Reasoning (NMR): Declarative Processes and Systems Sub-Workshop

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