A necessary condition for constructive negation in constraint logic programming
DOI10.1016/S0020-0190(00)00046-6zbMATH Open1339.68035DBLPjournals/ipl/DovierPR00WikidataQ57840355 ScholiaQ57840355MaRDI QIDQ294756FDOQ294756
Authors: Agostino Dovier, Gianfranco Rossi, Enrico Pontelli 
Publication date: 16 June 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019000000466?np=y
Recommendations
- scientific article; zbMATH DE number 1456952
- Negation and constraint logic programming
- Constructive negation and constraint logic programming with sets
- The basic constructive logic for negation-consistency
- scientific article; zbMATH DE number 1292286
- scientific article; zbMATH DE number 1453065
- Negation in combining constraint systems
- Coinductive logic programming with negation
- scientific article; zbMATH DE number 515746
- Publication:5750390
programming languagesconstraint logic programmingautomatic theorem provingformal semanticsconstructive negation
Cites Work
- Title not available (Why is that?)
- Making prolog more expressive
- What is failure? An approach to constructive negation
- Negation and constraint logic programming
- {log}: A language for programming in logic with finite sets
- The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
- Title not available (Why is that?)
- Logic programming and negation: A survey
- Constructive negation by pruning
- A transformational approach to negation in logic programming
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (7)
- Selective Unification in (Constraint) Logic Programming*
- Implementing constructive intensional negation
- Title not available (Why is that?)
- Constructive negation and constraint logic programming with sets
- Preface
- Negation in combining constraint systems
- Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
This page was built for publication: A necessary condition for constructive negation in constraint logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q294756)
