1
Assuntos:
“...[en] TEMPORAL LOGIC...”
[pt] CONTRIBUIÇÃO AO ESTUDO DO CARÁTER TEMPORAL DA LÓGICA DE GUILHERME DE OCKHAM
Tese
2
Assuntos:
“...Temporal logic...”
Investigações sobre raciocínio e aprendizagem temporal em modelos conexionistas
Dissertação
3
Assuntos:
“...Temporal logic...”
Linguagens de consulta para banco de dados com suporte a preferências condicionais
Dissertação
4
Assuntos:
“...Linear temporal logic...”
Manipulation task planning and motion control using task relaxations
Dissertação
5
Assuntos:
“...Temporal logic...”
Aprendizagem temporal neuro simbólica em redes de tensores lógicos
Dissertação
6
Assuntos:
“...Temporal logic...”
Especificação e verificação formal de requisitos para sistemas de tráfego aéreo.
Dissertação
7
Assuntos:
“...Interval temporal logic...”
Mineração de padrões temporais híbridos especificados na lógica temporal de intervalos
Dissertação