Computational complexity and constraint logic programming languages

DOI10.1007/BF01543475MaRDI QIDQ1354033zbMATH OpenOpenAlexFDO

Authors Carol Tretkoff, Kenneth McAloon, James C. Cox

Publication date 13 May 1997

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01543475

zbMATH Keywords

CLP languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Generalized disjunctive well-founded semantics for logic programs.
• Constraint logic programming
• scientific article; zbMATH DE number 1926617
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Set constraints and logic programming

Cites work

• A canonical form for generalized linear constraints
• Alternation
• Alternation and the computational complexity of logic programs
• CAL: A theoretical background of constraint logic programming and its applications
• Complete problems for deterministic polynomial time
• Constructing roadmaps of semi-algebraic sets. I: Completeness
• Hermite Normal Form Computation Using Modulo Determinant Arithmetic
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 16648 (Why is no real title available?)
• scientific article; zbMATH DE number 192840 (Why is no real title available?)
• Linear unification

Cited in

(4)

• Generalized disjunctive well-founded semantics for logic programs.
• Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
• Relative expressiveness of defeasible logics
• From LP to LP: Programming with constraints

Describes a project that uses

Uses Software

• CHIP

This page was built for publication: Computational complexity and constraint logic programming languages

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