Logic
Which logic?
Predicate Calculus (FOL)
An example
Example (cont.d)
Evaluation of logic as a knowledge representation method
Posta elettronica tasso@dimu.uniud.it
Scarica presentazione originale