Diferencia entre revisiones de «Related courses»
| Línea 4: | Línea 4: | ||
** Machine learning | ** Machine learning | ||
** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming] | ** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming] | ||
| − | ** Formal methods | + | ** Formal methods on Computation and Artificial intelligence |
* Computer Science studies: | * Computer Science studies: | ||
Revisión del 14:22 20 nov 2008
- PhD studies: Logic, computation and artificial intelligence
- Automated Reasoning
- Synthesis, verification and reasoning on agents
- Machine learning
- Logic programming
- Formal methods on Computation and Artificial intelligence
