Bisimilarity for paraconsistent description logics-Reference-Cited by-同舟云学术

Bisimilarity for paraconsistent description logics

Published:2017-01-30 Issue:2 Volume:32 Page:1203-1215
ISSN:1064-1246
Container-title:Journal of Intelligent & Fuzzy Systems
language:
Short-container-title:IFS

Author:

Nguyen Linh Anh¹²,Nguyen Thi Hong Khanh³,Nguyen Ngoc-Thanh⁴,Ha Quang-Thuy⁵

Affiliation:

1. Division of Knowledge and System Engineering for ICT, Faculty of Information Technology, Ton Duc Thang University, Ho Chi Minh City, Vietnam E-mail: nguyenanhlinh@tdt.edu.vn

2. Institute of Informatics, University of Warsaw, Warsaw, Poland

3. Electric Power University, Hoang Quoc Viet, Tu Liem, Hanoi, Vietnam

4. Department of Information Systems, Faculty of Computer Science and Management, Wroclaw University of Science and Technology, Wroclaw, Poland

5. Faculty of Information Technology, VNU University of Engineering and Technology, Xuan Thuy, Hanoi, Vietnam

Publisher

IOS Press

Subject

Artificial Intelligence,General Engineering,Statistics and Probability

Reference22 articles.

1. Modal Logic

2. Bisimulation-based comparisons for interpretations in description logics;Divroodi;Proc of Description Logics’2013, volume 1014 of CEUR Workshop Proceedings,2013

3. Divroodi A.R. and Nguyen L.A. , Bisimulation-based comparisons for interpretations in description logics. CoRR, abs/1304.5602 2013.

4. On bisimulations for description logics;Divroodi;Information Sciences,2015

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics;Fuzzy Sets and Systems;2020-06

2. Bisimilarity in Fuzzy Description Logics Under the Zadeh Semantics;IEEE Transactions on Fuzzy Systems;2019-06

3. Computing Bisimulation-Based Comparisons;Fundamenta Informaticae;2018-01-31

4. Fuzzy Bisimulations in Fuzzy Description Logics Under the Gödel Semantics;Rough Sets;2018

5. OUP accepted manuscript;Journal Of Logic And Computation;2017