Forgetting Literals with Varying Propositional Symbols

DOI10.1093/LOGCOM/EXM049MaRDI QIDQ5431427zbMATH OpenOpenAlexFDO

Authors Yves Moinard

Publication date 10 December 2007

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/00c985c005e247740b657de5158770317aeff77a

Mathematics Subject Classification ID

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

Recommendations

• A knowledge level account of forgetting
• Forgetting under the well-founded semantics
• scientific article; zbMATH DE number 1946872
• Preserving strong equivalence while forgetting
• Semantic forgetting in answer set programming

Cited in

(13)

• A logic-algebraic tool for reasoning with knowledge-based systems
• On syntactic forgetting under uniform equivalence
• On the limits of forgetting in answer set programming
• A model of three-way decisions for knowledge harnessing
• Semantic forgetting in answer set programming
• Literal Projection for First-Order Logic
• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• When you must forget: Beyond strong persistence when forgetting in answer set programming
• Computing sufficient and necessary conditions in CTL: a forgetting approach
• 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
• Forgetting in answer set programming -- a survey

This page was built for publication: Forgetting Literals with Varying Propositional Symbols

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