Forgetting under the well-founded semantics

DOI10.1007/978-3-642-40564-8_4zbMATH Open1405.68336OpenAlexW1529474293WikidataQ62046434 ScholiaQ62046434MaRDI QIDQ2851229FDOQ2851229

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

Recommendations

• Preserving strong equivalence while forgetting
• Semantic forgetting in answer set programming
• On the limits of forgetting in answer set programming
• A knowledge level account of forgetting
• Forgetting in ASP: the forgotten properties

Mathematics Subject Classification ID

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

Cited In (12)

• When you must forget: Beyond strong persistence when forgetting in answer set programming
• A Syntactic Operator for Forgetting that Satisfies Strong Persistence
• Variable Forgetting in Reasoning about Knowledge
• Title not available (Why is that?)
• Naturalizing logic
• On a general concept of forgetting
• Semantic forgetting in expressive description logics
• From forgetting signature elements to forgetting formulas in epistemic states
• On the limits of forgetting in answer set programming
• Forgetting in ASP: The Forgotten Properties
• Preserving Strong Equivalence while Forgetting
• Semantic forgetting in answer set programming

This page was built for publication: Forgetting under the well-founded semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851229)