On finitely-valued fuzzy description logics
From MaRDI portal
Publication:465589
Recommendations
- On finitely valued fuzzy description logics: the Łukasiewicz case
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Finite fuzzy description logics and crisp representations
- Making fuzzy description logic more general
- The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm
Cites work
- scientific article; zbMATH DE number 5356404 (Why is no real title available?)
- scientific article; zbMATH DE number 5547901 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 67503 (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 6276266 (Why is no real title available?)
- scientific article; zbMATH DE number 6276267 (Why is no real title available?)
- scientific article; zbMATH DE number 6276270 (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 logical approach to fuzzy truth hedges
- A proof of standard completeness for Esteva and Godo's logic MTL
- A treatise on many-valued logics
- Algebraic foundations of many-valued reasoning
- Algebraizable logics
- Computational complexity of t-norm based propositional fuzzy logics with rational truth constants
- Description logic programs under probabilistic uncertainty and fuzzy vagueness
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Fuzzy description logics under Gödel semantics
- Fuzzy description logics with general t-norms and datatypes
- How fuzzy is my fuzzy description logic?
- Joining Gödel and Zadeh fuzzy logics in fuzzy description logics
- MUltlog 1.0: towards an expert system for many-valued logics
- Making fuzzy description logic more general
- Metamathematics of fuzzy logic
- Modal logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- On a class of operators for expert systems
- On finitely valued fuzzy description logics: the Łukasiewicz case
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- On the relative expressiveness of description logics and predicate logics
- On the structure of semi-groups on a compact manifold with boundary
- On very true
- Reasoning within fuzzy description logics
- Some Complexity Results on Fuzzy Description Logics
- Truth-depressing hedges and BL-logic
Cited in
(9)- Infinite-valued logic based on two-valued logic and probability. Part 1.1. Difficulties with present-day fuzzy-set theory and their resolution in the TEE model
- On the relationship between fuzzy description logics and many-valued modal logics
- A survey of contributions to fuzzy logic and its applications to artificial intelligence at the IIIA
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Some Complexity Results on Fuzzy Description Logics
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- On finitely valued fuzzy description logics: the Łukasiewicz case
- On similarity in fuzzy description logics
- The limits of decidability in fuzzy description logics with general concept inclusions
This page was built for publication: On finitely-valued fuzzy description logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q465589)
