Diferencia entre revisiones de «Related courses»
(New page: * PhD studies: Logic, computation and artificial intelligence o Automated Reasoning o Synthesis, verification and reasoning on agents o Automatic learnin...) |
|||
(No se muestran 8 ediciones intermedias de 4 usuarios) | |||
Línea 1: | Línea 1: | ||
− | + | * PhD studies: [http://doctorado.cs.us.es/ Logic, computation and artificial intelligence] | |
− | + | ** [http://www.cs.us.es/~jalonso/cursos/d-ra Automated Reasoning] | |
− | + | ** Synthesis, verification and reasoning on agents | |
− | + | ** Machine learning | |
− | + | ** [http://www.cs.us.es/~jalonso/cursos/d-pl Logic programming] | |
− | + | ** Formal methods on Computation and Artificial intelligence | |
− | + | * Computer Science studies: | |
− | + | ** [http://www.cs.us.es/cursos/ia1/ Artificial Intelligence I] | |
− | + | ** [http://www.cs.us.es/cursos/ia2/ Artificial Intelligence II] | |
− | + | ** [http://www.cs.us.es/cursos/sia/ Artificial Intelligence Seminar] | |
− | + | ** [http://www.cs.us.es/cursos/ra/ Automated Reasoning] | |
− | + | ** [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/lp/ Logic and Programming] | |
− | + | ** [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] | |
− |
Revisión actual 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