Browsing Computation by Subject "Knowledge bases"
Now showing items 1-1 of 1
-
Representação de conhecimento : programação em lógica e o modelo das hiperredes
(1991) [Dissertation]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 ...