Reasoning in fuzzy description logics using automata
From MaRDI portal
Publication:1677933
DOI10.1016/j.fss.2015.07.013zbMath1374.68551OpenAlexW945404250MaRDI QIDQ1677933
Stefan Borgwardt, Rafael Peñaloza
Publication date: 14 November 2017
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10281/258629
Formal languages and automata (68Q45) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (2)
Synthesizing fuzzy tree automata ⋮ Algorithms for reasoning in very expressive description logics under infinitely valued Gödel semantics
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning with the finitely many-valued Łukasiewicz fuzzy description logic \(\mathcal {SROIQ}\)
- First-order satisfiability in Gödel logics: an NP-complete fragment
- A new polynomial-time algorithm for linear programming
- Automata can show PSpace results for description logics
- Fuzzy description logics under Gödel semantics
- A formal framework for description logics with uncertainty
- Fuzzy description logics with general t-norms and datatypes
- Automata-theoretic techniques for modal logics of programs
- Consistency checking reduced to satisfiability of concepts in terminological systems
- Using automata theory for characterizing the semantics of terminological cycles
- Triangular norms
- Making fuzzy description logic more general
- On the (un)decidability of fuzzy description logics under Łukasiewicz t-norm
- The limits of decidability in fuzzy description logics with general concept inclusions
- A lattice-theoretical fixpoint theorem and its applications
- How Fuzzy Is My Fuzzy Description Logic?
- The Fuzzy Description Logic $\mathsf{G}\text{-}{\mathcal{F\!L}_0} $ with Greatest Fixed-Point Semantics
- On the Undecidability of Fuzzy Description Logics with GCIs and Product T-norm
- JOINING GÖDEL AND ZADEH FUZZY LOGICS IN FUZZY DESCRIPTION LOGICS
- DESCRIPTION LOGICS OVER LATTICES
- The Description Logic Handbook
- Logics in Artificial Intelligence
- Finite Fuzzy Description Logics and Crisp Representations
- Fuzzy sets
This page was built for publication: Reasoning in fuzzy description logics using automata
