Sumários

Semantic Networks and Conceptual Graphs

14 outubro 2026, 18:00 • Gabriela Eleutério Soares


Semantic Networks and Conceptual Graphs

Logics - Practical Exercises

8 outubro 2026, 11:00 • Isabel da Piedade Xavier Machado Alexandre


Logics - Practical Exercises

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