Revision programs with explicit negation

DOI10.1007/978-3-540-31862-0_29MaRDI QIDQ5709989zbMATH OpenOpenAlexFDO

Authors Yisong Wang, MingYi Zhang

Publication date 30 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b107116

Mathematics Subject Classification ID

Logic programming (68N17) Database theory (68P15)

Recommendations

• A rewrite mechanism for logic programs with negation
• A rewrite mechanism for logic programs with negation
• A rewriting method for well-founded semantics with explicit negation
• Revisiting explicit negation in answer set programming
• Revision programming
• Characterization of logic program revision as an extension of propositional revision
• scientific article; zbMATH DE number 515746
• Embedding revision programs in logic programming situation calculus
• The complexity of revising logic programs
• Characterization Theorems for Revision of Logic Programs

Cited in

(5)

• Revision programming
• Annotated revision programs
• Embedding revision programs in logic programming situation calculus
• Revision specifications by means of programs
• Annotated revision programs

This page was built for publication: Revision programs with explicit negation

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