Author:
Baader Franz,Borgwardt Stefan,Peñaloza Rafael
Funder
German Research Foundation (DFG)
Publisher
Springer Science and Business Media LLC
Reference62 articles.
1. Baader F (1996) Using automata theory for characterizing the semantics of terminological cycles. Ann Math Artif Intell 18(2):175–219
2. Baader F, Borgwardt S, Peñaloza R (2015) On the decidability status of fuzzy ALC with general concept inclusions. J Philos Logic 44(2):117–146
3. Baader F, Brandt S, Lutz C (2005) Pushing the EL envelope. In L. P. Kaelbling and A. Saffiotti, editors, Int. Joint Conf. on Artif. Intell. (IJCAI), pp 364–369. Professional Book Center
4. Baader F, Calvanese D, McGuinness DL, Nardi D, Patel-Schneider PF (2007) The description logic handbook: theory, implementation, and applications. Cambridge University Press, 2nd edn
5. Baader F, Hladik J, Peñaloza R (2008) Automata can show PSPACE results for description logics. Inf Comput 206(9–10):1045–1056
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Linear Abelian Modal Logic;Bulletin of the Section of Logic;2023-12-15
2. Reasoning with Inconsistency-tolerant Fuzzy Description Logics;Proceedings of the 14th International Conference on Agents and Artificial Intelligence;2022
3. Variances in knowledge-based interval type 2 Gaussian fuzzy on linear regression models;Journal of Intelligent & Fuzzy Systems;2021-08-11
4. Bayesian Pruned Random Rule Foams for XAI;2021 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE);2021-07-11
5. Semantic Technologies for Situation Awareness;KI - Künstliche Intelligenz;2020-11-03