scientific article; zbMATH DE number 5356404

MaRDI QIDQ3533554zbMATH OpenFDO

Authors Umberto Straccia, Fernando Bobillo

Publication date 23 October 2008

Full work available at URL https://eudml.org/doc/42208

zbMATH Keywords

frame-based knowledge representationGeneral Concept Inclusionsvagueness of concepts

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Knowledge representation (68T30) Mixed integer programming (90C11) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 3871030
• scientific article; zbMATH DE number 4043619
• Many-valued logic and mixed integer programming
• scientific article; zbMATH DE number 647711
• scientific article; zbMATH DE number 1082996
• Fuzzy integer linear programming problems
• A new approach to integrating mixed integer programming and constraint logic programming
• A unified approach to mixed-integer optimization problems with logical constraints
• Generalized intuitionistic fuzzy linear programming problem
• scientific article; zbMATH DE number 175968

Cited in

(22)

• On the failure of the finite model property in some fuzzy description logics
• Introduction
• On finitely-valued fuzzy description logics
• On the relationship between fuzzy description logics and many-valued modal logics
• Reasoning in fuzzy description logics using automata
• Fuzzy description logics with general t-norms and datatypes
• From fuzzy to annotated semantic web languages
• All about fuzzy description logics and applications
• Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
• Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
• Fuzzy description logics under Gödel semantics
• Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
• A formal framework for description logics with uncertainty
• Fuzzy description logics and \(t\)-norm based fuzzy logics
• On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
• Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
• Optimising fuzzy description logic reasoners with general concept inclusion absorption
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• Consistency reasoning in lattice-based fuzzy description logics
• Many-valued logic and mixed integer programming
• On the undecidability of fuzzy description logics with GCIs and product t-norm
• The limits of decidability in fuzzy description logics with general concept inclusions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3533554)