Extending belief bases change to logic programs with ASP

MaRDI QIDQ5414682zbMATH OpenFDO

Authors Julien Hué, Odile Papini, Eric Würbel

Publication date 7 May 2014

Mathematics Subject Classification ID

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

Recommendations

• A model-theoretic approach to belief change in answer set programming
• Belief Base Change Operations for Answer Set Programming
• On semantic update operators for answer-set programs
• A semantic characterization ASP base revision
• Syntax-Preserving Belief Change Operators for Logic Programs

Cited in

(2)

• Belief Base Change Operations for Answer Set Programming
• An implementation of consistency-based multi-agent belief change using ASP

This page was built for publication: Extending belief bases change to logic programs with ASP

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