Programas por deductions.sf.net

Técnicas de Inteligência Artificial aplicadas a tarefas comuns de software, utilizando a Lógica de Primeira Ordem; N3, ontologias e regras owl. Permite a construção de aplicações baseadas em componentes, independência da plat