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
Logic-based Knowledge Representation
7 outubro 2026, 18:00 • Gabriela Eleutério Soares
Propositional and 1st order logic