scientific article; zbMATH DE number 5356404
From MaRDI portal
Publication:3533554
zbMATH Open1152.68632MaRDI QIDQ3533554FDOQ3533554
Authors: Umberto Straccia, Fernando Bobillo 
Publication date: 23 October 2008
Full work available at URL: https://eudml.org/doc/42208
Title of this publication is not available (Why is that?)
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
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)
Cited In (22)
- Many-valued logic and mixed integer programming
- Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
- Reasoning in fuzzy description logics using automata
- On the decidability status of fuzzy \(\mathcal {A}\mathcal {L}\mathcal {C}\) with general concept inclusions
- On the undecidability of fuzzy description logics with GCIs and product t-norm
- Fuzzy extensions of OWL: logical properties and reduction to fuzzy description logics
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- The limits of decidability in fuzzy description logics with general concept inclusions
- A formal framework for description logics with uncertainty
- Fuzzy description logics and \(t\)-norm based fuzzy logics
- Consistency reasoning in lattice-based fuzzy description logics
- On finitely-valued fuzzy description logics
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- Fuzzy description logics under Gödel semantics
- On the relationship between fuzzy description logics and many-valued modal logics
- From fuzzy to annotated semantic web languages
- All about fuzzy description logics and applications
- Optimising fuzzy description logic reasoners with general concept inclusion absorption
- On the failure of the finite model property in some fuzzy description logics
- Fuzzy description logics with general t-norms and datatypes
- Introduction
- Fuzzy Description Logic Reasoning Using a Fixpoint Algorithm
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)
