Negation and constraint logic programming

DOI10.1006/INCO.1995.1048MaRDI QIDQ1891129zbMATH OpenOpenAlexFDO

Authors Peter J. Stuckey

Publication date 28 May 1995

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/inco.1995.1048

zbMATH Keywords

constructive negationconstraint logic programming systems

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Publication:5750391
• Negation in logic programming
• scientific article; zbMATH DE number 515746
• scientific article; zbMATH DE number 1456952
• Logic programming with strong negation
• Constructive negation and constraint logic programming with sets
• Coinductive logic programming with negation
• Logic programming with default, weak and strict negations
• Publication:5750390
• scientific article; zbMATH DE number 1926617

Cited in

(25)

• Datalog with Negation and Monotonicity.
• Failure and equality in functional logic programming
• scientific article; zbMATH DE number 1456952 (Why is no real title available?)
• scientific article; zbMATH DE number 1453065 (Why is no real title available?)
• Logic Programming
• Extending constructive logic negation with types
• Serious computing with tense
• scientific article; zbMATH DE number 3958694 (Why is no real title available?)
• Negation in combining constraint systems
• Selective Unification in (Constraint) Logic Programming*
• Constructive negation and constraint logic programming with sets
• Semantics of structured normal logic programs
• An algebraic perspective of constraint logic programming
• An extended constraint deductive database: theory and implementation
• Programming in metric temporal logic
• αCheck: A mechanized metatheory model checker
• Linear concurrent constraint programming: Operational and phase semantics
• The first order theory of primal grammars is decidable
• A new framework for declarative programming
• A functorial framework for constraint normal logic programming
• A Functorial Framework for Constraint Normal Logic Programming
• A necessary condition for constructive negation in constraint logic programming
• Answer Synthesis for CLP Programs with Negation
• Institutions for logic programming
• Implementing constructive intensional negation

This page was built for publication: Negation and constraint logic programming

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