@inproceedings{e1d8bb41a2474345a04b66232b66f085,
title = "Strong equivalence for causal theories",
abstract = "Strong equivalence is an important property for nonmonotonic formalisms, allowing safe local changes to a nonmonotonic theory This paper considers strong equivalence for nonmonotonic causal theories of the kind introduced by McCain and Turner. Causal theories T1 and T2 are strongly equivalent if, for every causal theory T, T1 U T and T2 U T are equivalent (that is, have the same causal models). The paper introduces a convenient characterization of this property in terms of so-called SE-models, much as was done previously for answer set programs and default theories. A similar result is provided for the nonmonotonic modal logic UCL. The paper also introduces a reduction from the problem of deciding strong equivalence of two causal theories to the problem of deciding equivalence of two sets of propositional formulas.",
author = "Hudson Turner",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2004. Copyright: Copyright 2015 Elsevier B.V., All rights reserved.; 7th International Conference on Logic Programming and Nonmonotonic Reasoning , LPNMR 2004 ; Conference date: 06-01-2004 Through 08-01-2004",
year = "2004",
language = "English (US)",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer Verlag",
pages = "289--301",
editor = "Ilkka Niemela and Vladimir Lifschitz",
booktitle = "Logic Programming and Nonmonotonic Reasoning",
}