CompLog2012-Lecture-4-Reasoning-with-DL.pdf (file size: 433 KB, MIME type: application/pdf)
Tableau reasoning algorithm for ALC DL
Click on a date/time to view the file as it appeared at that time.
|current||10:41, 23 October 2012||(433 KB)||Homola (Talk | contribs)|
|10:39, 23 October 2012||(40 B)||Homola (Talk | contribs)||Fixed typos|
|11:05, 17 October 2012||(424 KB)||Homola (Talk | contribs)||Tableau reasoning algorithm for ALC DL|
- You cannot overwrite this file.
There are no pages that link to this file.
Revision as of 10:39, 23 October 2012 by Homola (Talk | contribs) (uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf": Fixed typos)