Reconsidering AGM-style belief revision in the context of logic programs

DOI10.3233/978-1-61499-672-9-671MaRDI QIDQ4576199zbMATH OpenOpenAlexFDO

Authors Zhiqiang Zhuang, James Delgrande, Abhaya C. Nayak, Abdul Sattar

Publication date 12 July 2018

Full work available at URL https://doi.org/10.3233/978-1-61499-672-9-671

Mathematics Subject Classification ID

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

Recommendations

• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• Belief Base Change Operations for Answer Set Programming
• scientific article; zbMATH DE number 978236
• The Procedures for Belief Revision
• Belief revision in non-classical logics

Cited in

(14)

• Revision of defeasible preferences
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• Belief revision in non-classical logics
• A program-level approach to revising logic programs under the answer set semantics
• scientific article; zbMATH DE number 64164 (Why is no real title available?)
• scientific article; zbMATH DE number 978236 (Why is no real title available?)
• Characterization of logic program revision as an extension of propositional revision
• AGM-like paraconsistent belief change
• scientific article; zbMATH DE number 7455708 (Why is no real title available?)
• Revision by communication
• Contrastive explanations for answer-set programs
• Main issues in belief revision, belief merging and information fusion
• A brief history of updates of answer-set programs
• Title not available (Why is no real title available?)

This page was built for publication: Reconsidering AGM-style belief revision in the context of logic programs

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