Report copyright - Taming Complex Modal and Description Logicsts/publ/sch15_habil.pdfwe start from expressive modal-like logics that have computationally hard or even undecidable standard reasoning problems
Please pass captcha verification before submit form