Elly
Você poderá baixar em 5 segundos.
Você também pode clicar no seguinte Link de Download Externo para iniciar o download:
http://sourceforge.net/projects/elly/files/Alpha%20Release/elly-0.10.zip/download
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.
Programas Relacionados
-
Stakeout Livre
Um simples jogo de estratégia de turn-base escrito em Java significava ser usado como um auxílio de ensino para um curso introdutório de ciência da computação. O jogo incorpora o conceito de vigiar e manter seu território com
-
Gamoos Arabic English Dict Avaliação gratuita
Você também está procurando por dicionário árabe-inglês? Quer verificar palavras e não tomar fluxo? Se preocupar com o conteúdo do dicionário autoritário? A hora de checar a notícia? Precisa carregar as novas palavr
-
Trade System Development Platform Livre
O TSDP é uma estrutura para projetar e pesquisar sistemas comerciais FOREX.
-
guidata Livre
Com base no módulo de ligação Qt Python PyQt4, guidata é uma biblioteca Python que gera interfaces gráficas de usuário para fácil edição e exibição de conjuntos de dados. Ele também fornece ajudantes e ferramentas de desenvol
-
panFMP Livre
panFMP é uma estrutura genérica adequada para metadados XML colhidos que é pesquisável através do Apache Lucene sem qualquer RDBMS adicional. Os campos podem ser definidos pelo XPath, permitindo consultas de texto completas e
-
Moon Phase Calendar Avaliação gratuita
O Calendário de Fase da Lua OpenFermenter que mostra um mês inteiro de uma só vez da fase da lua. Qualquer mês entre janeiro de 1800 e dezembro de 2100.Os cálculos e equações usados para gerar este Calendário de Fase luna
-
How to draw face Livre
Aprenda a desenhar o Face. Torne-se um Artista aprendendo a desenhar. Desenhe os números aprendendo a desenhar em etapas, passando por cada etapa do desenho da arte que deseja aprender. Aprenda Passo a Passo sobre como desenh
-
mouseglove Livre
Mouse-Glove é um projeto completo de código aberto da próxima geração de mouses.Junte-se ao projeto ajudando a desenvolver luva de rato.
-
Talisman Livre
Talismã é um intérprete para uma linguagem de marcação lógica. Esta linguagem contém o conteúdo e a lógica de uma interface de usuário baseada em Web (ou, no futuro, Java Swing), incluindo tipos de dados arbitrários e ações d
-
Owlie Boo Animals Avaliação gratuita
VERSÃO EM INGLÊSOs criadores do owlieboo.com, um site com jogos educativos para bebês, crianças e crianças pequenas, estão felizes em apresentar animais. É um jogo divertido e simples para as crianças mais novas em casa.