Forgetting Literals with Varying Propositional Symbols

DOI10.1093/logcom/exm049zbMath1132.68053OpenAlexW1974676423MaRDI QIDQ5431427

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)

Related Items (6)

Semantic forgetting in answer set programming ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ On the limits of forgetting in answer set programming ⋮ A logic-algebraic tool for reasoning with knowledge-based systems ⋮ On syntactic forgetting under uniform equivalence ⋮ A model of three-way decisions for knowledge harnessing

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