Elly
Licença: Livre Tamanho do arquivo: N/A
Classificação dos usuários: 4.0/5 - 1 Votos
Aguarde... Seu link de download está sendo verificado para conteúdo malicioso.
Você poderá baixar em 5 segundos.
Você poderá baixar em 5 segundos.
Sobre Elly
Elly é um razoeiro para a verificação de implicação e satisfiabilidade das bases de conhecimento ELP. É escrito em java e conta com o raciocínio IRIS Datalog (https://sourceforge.net/projects/iris-reasoner) para sua implementação.