Pages that link to "Item:Q1607217"
From MaRDI portal
The following pages link to Approximate reasoning by similarity-based SLD resolution. (Q1607217):
Displaying 6 items.
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)
- Formal Properties of Needed Narrowing with Similarity Relations (Q2867957) (← links)
- Similarity-Based Equality with Lazy Evaluation (Q3163977) (← links)
