@inproceedings{f0b526c6297a43b2a448cebd555d0a12,
title = "Forgetting under the well-founded semantics",
abstract = "In this paper, we develop a notion of forgetting for normal logic programs under the well-founded semantics. We show that a number of desirable properties are satisfied by our approach. Three different algorithms are presented that maintain the computational complexity of the well-founded semantics, while partly keeping its syntactical structure.",
author = "Alferes, {Jos{\'e} J{\'u}lio} and Matthias Knorr and Kewen Wang",
year = "2013",
doi = "10.1007/978-3-642-40564-8_4",
language = "English",
isbn = "978-3-642-40563-1",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "36--41",
editor = "P. Cabalar and Son, {T. C.}",
booktitle = "Logic Programming and Nonmonotonic Reasoning - 12th International Conference, LPNMR 2013, Proceedings",
address = "Netherlands",
note = "12th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2013 ; Conference date: 15-09-2013 Through 19-09-2013",
}