Logics

8 Outubro 2026, 09:30 • Isabel da Piedade Xavier Machado Alexandre

---

Logics

Exercises

7 Outubro 2026, 19:30 • Gabriela Eleutério Soares

---

Exercises

Logic-based Knowledge Representation

7 Outubro 2026, 18:00 • Gabriela Eleutério Soares

---

Propositional and 1st order logic

Introduction to Knowledge Representation and Reasoning

24 Setembro 2026, 11:00 • Isabel da Piedade Xavier Machado Alexandre

---

Introduction to Knowledge Representation and Reasoning

Presentation of the course

24 Setembro 2026, 09:30 • Isabel da Piedade Xavier Machado Alexandre

---

Presentation of the course