Inferenza FOL (First Order Logic)
Logica a clausole: principio di risoluzione e algortimo di unificazione
Backward e Forward chaining NON svolte AA 2018-19
10 - InferFOL.pdf
—
PDF document,
19458 kB (19925185 bytes)
