Fuzzy description logics and t-norm based fuzzy logics
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 5356404 (Why is no real title available?)
- scientific article; zbMATH DE number 3931080 (Why is no real title available?)
- scientific article; zbMATH DE number 3784845 (Why is no real title available?)
- scientific article; zbMATH DE number 67504 (Why is no real title available?)
- scientific article; zbMATH DE number 1936671 (Why is no real title available?)
- scientific article; zbMATH DE number 2030505 (Why is no real title available?)
- scientific article; zbMATH DE number 5040084 (Why is no real title available?)
- scientific article; zbMATH DE number 3222967 (Why is no real title available?)
- scientific article; zbMATH DE number 2209488 (Why is no real title available?)
- A proof of standard completeness for Esteva and Godo's logic MTL
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Algebras of Fuzzy Sets in Logics Based on Continuous Triangular Norms
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- Equational characterization of the subvarieties of BL generated by t-norm algebras
- Exploring a syntactic notion of modal many-valued logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- From fuzzy logic to fuzzy mathematics: a methodological manifesto
- Fuzzy description logics under Gödel semantics
- Fuzzy logic and approximate reasoning
- Fuzzy sets
- MUltlog 1.0: towards an expert system for many-valued logics
- Making fuzzy description logic more general
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On Product Logic with Truth-constants
- On a class of operators for expert systems
- On completeness results for predicate Łukasiewicz, product, Gödel and nilpotent minimum logics expanded with truth-constants
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On the failure of the finite model property in some fuzzy description logics
- On the structure of semi-groups on a compact manifold with boundary
- On theories and models in fuzzy predicate logics
- Proof systems for a Gödel modal logic
- Reasoning within fuzzy description logics
- Residuated fuzzy logics with an involutive negation
- Systems of ordinal fuzzy logic with application to preference modelling
- Triangular norm based predicate fuzzy logics
- Varieties of BL-algebras. I: General properties.
- Weakly implicative (fuzzy) logics. I: Basic properties
Cited in
(24)- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- A preferential interpretation of multilayer perceptrons in a conditional logic with typicality
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- Fuzzy description logic and its applications
- On the undecidability of fuzzy description logics with GCIs and product t-norm
- An ASP Approach for Reasoning on Neural Networks under a Finitely Many-Valued Semantics for Weighted Conditional Knowledge Bases
- Finite fuzzy description logics and crisp representations
- The limits of decidability in fuzzy description logics with general concept inclusions
- Formalization of implication based fuzzy reasoning method
- Transforming Fuzzy Description Logic $\mathcal{ALC}_\mathcal{FL}$ into Classical Description Logic $\mathcal{ALCH}$
- Consistency reasoning in lattice-based fuzzy description logics
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion
- On finitely-valued fuzzy description logics
- Fuzzy description logic based on the revised Kleene implication
- On similarity in fuzzy description logics
- On the relationship between fuzzy description logics and many-valued modal logics
- Triangular norm based predicate fuzzy logics
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- On the failure of the finite model property in some fuzzy description logics
- Fuzzy description logics with general t-norms and datatypes
- On finitely valued fuzzy description logics: the Łukasiewicz case
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- Introduction
- Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases
This page was built for publication: Fuzzy description logics and \(t\)-norm based fuzzy logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q990977)