Characterization Theorems for Revision of Logic Programs

DOI10.1007/978-3-642-40564-8_48MaRDI QIDQ2851279zbMATH OpenOpenAlexFDO

Authors Nicolas Schwind, Katsumi Inoue

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_48

Mathematics Subject Classification ID

Knowledge representation (68T30) Logics of knowledge and belief (including belief change) (03B42) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Characterization of logic program revision as an extension of propositional revision
• The complexity of revising logic programs
• scientific article; zbMATH DE number 4205965
• Rewriting Techniques and Applications
• scientific article; zbMATH DE number 1617312
• A program-level approach to revising logic programs under the answer set semantics
• Embedding revision programs in logic programming situation calculus
• A Verification Logic for Rewriting Logic

Cited in

(3)

• Characterization of logic program revision as an extension of propositional revision
• Theoretical Aspects of Computing - ICTAC 2004
• The complexity of revising logic programs

This page was built for publication: Characterization Theorems for Revision of Logic Programs

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