Back to Results
First PageMeta Content
Automated theorem proving / Method of analytic tableaux


An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ Linh Anh Nguyen1,2 and Joanna Goli´ nska-Pilarek3 1
Add to Reading List

Document Date: 2013-09-03 07:12:26

Open Document

File Size: 379,55 KB

Share Result on Facebook
UPDATE