Diferencia entre revisiones de «Related courses»
| Línea 2: | Línea 2: | ||
** [http://www.cs.us.es/~jalonso/cursos/d-ra 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 | ||
| − | ** | + | ** 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 in Computation and Artificial intelligence | ** Formal methods in Computation and Artificial intelligence | ||
Revisión del 13:21 20 nov 2008
- PhD studies: Logic, computation and artificial intelligence
- Automated Reasoning
- Synthesis, verification and reasoning on agents
- Machine learning
- Logic programming
- Formal methods in Computation and Artificial intelligence
