Buscar
Mostrando ítems 1-10 de 143
Formas normais de fórmulas em lógica de primeira ordem e aplicações em dedução automática
(Florianópolis, SC, 2012)
Inferência Automática de Protocolos de Rede
(Universidade Federal do Rio Grande do NorteBrasilUFRNSistemas de Informação, 2016-12-16)
Reverse engineering of network protocols is an area of security research. Given the fact that the inferring the structure of a protocol, when done manually or using the documentation of the protocol as an input, tend to ...
Inferências da lógica mental predicativa na compreensão de texto
(Universidade Federal de Pernambuco, 2014)
El sueño de Leibniz. Sobre deducción automática y razonadores artificiales
(José AhumadaPatricia Morey, 1997-11)
En lo que sigue se ofrecerá un breve panorama de la manera en que se está realizando "el sueño de Leibniz", indicando algunas de sus propiedades y limitaciones. Pero más específicamente, se discutirá, en primer lugar, el ...
O problema da incoerência e a regularização semântica para inferência textual
(Universidade Federal do Rio de JaneiroBrasilInstituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa de EngenhariaPrograma de Pós-Graduação em Engenharia de Sistemas e ComputaçãoUFRJ, 2020)
Adquisición automática de hechos utilizando inferencia para la construcción de un grafo de conocimiento
(Benemérita Universidad Autónoma de Puebla, 2021-06)
"La adquisición de conocimiento empleando técnicas de Procesamiento de Lenguaje Natural (PLN) es una tarea que ha sido estudiada a través de los años, y continúa siendo relevante en la actualidad, debido a la gran cantidad ...
Um método para transcrição de termos biomédicos e um protótipo de ferramenta didática para ensino de lógica em ontologia aplicada
(Universidade Federal de Minas GeraisUFMG, 2017-06-22)
The field of applied ontology is increasing due to modernization of information systems and need of its semantization, that includes from specialist domains to the web. So is done a great effort to formalize the contents ...