You are not logged in |
Back to the list of the institutes
Publications
Conference: 22nd International Workshop on Concurrency, Specification and Programming
Number of publications: 22013
- Anh Linh Nguyen , Joanna Golińska-Pilarek, An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ, 22nd International Workshop on Concurrency, Specification and Programming, Warszawa, Poland, 25 September 2013 - 27 September 2013. See in PBN
- Thanh-Luong Tran, Quang-Thuy Ha, Thi-Lan-Giao Hoang, Anh Linh Nguyen , Hung Son Nguyen , Bisimulation-Based Concept Learning in Description Logics, 22nd International Workshop on Concurrency, Specification and Programming, Warszawa, Poland, 25 September 2013 - 27 September 2013. See in PBN
