German Rigau i Claramunt
Associate Professor
home
research
publications
teaching
demos
Master on Advanced Information Systems. Spring 2010
Automatic Reasoning
http://www.sistemasinformaticosavanzados.ehu.es
27/04/2010
Presentation
Motivation
HAL's Legacy
by Douglas B. Lenat
Ontologies
Knowledge Representation with Ontologies
by Steven Staab
Ontology Development 101
by (Noy and McGuiness 2001)
Deduction, Induction and Abduction
(Stanford Encyclopedia of Philosophy)
11/05/2010
Words and Works
WordNet, EuroWordNet and MCR
More LSKBs
WordNet Extensions
Yago & Naga
13/05/2010
Reasoning
AdimenSUMO
Abduction
Kyoto
Abduction in NLU
by Jerry R. Hobbs
Abductive Reasoning
(Wikipedia)
ChatBots
Cyc
(by Michael Witbrock)
Last updated: May 13, 2010