O curso tem por objetivo introduzir um sistema semântico capaz de interpretar expressões modais, temporais e aspectuais, baseado em uma ontologia que inclui mundos possíveis, intervalos de tempo e eventos. Dentre as expressões a serem analisadas incluem-se verbos de atitude proposicional, verbos modais, sentenças condicionais, núcleos temporais e operadores aspectuais.
- Docente: Marcelo Barra Ferreira