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

DOI10.1016/J.ENTCS.2007.01.026MaRDI QIDQ2873802zbMATH OpenOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 1822298 (Why is no real title available?)
• A proposal for the cooperation of solvers in constraint functional logic programming
• Constraint functional logic programming over finite domains
• Frontiers of Combining Systems
• Polymorphic types in functional logic programming

Cited in

(5)

• A concurrent operational semantics for constraint functional logic programming
• 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
• A proposal for the cooperation of solvers in constraint functional logic programming

Describes a project that uses

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)