Modules and courses
The timetable of classes for the course 2008/2009 is now available.
The timetable for examinations for the course 2008/2009 is now available.
A general view of the Modules and Courses of the Master offered by the UPM can be consulted below (1S means first semester and 2S means second semester):
Logical Foundations
ECTS credits: 12
Logical Foundations subjects:
- Formal Logic (6 ECTS - 1S), teachers:
-
- Luis Iraola Moreno (Coordinator)
- David Pérez del Rey
- Computational Logic (6 ECTS - 1S), teachers:
-
- Josefa Z. Hernández Diego (Coordinator)
- Damiano Zanardini
Declarative, Logic and Constraint Programming
ECTS credits: 12
Declarative, Logic and Constraint Programming subjects:
- Logic Programming (6 ECTS - 1S), teachers:
-
- Pedro López García (Coordinator)
- Manuel Hermenegildo Salinas
- Declarative Programming (6 ECTS - 1S), teachers:
Advanced Logics and Integrated Logic Systems
ECTS credits: 18
Advanced Logics and Integrated Logic Systems subjects:
- Extensions of Logic Programming and Constraint Programming (6 ECTS - 2S), teachers:
-
- Pedro López García (Coordinator)
- Francisco Bueno Carrillo
- Non-classical Logics (6 ECTS - 2S), teachers:
- Julio Mariño Carballo (Coordinator)
- James Lipton
- Models of Inexact Reasoning (6 ECTS - 1S), teachers:
Advanced modules
ECTS credits: 18
Advanced modules:
- Logic System Applications (12/18 ECTS), two or three subjects of: NL, IA, ST, RS.
- Software development using declarative technology (12/18 ECTS), two or three subjects of: CB, RS, ST
- Soft-computing (10/12/16/18 ECTS), two or three subjects of: BR, IA, NL, OS, MI.
- Web semantics (12/18 ECTS), two or three subjects of: IA, NL, OS.
Subjects:
- (NL) Natural Language Processing (6 ECTS - 1S), teachers:
- Igor Boguslavsky (Coordinator)
- (CB) Component-Based Software (6 ECTS - 1S), teachers:
- Germán Puebla Sánchez (Coordinator)
- Lars-Ake Fredlund
- (IA) Intelligent Agents and Multiagent Systems (6 ECTS - 1S), teachers:
-
- Josefa Z. Hernández Diego (Coordinator)
- (OS) Ontologies and the Semantic Web (6 ECTS - 1S), teachers:
- Asunción Gómez Pérez (Coordinator)
- (RS) Rigorous Software Development (6 ECTS - 1S), teachers:
- (MI) Models of Inexact Reasoning (6 ECTS - 1S), teachers:
- (ST) Software techniques for Debugging, Analysis and Optimization (6 ECTS - 2S), teachers:
- Germán Puebla (Coordinator)
- James Lipton
- (BR) Bayesian Reasoning with Graphical Models (4 ECTS - 2S), teachers:
-
- Concha Bielza Lozoya (Coordinator)
- Pedro Larrañaga Mugica
Additional credits
ECTS credits: 42
Additional works:
- Practical Project (12 ECTS - 1S/2S), teachers:
-
- Francisco Bueno (Coordinator)
- All professors of the faculty of the EMCL
- Master Thesis (30 ECTS - 1S/2S), teachers:
-
- Francisco Bueno (Coordinator)
- All professors of the faculty of the EMCL