Buscar
Mostrando ítems 1-10 de 1023
Uma automação de lógica temporal
(BrasilInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionais, 2016)
Hybrid Logic as extension of Modal and Temporal LogicLa lógica híbrida como extensión de las lógicas modal y temporal
(Universidad de Valparaíso, 2019)
Uma logica modal temporal
([s.n.], 1994)
Descubrimiento de patrones secuenciales utilizando razonamiento lógico temporal
(2012-02-08)
Los datos secuenciales pueden ser recolectados en muchas aplicaciones
como registros de ventas, bolsa de valores, registros médicos de
pacientes, bases de datos en geofísica y astronomía, entre otras aplicaciones.
Tales ...
Descubrimiento de patrones secuenciales utilizando razonamiento lógico temporal
(2012-02-08)
Los datos secuenciales pueden ser recolectados en muchas aplicaciones
como registros de ventas, bolsa de valores, registros médicos de
pacientes, bases de datos en geofísica y astronomía, entre otras aplicaciones.
Tales ...
Teoría de prueba con etiquetas para lógicas modales intuicionistas
(2019-03-28)
Los sistemas de prueba etiquetados han sido propuestos por Gabbay como un marco unificador a través de la teoría de prueba con el fin de proporcionar sistemas de prueba para una amplia gama de lógicas. Para las lógicas ...
Lógica temporal: Prior y Borges
(Alberto Moreno, 1995-09)
Prior señala con vigor la importancia que en la lógica tiene el tiempo (time) y las formas
temporales (tenses). Llega a sostener que toda la lógica es una lógica de las formas temporales.
Argumenta que la lógica temporal ...