Knowledge Forgetting in Answer Set Programming
From MaRDI portal
Publication:5417593
DOI10.1613/jair.4297zbMath1442.68228OpenAlexW1526528721WikidataQ129489077 ScholiaQ129489077MaRDI QIDQ5417593
No author found.
Publication date: 22 May 2014
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.4297
Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)
Related Items (9)
When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ First-order modular logic programs and their conservative extensions ⋮ Knowledge forgetting in propositional \(\mu\)-calculus ⋮ A Syntactic Operator for Forgetting that Satisfies Strong Persistence ⋮ Computing sufficient and necessary conditions in CTL: a forgetting approach ⋮ On the limits of forgetting in answer set programming ⋮ On syntactic forgetting under uniform equivalence ⋮ Forgetting in ASP: The Forgotten Properties ⋮ Forgetting in multi-agent modal logics
This page was built for publication: Knowledge Forgetting in Answer Set Programming
