Report - Logica del primo ordine - unibg.it Da una KB scritta con la logica si possono derivare nuovi fatti con un motore di inferenza indipendente dal dominio. A7 FOL Paolo Salvaneschi 4 A7

Please pass captcha verification before submit form