Razonamiento temporal métrico

Durante las últimas décadas la investigación de temas relacionados con la representación y manipulación de conceptos como tiempo y cambio han adquirido relevancia. En particular se han tomado diversas lógicas que capturan estos conceptos y han sido reutilizadas en Ciencias de la Computación. Las l...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Cobo, María Laura, Falappa, Marcelo Alejandro
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2002
Materias:
Ciencias Informáticas
Languages
Lenguajes de programación y especificación
Metrics
Lógica Temporal Métrica
ARTIFICIAL INTELLIGENCE
Negación
Razonamiento Temporal
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23028
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares