The following pages link to Fuzzy logic programming (Q6215466):
Displayed 50 items.
- A core language for fuzzy answer set programming (Q448947) (← links)
- Fuzzy logic programming reduced to reasoning with attribute implications (Q529051) (← links)
- Proximity-based unification theory (Q529054) (← links)
- Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants (Q598575) (← links)
- Fuzzy Prolog: A new approach using soft constraints propagation (Q598583) (← links)
- A top-\(k\) query answering procedure for fuzzy logic programming (Q695268) (← links)
- A sound and complete semantics for a similarity-based logic programming language (Q723251) (← links)
- On reductants in the framework of multi-adjoint logic programming (Q723252) (← links)
- Aggregated fuzzy answer set programming (Q766043) (← links)
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results (Q876491) (← links)
- Fuzzy logic programming via multilattices (Q876496) (← links)
- Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices (Q1039575) (← links)
- Formal theories and linguistic descriptions. (Q1428681) (← links)
- Fuzzy Turing machines: normal form and limitative theorems (Q1697984) (← links)
- Fuzzy logic programming and fuzzy control (Q1780897) (← links)
- Syntax and semantics of multi-adjoint normal logic programming (Q1795198) (← links)
- Modeling multi-valued biological interaction networks using fuzzy answer set programming (Q1795202) (← links)
- Extending fuzzy logics with many hedges (Q1795208) (← links)
- A comparison of fuzzy and annotated logic programming (Q1827314) (← links)
- Similarity-based unification: A multi-adjoint approach (Q1876499) (← links)
- A neural implementation of multi-adjoint logic programming (Q1884271) (← links)
- Pavelka-style fuzzy logic in retrospect and prospect (Q2014419) (← links)
- The fuzzy logic programming language FASILL: design and implementation (Q2206451) (← links)
- Extended multi-adjoint logic programming (Q2219170) (← links)
- Finitary coalgebraic multisemilattices and multilattices. (Q2249004) (← links)
- On expansions of WNM t-norm based logics with truth-constants (Q2270234) (← links)
- Bilattices for deductions in multi-valued logic (Q2353941) (← links)
- Termination of logic programs with imperfect information: applications and query procedure (Q2372195) (← links)
- Meta-logic programming for a synonymy logic (Q2380338) (← links)
- On fuzzy unfolding: A multi-adjoint approach (Q2386238) (← links)
- Thresholded semantic framework for a fully integrated fuzzy logic language (Q2409628) (← links)
- On the existence of free models in fuzzy universal Horn classes (Q2410497) (← links)
- Fuzzy Horn logic. I. Proof theory. (Q2580956) (← links)
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification (Q2842591) (← links)
- From Fuzzy to Annotated Semantic Web Languages (Q2970305) (← links)
- On quasi-varieties of multiple valued logic models (Q2996230) (← links)
- Fuzzy linguistic logic programming and its applications (Q3393228) (← links)
- Beyond multi-adjoint logic programming (Q3451409) (← links)
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics (Q3507415) (← links)
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption (Q3524923) (← links)
- Integrated Query Answering with Weighted Fuzzy Rules (Q3524990) (← links)
- A declarative semantics for CLP with qualification and proximity (Q3585172) (← links)
- DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS (Q3620350) (← links)
- Modeling Interpretive Steps in Fuzzy Logic Computations (Q3638389) (← links)
- Vagueness and Formal Fuzzy Logic: Some Criticisms (Q4565825) (← links)
- Reducing fuzzy answer set programming to model finding in fuzzy logics (Q4897702) (← links)
- MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations (Q5038471) (← links)
- (Q5093393) (← links)
- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming (Q5215753) (← links)