CompLog2012-Lecture-4-Reasoning-with-DL.pdf(file size: 433 KB, MIME type: application/pdf)

Tableau reasoning algorithm for ALC DL

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current09:41, 23 October 2012 (433 KB)Homola (Talk | contribs)
09:39, 23 October 2012 (40 B)Homola (Talk | contribs)Fixed typos
10: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.