A sound and complete semantics for a similarity-based logic programming language
From MaRDI portal
Publication:723251
DOI10.1016/j.fss.2016.12.016zbMath1392.68138OpenAlexW2563728751MaRDI QIDQ723251
Clemente Rubio-Manzano, Pascual Julián-Iranzo
Publication date: 30 July 2018
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2016.12.016
operational semanticsfixpoint semanticsfuzzy logic programmingdeclarative semanticssimilarity relationsweak SLD-resolution
Related Items (7)
Thresholded semantic framework for a fully integrated fuzzy logic language ⋮ Seeking a safe and efficient similarity-based unfolding rule ⋮ Immediate consequences operator on generalized quantifiers ⋮ The fuzzy logic programming language FASILL: design and implementation ⋮ Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach ⋮ BousiProlog ⋮ Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proximity-based unification theory
- Fuzzy Prolog: A new approach using soft constraints propagation
- The concept of a linguistic variable and its application to approximate reasoning. III
- Approximate reasoning by similarity-based SLD resolution.
- Similarity-based unification: A multi-adjoint approach
- A declarative semantics for CLP with qualification and proximity
- An Efficient Unification Algorithm
- Contributions to the Theory of Logic Programming
- The Semantics of Predicate Logic as a Programming Language
- A similarity-based resolution rule
- A Transformation-based implementation for CLP with qualification and proximity
- Quantitative Logic Programming Revisited
- Fuzzy sets
- Fuzzy Logic and the Resolution Principle
- Fuzzy logic programming
This page was built for publication: A sound and complete semantics for a similarity-based logic programming language
