Negation and constraint logic programming

DOI10.1006/INCO.1995.1048zbMATH Open0827.68022OpenAlexW2041608581MaRDI QIDQ1891129FDOQ1891129

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

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

zbMATH Keywords

constructive negationconstraint logic programming systems

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (25)

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

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)