German Rigau i Claramunt
Associate Professor
home
research
publications
teaching
demos
Doctorado Ingeniería en Informática. Spring 2007
Automatic Reasoning
25/04/2007
Introduction
Presentation
HAL's Legacy
by Douglas B. Lenat
02/05/2007
Words and Works
Ontologies
SUMO with Vampire
(Horrocks and Voronkov 2006)
10/05/2007
WordNet & EuroWordNet
More LSKBs
WordNet Extensions
Reasoning
Last updated: April 7, 2007