Characterization Theorems for Revision of Logic Programs

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

Katsumi Inoue, Nicolas Schwind

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)

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

   Recommendations

• Characterization of logic program revision as an extension of propositional revision 👍 👎
• The complexity of revising logic programs 👍 👎
• Title not available (Why is that?) 👍 👎
• Rewriting Techniques and Applications 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 👍 👎

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)