Qualified Computations in Functional Logic Programming
From MaRDI portal
Publication:5325770
DOI10.1007/978-3-642-02846-5_36zbMath1251.68053MaRDI QIDQ5325770
Mario Rodríguez Artalejo, Rafael Caballero, Carlos A. Romero-Díaz
Publication date: 24 July 2009
Published in: Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-02846-5_36
Related Items
Qualified Computations in Functional Logic Programming, A declarative semantics for CLP with qualification and proximity
Cites Work
- Unnamed Item
- Fuzzy Prolog: A new approach using soft constraints propagation
- A new generic scheme for functional logic programming with constraints
- Approximate reasoning by similarity-based SLD resolution.
- Formal Properties of Needed Narrowing with Similarity Relations
- A needed narrowing strategy
- Qualified Computations in Functional Logic Programming
- Quantitative Logic Programming Revisited
- Frontiers of Combining Systems