Preserving strong equivalence while forgetting

Citation:
Knorr, Matthias, and José Julio Alferes. "Preserving strong equivalence while forgetting." Logics in Artificial Intelligence - 14th European Conference, JELIA 2014. Vol. 8761. Springer Verlag, 2014. 412-425.

Abstract:

n/a

Notes:

n/a

PreviewAttachmentSize
jelia14.pdf249.6 KB