Sumários

Aula não leccionada dado que foi dada tolerância de ponto

2 abril 2026, 13:00 • Helena Sofia Andrade Nunes Pereira Pinto

Aula não leccionada dado que foi dada tolerância de ponto

12th Pratical/Lab

31 março 2026, 14:00 • Helena Sofia Andrade Nunes Pereira Pinto

Recovery of all MAP15.

12th Theoretical

31 março 2026, 12:00 • Helena Sofia Andrade Nunes Pereira Pinto

Applications of DL's: Semantic Web, Ontologies, Knowledge Graphs.
Current application areas of symbolic AI.
Clarification of doubts session.

11th

27 março 2026, 12:00 • Helena Sofia Andrade Nunes Pereira Pinto

Reiters's Default Logic
- Examples of extension calculus.
- Normal default theories and their interesting properties.
- Semi-normal default theories and their properties.
Considerations on how to implement a reasoning system for Reiter's Default Logic.
Analysis of Reiter's Default Logic from a KR hypothesis point of view, and from a knowlegde and a symbol level points of view.

11th Pratical/Lab

26 março 2026, 13:00 • Helena Sofia Andrade Nunes Pereira Pinto

W12 - Calculus of extensions in Reiter's Default Logic
(use the slide material provided - slides 12.XXX)