Compilative constructive negation in constraint logic programs
From MaRDI portal
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
- Disjunctive logic programming, constructivity and strong negation
- Coinductive logic programming with negation
- On the role of negation in choice logic programs
- scientific article; zbMATH DE number 4185010
- 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
(18)- S-semantics for logic programming: a retrospective look
- Negation and constraint logic programming
- Negation in combining constraint systems
- Inhibited Effects in CP-Logic
- A necessary condition for constructive negation in constraint logic programming
- scientific article; zbMATH DE number 4033044 (Why is no real title available?)
- Answer Synthesis for CLP Programs with Negation
- Constructive negation by pruning
- scientific article; zbMATH DE number 1059306 (Why is no real title available?)
- Négation constructive et axiomatique interne
- αCheck: A mechanized metatheory model checker
- Constructive negation under the well-founded semantics
- On the role of negation in choice logic programs
- Extending constructive logic negation with types
- A rewrite approach for constraint logic programming
- Functional and Logic Programming
- Constructive negation and constraint logic programming with sets
- Implementing constructive intensional negation
This page was built for publication: Compilative constructive negation in constraint logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4954441)
