Syntax-Preserving Belief Change Operators for Logic Programs

DOI10.1145/3190783zbMath1407.68076DBLPjournals/tocl/BinnewiesZWS18arXiv1703.04912OpenAlexW2604807150WikidataQ62045641 ScholiaQ62045641MaRDI QIDQ4579961

Zhiqiang Zhuang, Kewen Wang, Bela Stantic, Sebastian Binnewies

Publication date: 10 August 2018

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1703.04912

zbMATH Keywords

belief changelogic programstrong equivalenceanswer set

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17)

This page was built for publication: Syntax-Preserving Belief Change Operators for Logic Programs