Programas por deductions.sf.net

Técnicas de Inteligencia Artificial aplicadas a tareas de software comunes, utilizando la Lógica de Primer Orden; N3, ontologías y reglas de OWL. Permite la creación de aplicaciones basadas en componentes, la independencia de