Diferencia entre revisiones de «Related courses»

Revisión actual del 14:22 20 nov 2008

@@ Línea 1: / Línea 1: @@
-* PhD studies:  Logic, computation and artificial intelligence
+* PhD studies:  [http://doctorado.cs.us.es/ Logic, computation and artificial intelligence]
-** Automated Reasoning
+** [http://www.cs.us.es/~jalonso/cursos/d-ra Automated Reasoning]
 ** Synthesis, verification and reasoning on agents
-** Automatic learning
+** Machine learning
-** Logic programming
+** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming]
-** Formal methods in Computation and Artificial intelligence
+** Formal methods on Computation and Artificial intelligence
-* Expert course: Computer Science and Knowledge Technologies
 * Computer Science studies:
-** Automated Reasoning
+** [http://www.cs.us.es/cursos/ia1/ Artificial Intelligence I]
-** Intelligent Agents
+** [http://www.cs.us.es/cursos/ia2/ Artificial Intelligence II]
-** Artificial Intelligence Seminar
+** [http://www.cs.us.es/cursos/sia/ Artificial Intelligence Seminar]
-** Artificial Intelligence I
+** [http://www.cs.us.es/cursos/ra/ Automated Reasoning]
-** Artificial Intelligence II
+** [http://www.cs.us.es/~jalonso/cursos/pd Declarative Programming]
-** Logic and Programming
+** [http://www.cs.us.es/cursos/agi/ Intelligent Agents]
-** Declarative Programming
+** [http://www.cs.us.es/cursos/lp/ Logic and Programming]
-** Logic for Computer Science
+** [http://www.cs.us.es/~jalonso/cursos/li/ Logic for Computer Science]
+** [http://www.cs.us.es/moodle/course/view.php?id=23 Proyectos Informáticos]