AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
From MaRDI portal
Publication:2851259
DOI10.1007/978-3-642-40564-8_27zbMath1379.68290OpenAlexW2185012293MaRDI QIDQ2851259
James P. Delgrande, Pavlos Peppas, Stefan Woltran
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_27
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17)
Related Items
Merging in the Horn Fragment, A theory of change for prioritised resilient and evolvable software systems, Characterization of logic program revision as an extension of propositional revision, Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks