Machine Learning for the Web: A Unified View Provider: videolectures.net Language: English

Markov Logic: A Unifying Language for Information and Knowledge Management Provider: videolectures.net Language: English

Combining Logic and Probability: Languages, Algorithms and Applications Provider: videolectures.net Language: English

Knowledge-Based Applications Systems Provider: mit opencourseware Language: English

Incorporating Prior Knowledge into NLP with Markov Logic Provider: videolectures.net Language: English

From Automated Verification to Automated Design Provider: videolectures.net Language: English

Principles of Computer Systems Provider: mit opencourseware Language: English

Introduction to Design Inquiry Provider: mit opencourseware Language: English

Computational Cognitive Science Provider: mit opencourseware Language: English

Introduction to Modal Logic Provider: videolectures.net Language: English