A semantic characterization for ASP base revision

DOI10.1007/978-3-319-67582-4_24MaRDI QIDQ5045317zbMATH OpenOpenAlexFDO

Authors Laurent Garcia, Claire Lefèvre, Odile Papini, Igor Stéphan, Eric Würbel

Publication date 4 November 2022

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-67582-4_24

zbMATH Keywords

answer set programmingbase revisionbelief changebelief revisionnonmonotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• A semantic characterization ASP base revision
• Belief Base Change Operations for Answer Set Programming
• On semantic update operators for answer-set programs
• The rise and fall of semantic rule updates based on SE-models
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics

Cited in

(2)

• An ASP-based solver for parametrized-difference revision
• A semantic characterization ASP base revision

This page was built for publication: A semantic characterization for ASP base revision

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