Sebastian Rudolph OER/OCW Courses

Description Logic Reasoning with Decision by Sebastian @VideoLectures

We propose a novel method for reasoning in the description logic $\mathcal{SHIQ}$ . After a satisfiability preserving transformation from $\mathcal{SHIQ}$ to the description logic ... Watch Video

Find OpenCourseWare Online Exams!
Attribution: The Open Education Consortium http://www.oeconsortium.org