Forgetting under the Well-Founded Semantics

DOI10.1007/978-3-642-40564-8_4zbMath1405.68336OpenAlexW1529474293WikidataQ62046434 ScholiaQ62046434MaRDI QIDQ2851229

José Júlio Alferes, Matthias Knorr, Kewen Wang

Publication date: 10 October 2013

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/59817

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Logic programming (68N17)

Related Items (6)

Preserving Strong Equivalence while Forgetting ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ A Syntactic Operator for Forgetting that Satisfies Strong Persistence ⋮ On the limits of forgetting in answer set programming ⋮ Naturalizing logic ⋮ Forgetting in ASP: The Forgotten Properties

This page was built for publication: Forgetting under the Well-Founded Semantics