<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2013-09-03 07:12:26Automated theorem proving Method of analytic tableaux |
Add to Reading List |
| First Page | Document Content | |
|---|---|---|
Date: 2013-09-03 07:12:26Automated theorem proving Method of analytic tableaux |
Add to Reading List |
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