Pages that link to "Item:Q5656745"

The following pages link to Fuzzy Logic and the Resolution Principle (Q5656745):

Displaying 50 items.

• Proximity-based unification theory (Q529054) (← links)
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\) (Q545319) (← links)
• Concerning a quantum-like uncertainty relation for pairs of complementary fuzzy sets (Q581388) (← links)
• Possibilistic logic: a retrospective and prospective view (Q598572) (← links)
• Fuzzy Prolog: A new approach using soft constraints propagation (Q598583) (← links)
• A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
• Resolution principles in possibilistic logic (Q911797) (← links)
• A hybrid programming scheme combining fuzzy-logic and functional-logic resources (Q1037954) (← links)
• A theoretical background for applying fuzzy set theory in information retrieval (Q1053662) (← links)
• The implementation of FPROLOG - a fuzzy PROLOG interpreter (Q1096409) (← links)
• Fundamentals of Fuzzy Prolog (Q1116716) (← links)
• Fuzzy propositional logics (Q1135844) (← links)
• Axiomatic approach to implication for approximate reasoning with fuzzy logic (Q1139581) (← links)
• On the inclusiveness of information retrieval systems with documents indexed by weighted descriptors (Q1149801) (← links)
• Fuzzy term-rewriting system (Q1182011) (← links)
• A fuzzy Petri net for knowledge representation and reasoning (Q1182094) (← links)
• Free fuzzy groups and fuzzy group presentations (Q1198852) (← links)
• Numerical evaluation of the validity of experimental proofs in biology (Q1232403) (← links)
• Fuzzy propositional logic. Algebraic approach (Q1240210) (← links)
• The concept of a linguistic variable and its application to approximate reasoning. I (Q1253933) (← links)
• The concept of a linguistic variable and its application to approximate reasoning. II (Q1256861) (← links)
• The concept of a linguistic variable and its application to approximate reasoning. III (Q1256862) (← links)
• Limitations of quantitative operator fuzzy logic (Q1286649) (← links)
• Possibility theory is not fully compositional! A comment on a short note by H. J. Greenberg (Q1292073) (← links)
• Free fuzzy modules and their bases (Q1310913) (← links)
• Fuzzy operator logic and fuzzy resolution (Q1312159) (← links)
• Fuzzy propositional logic (Q1319449) (← links)
• Graded many-valued resolution with aggregation. (Q1428680) (← links)
• Relaxed unification -- proposal (Q1431877) (← links)
• Annotated fuzzy logic programs (Q1568489) (← links)
• A new fuzzy resolution principle based on the antonym (Q1568493) (← links)
• Fuzzy types: A framework for handling uncertainty about types of objects (Q1594851) (← links)
• Approximate reasoning by similarity-based SLD resolution. (Q1607217) (← links)
• Similarity-based SLD resolution and its role for web knowledge discovery (Q1827312) (← links)
• Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
• The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
• Foundation of credibilistic logic (Q2271113) (← links)
• \(\Lambda\)-resolution and interpretation of \(\Lambda\)-implication in fuzzy operator logic (Q2277443) (← links)
• General form of \(\alpha\)-resolution principle for linguistic truth-valued lattice-valued logic (Q2392565) (← links)
• Fuzzy logic from the viewpoint of machine intelligence (Q2492313) (← links)
• Fuzzy sets in approximate reasoning. II: Logical approaches (Q2641292) (← links)
• Vague Domains, S-Unification and Logic Programming (Q2842597) (← links)
• Similarity-Based Equality with Lazy Evaluation (Q3163977) (← links)
• Beyond multi-adjoint logic programming (Q3451409) (← links)
• The treatment of uncertainty in knowledge-based systems using fuzzy sets and possibility theory (Q3792267) (← links)
• (Q3890137) (← links)
• (Q4067013) (← links)
• Outline of an approach for the analysis of fuzzy systems (Q4088661) (← links)
• Some notes concerning fuzzy logics (Q4117818) (← links)
• 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)