Pages that link to "Item:Q1607217"
From MaRDI portal
The following pages link to Approximate reasoning by similarity-based SLD resolution. (Q1607217):
Displaying 32 items.
- Proximity-based unification theory (Q529054) (← links)
- Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
- Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants (Q598575) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- Editorial: Fuzzy set and possibility theory-based methods in artificial intelligence (Q814478) (← links)
- Fuzzy \(rr\)DFCSP and planning (Q814480) (← links)
- An improved reductant calculus using fuzzy partial evaluation techniques (Q1037854) (← 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)
- Similarity-based SLD resolution and its role for web knowledge discovery (Q1827312) (← links)
- A comparison of fuzzy and annotated logic programming (Q1827314) (← links)
- Similarity-based unification: A multi-adjoint approach (Q1876499) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Termination of logic programs with imperfect information: applications and query procedure (Q2372195) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- Qualified Logic Programming with Bivalued Predicates (Q2808238) (← 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)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- Cognitive Metaphor-Based Fuzzy Similarity Reasoning (Q3102162) (← links)
- Similarity-Based Equality with Lazy Evaluation (Q3163977) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- SIMILARITY-BASED RELATIONS IN DATALOG PROGRAMS (Q4650073) (← links)
- Sound and Complete SLD-Resolution for Bilattice-Based Annotated Logic Programs (Q4982058) (← links)
- Planning for an Efficient Implementation of Hypothetical Bousi∼Prolog (Q5019608) (← links)
- Solving Proximity Constraints (Q5097630) (← links)
- Qualified Computations in Functional Logic Programming (Q5325770) (← links)
- A Transformation-based implementation for CLP with qualification and proximity (Q5410260) (← links)
- Seeking a safe and efficient similarity-based unfolding rule (Q6064255) (← links)
- An empirically supported approach to the treatment of imprecision in vague reasoning (Q6178739) (← links)
- Tuning similarity-based fuzzy logic programs (Q6643475) (← links)
