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|
|10:39, 23 October 2012||(40 B)||Homola||Fixed typos|
|11:05, 17 October 2012||(424 KB)||Homola||Tableau reasoning algorithm for ALC DL|
- You cannot overwrite this file.