scientific article
From MaRDI portal
Publication:3533554
zbMath1152.68632MaRDI QIDQ3533554
Fernando Bobillo, Umberto Straccia
Publication date: 23 October 2008
Full work available at URL: https://eudml.org/doc/42208
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mixed integer programming (90C11) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (20)
On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm ⋮ Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction ⋮ Reasoning in fuzzy description logics using automata ⋮ 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 ⋮ Introduction ⋮ 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 ⋮ 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 ⋮ 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 ⋮ The limits of decidability in fuzzy description logics with general concept inclusions ⋮ Fuzzy description logics with general t-norms and datatypes ⋮ On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
This page was built for publication:
