Satisfiability in many-valued sentential logic is NP-complete
Theoretical Computer Science
Attributive concept descriptions with complements
Artificial Intelligence
On the relative expressiveness of description logics and predicate logics
Artificial Intelligence
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Reasoning within fuzzy description logics
Journal of Artificial Intelligence Research
Generalizing term subsumption languages to fuzzy logic
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
Managing uncertainty and vagueness in description logics for the Semantic Web
Web Semantics: Science, Services and Agents on the World Wide Web
Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Relational compositions in Fuzzy Class Theory
Fuzzy Sets and Systems
Fuzzy description logics under Gödel semantics
International Journal of Approximate Reasoning
Reasoning within intuitionistic fuzzy rough description logics
Information Sciences: an International Journal
Unifying preference and judgment aggregation
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Proceedings of the 2008 conference on Artificial Intelligence Research and Development: Proceedings of the 11th International Conference of the Catalan Association for Artificial Intelligence
General Concept Inclusions in Fuzzy Description Logics
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Supporting Fuzzy Rough Sets in Fuzzy Description Logics
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Reasoning with very expressive fuzzy description logics
Journal of Artificial Intelligence Research
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
Reasoning within expressive fuzzy rough description logics
Fuzzy Sets and Systems
Triangular norm based predicate fuzzy logics
Fuzzy Sets and Systems
Proof Systems for a Gödel Modal Logic
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Expressive fuzzy description logics over lattices
Knowledge-Based Systems
Towards a crisp representation of fuzzy description logics under Łukasiewicz Semantics
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Knowledge representation and consistency checking in a norm-parameterized fuzzy description logic
ICIC'09 Proceedings of the Intelligent computing 5th international conference on Emerging intelligent computing technology and applications
Fuzzy Description Logics and t-norm based fuzzy logics
International Journal of Approximate Reasoning
Correspondences in the theory of aggregation
LOFT'08 Proceedings of the 8th international conference on Logic and the foundations of game and decision theory
Similarity for Attribute-value Representations in Fuzzy Description Logics
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Reasoning with the finitely many-valued Łukasiewicz fuzzy Description Logic SROIQ
Information Sciences: an International Journal
On the failure of the finite model property in some Fuzzy Description Logics
Fuzzy Sets and Systems
Strict core fuzzy logics and quasi-witnessed models
Archive for Mathematical Logic
Type-2 fuzzy description logic
Frontiers of Computer Science in China
On the undecidability of fuzzy description logics with GCIs and product t-norm
FroCoS'11 Proceedings of the 8th international conference on Frontiers of combining systems
Generalized fuzzy rough description logics
Information Sciences: an International Journal
Finite-valued Lukasiewicz modal logic Is PSPACE-complete
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Description logics and fuzzy probability
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
How fuzzy is my fuzzy description logic?
IJCAR'12 Proceedings of the 6th international joint conference on Automated Reasoning
Mathematical Fuzzy Logic: An Invitation to Interesting Research Areas
Fundamenta Informaticae - Topics in Logic, Philosophy and Foundations of Mathematics and Computer Science. In Recognition of Professor Andrzej Grzegorczyk
A tableau algorithm for fuzzy description logics over residuated de morgan lattices
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
Information Sciences: an International Journal
On elementary equivalence in fuzzy predicate logics
Archive for Mathematical Logic
Positive subsumption in fuzzy EL with general t-norms
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Syntactic labelled tableaux for Łukasiewicz fuzzy ALC
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Terminating Calculi for Propositional Dummett Logic with Subformula Property
Journal of Automated Reasoning
Reasoning with vagueness in hybrid MKNF knowledge bases
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
| Hi-index | 0.20 |
A version of fuzzy description logic based on the basic (continuous t-norm based) fuzzy predicate logic BL is presented. Problems of satisfiability, validity and subsumption of concepts are discussed and reduced to problems of fuzzy propositional logic known to be decidable for any continuous t-norm. For Lukasiewicz t-norm some stronger results are obtained.