Diferencia entre revisiones de «Related courses»
| Línea 1: | Línea 1: | ||
* PhD studies: [http://www.cs.us.es/docencia/doctorado/ Logic, computation and artificial intelligence] | * PhD studies: [http://www.cs.us.es/docencia/doctorado/ Logic, computation and artificial intelligence] | ||
| − | ** Automated Reasoning | + | ** [http://www.cs.us.es/~jalonso/cursos/d-ra Automated Reasoning] |
** Synthesis, verification and reasoning on agents | ** Synthesis, verification and reasoning on agents | ||
** Automatic learning | ** Automatic learning | ||
| − | ** Logic programming | + | ** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming] |
** Formal methods in Computation and Artificial intelligence | ** Formal methods in Computation and Artificial intelligence | ||
| Línea 11: | Línea 11: | ||
** [http://www.cs.us.es/cursos/sia/ Artificial Intelligence Seminar] | ** [http://www.cs.us.es/cursos/sia/ Artificial Intelligence Seminar] | ||
** [http://www.cs.us.es/cursos/ra/ Automated Reasoning] | ** [http://www.cs.us.es/cursos/ra/ Automated Reasoning] | ||
| − | ** [http://www.cs.us.es/cursos/pd | + | ** [http://www.cs.us.es/~jalonso/cursos/pd Declarative Programming] |
** [http://www.cs.us.es/cursos/agi/ Intelligent Agents] | ** [http://www.cs.us.es/cursos/agi/ Intelligent Agents] | ||
** [http://www.cs.us.es/cursos/lp/ Logic and Programming] | ** [http://www.cs.us.es/cursos/lp/ Logic and Programming] | ||
| − | ** [http://www.cs.us.es/cursos/li/ Logic for Computer Science] | + | ** [http://www.cs.us.es/~jalonso/cursos/li/ Logic for Computer Science] |
Revisión del 11:17 13 nov 2008
- PhD studies: Logic, computation and artificial intelligence
- Automated Reasoning
- Synthesis, verification and reasoning on agents
- Automatic learning
- Logic programming
- Formal methods in Computation and Artificial intelligence
