| Introduction: application case analysis, representative scenarios from different
domains, first order logic. Knowledge graphs
| Description logics: concepts, roles, instances, expressivity.
| Reasoning in description logics. Tableaux-based algorithms
| Ontology engineering: ontology design and evaluation
| Description Logic Programs. Natural Language Processing for Description logics
| Machine Learning for Description Logics
| Agents for Semantic Web. Jason programming language
| Knowledge graphs
| Epistemic logics, dynamic epistemic logic, epistemic puzzles, | applications
| Model checking. Computational Tree Logic
| Fuzzy systems: fuzzy sets, fuzzy inference, fuzzy expert systems. Fuzzy
description Logic
| Rule-based systems: representation, reasoning methods. Probabilistic rules.
Cognitive biases
| Non-monotonic reasoning.
| Explainable AI. Regulating AI. AI ethics. AI responsable
