Department of Computer Science, University of Pisa, Italy

• Intelligent Systems II

Orario:

1. Mercoledi': 16.00 - 18.00, Aula C (Polo didattico via Buonarroti)
2. Giovedi': 11.00 - 13.00, Aula C1 (Polo didattico via Buonarroti)

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

Materiale per il corso:

• SLIDES: All SLIDES
  • Uncertainty and Vaguness on the Web? (pdf)
  • Overview on Classical Logics
    • Propositional Logic (pdf)
    • First-Order Logic (pdf)
  • Semantic Web Languages Basics
    • RDF (pdf)
    • Logic Programming (pdf)
    • Description Logics (pdf)
  • Uncertainty and Vagueness Basics (pdf)
  • Probabilistic and Fuzzy Reasoning in Semantic Web Languages
    • Probabilistic and Fuzzy Reasoning in RDF (pdf)
    • Probabilistic and Fuzzy Reasoning in Logic Programming (pdf)
    • Probabilistic and Fuzzy Reasoning in Description Logics (pdf)

Progetti per il corso:

• Probabilistic Propositional Logic
• Fuzzy Propositional Logic with Concrete Domains
• Top-k Retrieval for Fuzzy Logic Programs
• Multi-Criteria Decision Making Support for Fuzzy Description Logics
• Plug-in for Ontology Editor Protege connecting to fuzzy Description Logic Reasoner fuzzyDL