Forgetting for defeasible logic

DOI10.1007/978-3-642-28717-6_9MaRDI QIDQ2891441zbMATH OpenOpenAlexWikidataFDO

Authors Grigoris Antoniou, Thomas Eiter, Kewen Wang

Publication date 15 June 2012

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• A knowledge level account of forgetting
• Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
• Semantic forgetting in answer set programming
• Forgetting under the well-founded semantics
• A bird's-eye view of forgetting in answer-set programming

Cited in

(9)

• Introspective forgetting
• Rough forgetting
• Forgetting in multi-agent modal logics
• Preserving strong equivalence while forgetting
• A knowledge level account of forgetting
• Kinds and Aspects of Forgetting in Common-Sense Knowledge and Belief Management
• The ghosts of forgotten things: a study on size after forgetting
• Common equivalence and size of forgetting from Horn formulae
• One head is better than two: a polynomial restriction for propositional definite Horn forgetting

This page was built for publication: Forgetting for defeasible logic

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