Completeness theorem

KB ß

KB ß

if and only if

By means of FOL, we can automate the computation of entailements!!!!

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica