Department of Computer Science, University of Pisa, Italy

• Knowledge Based Systems

Orario:

1. Martedi': 16.00 - 18.00, Aula B
2. Giovedi': 09.00 - 11.00, Aula N1

Ricevimento: su appuntamento, contattandomi via e-mail (straccia@isti.cnr.it)

Materiale per il corso:

• SLIDES:
  • What is Knowledge Representation? (pdf)
  • Overview on Classical Logics for KR&R (pdf)
  • Basics on Classical Logics
    • Propositional Logic (pdf)
    • First-Order Logic (pdf)
  • Knowledge Engineering Pitfalls (pdf)
  • Semantic Web Languages Basics
    • RDF and RDFS (pdf)
    • Description Logics and the Semantic Web Languages (pdf)
    • Logic Programming and the Semantic Web Languages (pdf)
  • Uncertainty and Vaguness on the Web? (pdf)
  • Uncertainty and Vagueness Basics (pdf)
    • Probabilistic Propositional Logic
    • Fuzzy Propositional Logic
  • Fuzzy Reasoning in Semantic Web Languages
    • Fuzzy Reasoning in RDFS (pdf)
    • Fuzzy Reasoning in Description Logics (pdf)
    • Fuzzy Reasoning in Logic Programming (pdf)
• Excercises:
  • See here

Appelli di esame: su appuntamento, email a straccia@isti.cnr.it