Um Provador De Teoremas Baseado Em Tableaux Para Verificação De Propriedades Temporais De Conhecimento Ou Crença

doi 10.26512/2015.01.d.17951

Full Text

Abstract

Available in

Date

Unknown

Authors

Thiago Coelho Vieira

Publisher

Biblioteca Central da UNB

Related search

Desenvolvimento De Um Portal De Conhecimento Para a Tuberculose Baseado Em Web Semântica

Portuguese

OpMM - FERRAMENTA PARA EXTRAÇÃO DE CONHECIMENTO UTILIZANDO PRIMITIVAS TEMPORAIS: UM ESTUDO DE CASO EM PACIENTES INTERNADOS EM UTI

Revista Brasileira de Inovação Tecnológica em Saúde - ISSN:2236-1103

Portuguese

Um Modelo Para Recomendação De Objetos De Aprendizagem Baseado Em Similaridade De Sessões

Portuguese

Lista De Verificação Para Cirurgia Segura: Barreiras Para Sua Implementação Em Um Serviço De Oftalmologia

Revista de Gestão em Sistemas de Saúde

Portuguese

Sistema De Recomendação De Serviços Baseado Em Uma Arquitetura Aberta Para Um Ecossistema De Software

Portuguese

Um Sistema De Recomendação Baseado Em Um Modelo Cognitivo De Aprendizagem

Portuguese

Um Framework Baseado Em Componentes Para Desenvolvimento De Aplicações Web E Um Processo De Instanciação Associado

Portuguese

SiAPP: Um Sistema Para Análise De Ocorrências De Crimes Baseado Em Aprendizado Lógico-Relacional

Portuguese

Avaliação Da Uniformidade De Aplicação De Água Em Um Sistema De Gotejamento Para Pequenas Propriedades

Ciencia e Agrotecnologia

Portuguese