Programmi di deductions.sf.net

Tecniche di Intelligenza Artificiale applicate a attività software comuni, utilizzando la Logica del Primo Ordine; N3, ontologie e regole OWL. Abilita la creazione di applicazioni basate su componenti, l'indipendenza della pi