Sumários
Revision
2 dezembro 2019, 11:00 • Mikolas Janota
Revision of topics given throughout the semestr, resolution of problems from past exams.
ASP, Solving
27 novembro 2019, 11:00 • Mikolas Janota
ASP solving basics. Mitigating exponential blowup in grounding. ASP lazy solving.
ASP, semantics introduction
25 novembro 2019, 11:00 • Mikolas Janota
Introduction to the semantics of Answer Sets. Reduct and negation. Contrast with negation as failure in Prolog.
Not Taught.
20 novembro 2019, 15:00 • Mikolas Janota
Aula não foi leccionada por motivos de uma viagem no estrangeiro do docente.