A Transformation-based implementation for CLP with qualification and proximity

DOI10.1017/S1471068412000014zbMath1295.68057arXiv1009.1976OpenAlexW2963084276MaRDI QIDQ5410260

Mario Rodríguez Artalejo, Carlos A. Romero-Díaz, Rafael Caballero

Publication date: 16 April 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.1976

zbMATH Keywords

program transformationconstraint logic programmingproximity relationssimilarity relationsqualification valuesqualification domainsflexible information retrieval

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ A sound and complete semantics for a similarity-based logic programming language

Cites Work

• Unnamed Item
• Fuzzy Prolog: A new approach using soft constraints propagation
• An improved reductant calculus using fuzzy partial evaluation techniques
• Metamathematics of fuzzy logic
• Likelog for flexible query answering
• Translations and similarity-based logic programming
• Approximate reasoning by similarity-based SLD resolution.
• Similarity-based SLD resolution and its role for web knowledge discovery
• Similarity-based unification: A multi-adjoint approach
• Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14--17, 2009. Proceedings
• Functional and logic programming. 9th international symposium, FLOPS 2008, Ise, Japan, April 14--16, 2008. Proceedings
• Similarity relations and fuzzy orderings
• A declarative semantics for CLP with qualification and proximity
• Quantitative deduction and its fixpoint theory
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• A similarity-based resolution rule
• Fuzzy sets
• Fuzzy Logic and the Resolution Principle
• Fuzzy logic. Mathematical tools for approximate reasoning
• Logic programming and nonmonotonic reasoning. 6th international conference, LPNMR 2001, Vienna, Austria, September 17--19, 2001. Proceedings
• Fuzzy logic programming