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

DOI10.3233/978-1-61499-672-9-671zbMATH Open1403.68277OpenAlexW2576694059MaRDI QIDQ4576199FDOQ4576199

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

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

Mathematics Subject Classification ID

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

Cited In (11)

• Revision by communication
• Revision of defeasible preferences
• AGM-like paraconsistent belief change
• A program-level approach to revising logic programs under the answer set semantics
• Belief revision in non-classical logics
• Main issues in belief revision, belief merging and information fusion
• Title not available (Why is that?)
• Characterization of logic program revision as an extension of propositional revision
• Title not available (Why is that?)
• AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
• Contrastive explanations for answer-set programs

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)