Answer Synthesis for CLP Programs with Negation

DOI10.1093/JIGPAL/5.3.1-CMaRDI QIDQ4340538zbMATH OpenOpenAlexFDO

Authors Gilles Richard, Frédéric Saubion

Publication date 3 July 1997

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/03e196759db9cc3b5d9960f27fe4faea8adf7257

zbMATH Keywords

constraint logic programmingrewrite techniques

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Revisiting explicit negation in answer set programming
• scientific article; zbMATH DE number 515746
• Compilative constructive negation in constraint logic programs
• Coinductive logic programming with negation
• Negation and constraint logic programming
• scientific article; zbMATH DE number 4185010
• scientific article; zbMATH DE number 18533
• On the role of negation in choice logic programs
• Answer Set Programming without Unstratified Negation
• A rewrite mechanism for logic programs with negation

Cited in

(2)

• A rewrite mechanism for logic programs with negation
• A rewrite approach for constraint logic programming

This page was built for publication: Answer Synthesis for CLP Programs with Negation

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