Navegação Ciências Exatas e da Terra por Assunto "Logic programming"
Resultados 1-2 de 2
-
Uma proposta de escalonamento distribuído para exploração de paralelismo na programação em lógica
(1998) [Dissertação]Este trabalho apresenta um modelo de escalonamento hierárquico para exploração do paralelismo E Independente e do paralelismo OU na programação em lógica. O modelo utiliza informações de granulosidade geradas pelo GRANLOG ... -
Representação de conhecimento : programação em lógica e o modelo das hiperredes
(1991) [Dissertação]Apesar de sua inerente indecidibilidade e do problema da negação, extensões da lógica de primeira ordem tem se mostrado capazes de superar a questão da monotonicidade, vindo a constituir esquemas de representação de ...