Fuzzy logic programming
From MaRDI portal
Recommendations
Cites work
- Declarative and procedural semantics of fuzzy similarity based unification
- Fuzzy logic and approximate reasoning
- Fuzzy sets
- Fuzzy sets in approximate reasoning. II: Logical approaches
- scientific article; zbMATH DE number 420884 (Why is no real title available?)
- scientific article; zbMATH DE number 43398 (Why is no real title available?)
- scientific article; zbMATH DE number 864791 (Why is no real title available?)
- scientific article; zbMATH DE number 3335866 (Why is no real title available?)
- Metamathematics of fuzzy logic
- New connectives for (full) fuzzy resolution
- On Fuzzy Logic I Many‐valued rules of inference
- Quantitative deduction and its fixpoint theory
- Theory of T-norms and fuzzy inference methods
Cited in
(74)- A hybrid programming scheme combining fuzzy-logic and functional-logic resources
- Approximate well-founded semantics, query answering and generalized normal logic programs over lattices
- Formal theories and linguistic descriptions.
- Annotated fuzzy logic programs
- Fuzzy Turing machines: normal form and limitative theorems
- Fuzzy logic programming and fuzzy control
- Syntax and semantics of multi-adjoint normal logic programming
- Modeling multi-valued biological interaction networks using fuzzy answer set programming
- Extending fuzzy logics with many hedges
- A comparison of fuzzy and annotated logic programming
- Similarity-based unification: A multi-adjoint approach
- A neural implementation of multi-adjoint logic programming
- Symbolic similarity relations for tuning fully integrated fuzzy logic programs
- Pavelka-style fuzzy logic in retrospect and prospect
- The fuzzy logic programming language FASILL: design and implementation
- Extended multi-adjoint logic programming
- Finitary coalgebraic multisemilattices and multilattices.
- On expansions of WNM t-norm based logics with truth-constants
- Bilattices for deductions in multi-valued logic
- Termination of logic programs with imperfect information: applications and query procedure
- Meta-logic programming for a synonymy logic
- On fuzzy unfolding: A multi-adjoint approach
- Thresholded semantic framework for a fully integrated fuzzy logic language
- Symbolic execution and thresholding for efficiently tuning fuzzy logic programs
- On the existence of free models in fuzzy universal Horn classes
- Fuzzy Horn logic. I. Proof theory.
- Modeling a fuzzy coprocessor and its programming language
- Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description
- A multi-adjoint approach to similarity-based unification
- Vague domains, S-unification and logic programming
- From fuzzy to annotated semantic web languages
- On quasi-varieties of multiple valued logic models
- Fuzzy logic as Hájek's comparative notion of truth and applications in preference modeling
- Program for generating fuzzy logical operations and its use in mathematical proofs.
- Fuzzy linguistic logic programming and its applications
- ON A THEOREM PROVER FOR VARIATIONAL LOGIC PROGRAMS WITH FUNCTORS SETU AND SETS
- Beyond multi-adjoint logic programming
- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
- A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
- Integrated Query Answering with Weighted Fuzzy Rules
- Efficient thresholded tabulation for fuzzy query answering
- A declarative semantics for CLP with qualification and proximity
- DEFINITION AND ADAPTATION OF WEIGHTED FUZZY LOGIC PROGRAMS
- Programming with Fuzzy Logic and Mathematical Functions
- Modeling Interpretive Steps in Fuzzy Logic Computations
- scientific article; zbMATH DE number 737142 (Why is no real title available?)
- A core language for fuzzy answer set programming
- Vagueness and formal fuzzy logic: some criticisms
- Fuzzy unification and first order probabilistic logic
- Towards an automated deduction system for first-order possibilistic logic programming with fuzzy constants
- Reducing fuzzy answer set programming to model finding in fuzzy logics
- MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
- Impact Zadeh's theory to algebraic structures. Multi-adjoint algebras
- Towards the Use of Hypergraphs in Multi-adjoint Logic Programming
- Fuzzy logic programming reduced to reasoning with attribute implications
- Proximity-based unification theory
- Declarative and procedural semantics of fuzzy similarity based unification
- An ILP model for a monotone graded classification problem
- A transformation-based implementation for CLP with qualification and proximity
- scientific article; zbMATH DE number 5210633 (Why is no real title available?)
- Fuzzy logic programming
- Adding similarity-based reasoning capabilities to a Horn fragment of possibilistic logic with fuzzy constants
- Fuzzy Prolog: A new approach using soft constraints propagation
- Measures of inclusion and entropy based on the -index of inclusion
- Tuning similarity-based fuzzy logic programs
- Stratified extended multi-adjoint logic programming
- A top-\(k\) query answering procedure for fuzzy logic programming
- Some properties of substitutions in the framework of similarity relations
- A sound and complete semantics for a similarity-based logic programming language
- On reductants in the framework of multi-adjoint logic programming
- Aggregated fuzzy answer set programming
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Fuzzy logic programming via multilattices
- Tabulation proof procedures for fuzzy linguistic logic programming
This page was built for publication: Fuzzy logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6215466)