Publikacje

Conference: 22nd International Workshop on Concurrency, Specification and Programming

Liczba publikacji: 3

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 września 2013 - 27 września 2013. Zobacz w 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 września 2013 - 27 września 2013. Zobacz w PBN
Kamil Bąk, Adam Krasuski, Marcin Szczuka , Searching for Concepts in Natural Language Part of Fire Service Reports, 22nd International Workshop on Concurrency, Specification and Programming, Warszawa, Poland, 25 września 2013 - 27 września 2013. Zobacz w PBN