A semantic characterization ASP base revision

DOI10.1613/JAIR.1.11451MaRDI QIDQ5207042zbMATH OpenOpenAlexFDO

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

Publication date 3 January 2020

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.1.11451

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• A semantic characterization for 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

(4)

• The rise and fall of semantic rule updates based on SE-models
• A semantic characterization for ASP base revision
• Extending belief bases change to logic programs with ASP
• A brief history of updates of answer-set programs

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

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