German Rigau i Claramunt
Associate Professor
home
research
publications
teaching
demos
Master on Advanced Information Systems. Spring 2011
Automatic Reasoning
http://www.sistemasinformaticosavanzados.ehu.es
07/04/2011
Presentation
Motivation
HAL's Legacy
by Douglas B. Lenat
Knowledge Navigator
IBM Watson
(
@ Jeopardy!
)
08/04/2011
Words and Works
Ontologies
Knowledge Representation with Ontologies
by Steven Staab
Ontology Development 101
by (Noy and McGuiness 2001)
Deduction, Induction and Abduction
(Stanford Encyclopedia of Philosophy)
Yago & Naga
24/04/2011
Abduction
Abduction in NLU
by Jerry R. Hobbs
Abductive Reasoning
(Wikipedia)
Reasoning
AdimenSUMO
Kyoto
Analogical reasoning
by J. F. Sowa
Cyc
(by Michael Witbrock)
Last updated: April 7, 2011