Characterization Theorems for Revision of Logic Programs

DOI10.1007/978-3-642-40564-8_48zbMATH Open1407.68477OpenAlexW271695863MaRDI QIDQ2851279FDOQ2851279

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

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

Mathematics Subject Classification ID

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

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)