A rewrite mechanism for logic programs with negation

DOI10.1007/3-540-59200-8_55MaRDI QIDQ5055829zbMATH OpenOpenAlexFDO

Authors Siva Anantharaman, Gilles Richard

Publication date 9 December 2022

Published in Rewriting Techniques and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59200-8_55

zbMATH Keywords

constraintsnegationlogic programlinear completionrewrite system

Mathematics Subject Classification ID

Logic programming (68N17) Grammars and rewriting systems (68Q42)

Recommendations

• A rewrite mechanism for logic programs with negation
• Publication:5750390
• A transformational approach to negation in logic programming
• scientific article; zbMATH DE number 2090540
• scientific article; zbMATH DE number 18533
• A procedural semantics for well-founded negation in logic programs
• A rewrite approach for constraint logic programming
• scientific article; zbMATH DE number 515746
• scientific article; zbMATH DE number 92602

Cites work

• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• A kripke-kleene semantics for logic programs*
• A rewrite mechanism for logic programs with negation
• Negation in logic programming
• On rewrite programs: Semantics and relationship with prolog

Cited in

(7)

• A rewrite approach for constraint logic programming
• Rewriting Guarded Negation Queries
• Recycling computed answers in rewrite systems for abduction
• A rewrite mechanism for logic programs with negation
• Eliminating negation from normal logic programs
• Theoretical Aspects of Computing - ICTAC 2004
• On rewrite programs: Semantics and relationship with prolog

This page was built for publication: A rewrite mechanism for logic programs with negation

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