Back to Results
First PageMeta Content
Automated theorem proving / Logic programming / Logic in computer science / Method of analytic tableaux / Admissible rule / Modal logic / Unification


Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik
Add to Reading List

Document Date: 2012-02-03 12:06:02

Open Document

File Size: 675,55 KB

Share Result on Facebook