scientific article
From MaRDI portal
Publication:2717787
zbMath0973.03034MaRDI QIDQ2717787
Publication date: 18 June 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in computer science (03B70)
Related Items (51)
Decidability of order-based modal logics ⋮ Spatial reasoning in a fuzzy region connection calculus ⋮ Extending description logics with uncertainty reasoning in possibilistic logic ⋮ On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ UNDECIDABILITY AND NON-AXIOMATIZABILITY OF MODAL MANY-VALUED LOGICS ⋮ Making fuzzy description logic more general ⋮ Reasoning within intuitionistic fuzzy rough description logics ⋮ Type-2 fuzzy description logic ⋮ The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics ⋮ Generalizing type-2 fuzzy ontologies and type-2 fuzzy description logics ⋮ Uncertain lightweight ontologies in a product-based possibility theory framework ⋮ Reasoning in fuzzy description logics using automata ⋮ The complexity of fuzzy \(\mathcal{EL}\) under the Łukasiewicz t-norm ⋮ On decidability of concept satisfiability in description logic with product semantics ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ Extending the description logic \(\mathcal{EL}\) with threshold concepts induced by concept measures ⋮ On similarity in fuzzy description logics ⋮ A description logic approach for representing and reasoning on fuzzy object-oriented database models ⋮ Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\) ⋮ From Fuzzy to Annotated Semantic Web Languages ⋮ All About Fuzzy Description Logics and Applications ⋮ Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic ⋮ Generalized fuzzy rough description logics ⋮ Multistep scheduling algorithm for parallel and distributed processing in heterogeneous systems with communication costs ⋮ Introduction ⋮ The complexity of computing the behaviour of lattice automata on infinite trees ⋮ On finitely-valued fuzzy description logics ⋮ Consistency reasoning in lattice-based fuzzy description logics ⋮ On the relationship between fuzzy description logics and many-valued modal logics ⋮ Expressivity in chain-based modal logics ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics ⋮ Fuzzy description logics under Gödel semantics ⋮ A formal framework for description logics with uncertainty ⋮ On the failure of the finite model property in some fuzzy description logics ⋮ Some Complexity Results on Fuzzy Description Logics ⋮ Unnamed Item ⋮ Fuzzy description logics and \(t\)-norm based fuzzy logics ⋮ Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics ⋮ Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm ⋮ Probabilistic description logic programs ⋮ On transitive modal many-valued logics ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Reasoning within fuzzy OWL 2 EL revisited ⋮ Reasoning with rough description logics: An approximate concepts approach ⋮ Supporting Fuzzy Rough Sets in Fuzzy Description Logics ⋮ Unnamed Item ⋮ A Modal Representation of Graded Medical Statements ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ Reasoning within expressive fuzzy rough description logics ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions ⋮ Inconsistency-tolerant reasoning with OWL DL
This page was built for publication: