Diferencia entre revisiones de «Related courses»
Línea 1: | Línea 1: | ||
− | * PhD studies: Logic, computation and artificial intelligence | + | * PhD studies: [http://www.cs.us.es/docencia/doctorado/ Logic, computation and artificial intelligence] |
** Automated Reasoning | ** Automated Reasoning | ||
** Synthesis, verification and reasoning on agents | ** Synthesis, verification and reasoning on agents | ||
Línea 5: | Línea 5: | ||
** Logic programming | ** Logic programming | ||
** Formal methods in Computation and Artificial intelligence | ** Formal methods in Computation and Artificial intelligence | ||
− | |||
− | |||
* Computer Science studies: | * Computer Science studies: | ||
− | ** | + | ** [http://www.cs.us.es/cursos/ia1/ Artificial Intelligence I] |
− | ** | + | ** [http://www.cs.us.es/cursos/ia2/ Artificial Intelligence II] |
− | ** 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/pd/ Declarative Programming] |
− | ** | + | ** [http://www.cs.us.es/cursos/agi/ Intelligent Agents] |
− | ** | + | ** [http://www.cs.us.es/cursos/lp/ Logic and Programming] |
− | ** Logic for Computer Science | + | ** [http://www.cs.us.es/cursos/li/ Logic for Computer Science] |
Revisión del 20:26 15 abr 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