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

zbMATH Keywords

programming languagesconstraint logic programmingautomatic theorem provingformal semanticsconstructive negation

Mathematics Subject Classification ID

Logic programming (68N17)

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

Cites work

• scientific article; zbMATH DE number 4199656 (Why is no real title available?)
• scientific article; zbMATH DE number 1337735 (Why is no real title available?)
• scientific article; zbMATH DE number 3285224 (Why is no real title available?)
• scientific article; zbMATH DE number 4185011 (Why is no real title available?)
• A transformational approach to negation in logic programming
• Constructive negation by pruning
• Logic programming and negation: A survey
• Making prolog more expressive
• Negation and constraint logic programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• What is failure? An approach to constructive negation
• {log}: A language for programming in logic with finite sets

Cited in

(7)

• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• Negation in combining constraint systems
• Selective Unification in (Constraint) Logic Programming*
• Constructive negation and constraint logic programming with sets
• Preface
• Implementing constructive intensional negation

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)