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