A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme

DOI10.1016/J.ENTCS.2007.01.026zbMATH Open1279.68039OpenAlexW2157290766MaRDI QIDQ2873802FDOQ2873802

Authors: S. Estévez Martín, A. J. Fernández, M. T. Hortalá González, M. Rodríguez Artalejo, R. del Vado Vírseda 

Publication date: 24 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.01.026

Recommendations

• scientific article; zbMATH DE number 1860712
• A proposal for the cooperation of solvers in constraint functional logic programming
• scientific article; zbMATH DE number 1822298
• scientific article; zbMATH DE number 2080334
• scientific article; zbMATH DE number 1114458
• Concurrent cooperating solvers over reals
• A generalized solution of an interactive goal-programming problem
• A CDCL-style calculus for solving non-linear constraints
• scientific article; zbMATH DE number 1822449
• scientific article; zbMATH DE number 2086857

zbMATH Keywords

constraintsfunctional-logic programminglazy narrowingcooperative goal solving

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17) Functional programming and lambda calculus (68N18)

Cites Work

• Polymorphic types in functional logic programming
• Frontiers of Combining Systems
• Constraint functional logic programming over finite domains
• Title not available (Why is that?)
• A proposal for the cooperation of solvers in constraint functional logic programming

Cited In (3)

• On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
• Cooperation of algebraic constraint domains in higher-order functional and logic programming
• Extending the \(\mathcal{TOY}\) system with the \(\mathrm{ECL}^i\mathrm{PS}^e\) solver over sets of integers

Uses Software

• CFLP

This page was built for publication: A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme

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