Preserving Strong Equivalence while Forgetting

Logics in Artificial Intelligence - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11558-0_29 ◽

2014 ◽

pp. 412-425 ◽

Cited By ~ 7

Author(s):

Matthias Knorr ◽

José Julio Alferes

Download Full-text