Department of Computer Science, University of Pisa, Italy
Orario:
- Mercoledi': 16.00 - 18.00, Aula C (Polo didattico via Buonarroti)
- 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
- 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