Skip to main content
profile image
Selected Works of Yuliya Lierler
Article
Representing Synonymity in Causal Logic and in Logic Programming
Computer Science Faculty Proceedings & Presentations
  • Joohyung Lee, Arizona State University
  • Yuliya Lierler, University of Nebraska at Omaha
  • Vladimir Lifschitz, University of Texas at Austin
  • Fangkai Yang, University of Texas at Austin
Download
Document Type
Conference Proceeding
Publication Date
1-1-2010
Disciplines
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

Citation Information
Joohyung Lee, Yuliya Lierler, Vladimir Lifschitz and Fangkai Yang. "Representing Synonymity in Causal Logic and in Logic Programming" (2010)
Available at: http://works.bepress.com/yuliya_lierler/45/