German Rigau i Claramunt
Associate Professor
home
research
publications
teaching
demos
Doctorado IngenierÃa en Informática. Spring 2008
Automatic Reasoning
14/04/2008
Introduction
Words and Works
Ontologies
HAL's Legacy
by Douglas B. Lenat
Knowledge Representation with Ontologies
by Steven Staab
05/05/2008
Presentation
WordNet & EuroWordNet
More LSKBs
WordNet Extensions
Yago & Naga
07/05/2007
Reasoning
SUMO with Vampire
(Horrocks and Voronkov 2006)
Cyc
(by Michael Witbrock)
Last updated: May 7, 2008