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
05/03/2012
Presentation
Motivation
HAL's Legacy
by Douglas B. Lenat
Knowledge Navigator
Cyc
(by Michael Witbrock)
BBVA Research Google predictions
IBM Watson
(
@ Jeopardy!
) (
@ AI Magazine
)
06/03/2012
Words and Works
Ontologies
Deduction, Induction and Abduction
(Stanford Encyclopedia of Philosophy)
Knowledge Representation with Ontologies
by Steven Staab
Ontology Development 101
by (Noy and McGuiness 2001)
23/03/2012
Abduction
Abductive Reasoning
(Wikipedia)
Analogical reasoning
by J. F. Sowa
Last updated: February 27, 2012