(Tableau reasoning algorithm for ALC DL)
(uploaded a new version of "File:CompLog2012-Lecture-4-Reasoning-with-DL.pdf")
|(One intermediate revision by the same user not shown)|
Latest revision as of 09:41, 23 October 2012
Tableau reasoning algorithm for ALC DL
Click on a date/time to view the file as it appeared at that time.
|current||09:41, 23 October 2012||(433 KB)||Homola|
|09:39, 23 October 2012||(40 B)||Homola||Fixed typos|
|10:05, 17 October 2012||(424 KB)||Homola||Tableau reasoning algorithm for ALC DL|
- You cannot overwrite this file.