scientific article; zbMATH DE number 1456952

<a class="pub-badge pub-badge--grey" href="https://zbmath.org/0938.68571" rel="nofollow">zbMATH</a><a class="pub-badge pub-badge--mardi" href="https://portal.mardi4nfdi.de/wiki/Item:Q4954441" rel="nofollow">MaRDI QID Q4954441</a><a class="pub-badge pub-badge--grey" href="https://fdo.portal.mardi4nfdi.de/fdo/Q4954441" rel="nofollow">FDO</a>

Authors Paola Bruscoli, Francesca Levi, Maria Chiara Meo, Giorgio Levi

Publication date 7 June 2000

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A necessary condition for constructive negation in constraint logic programming
• Constructive negation and constraint logic programming with sets
• Negation and constraint logic programming
• scientific article; zbMATH DE number 515746
• scientific article; zbMATH DE number 1292286
• Coinductive logic programming with negation
• scientific article; zbMATH DE number 1453065
• Publication:5750390
• scientific article; zbMATH DE number 4033044
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1

Cited in

(15)

• S-semantics for logic programming: a retrospective look
• scientific article; zbMATH DE number 1453065 (Why is no real title available?)
• Extending constructive logic negation with types
• Functional and Logic Programming
• Negation in combining constraint systems
• Négation constructive et axiomatique interne
• scientific article; zbMATH DE number 4033044 (Why is no real title available?)
• Constructive negation and constraint logic programming with sets
• Negation and constraint logic programming
• Inhibited Effects in CP-Logic
• A rewrite approach for constraint logic programming
• αCheck: A mechanized metatheory model checker
• A necessary condition for constructive negation in constraint logic programming
• Answer Synthesis for CLP Programs with Negation
• Implementing constructive intensional negation

This page was built for publication:

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