Sumários
Not Taught.
20 novembro 2019, 11:00 • Mikolas Janota
Aula não foi leccionada por motivos de uma viagem no estrangeiro do docente.
ASP, examples
18 novembro 2019, 11:00 • Mikolas Janota
Practical examples solved in ASP, evacuation plan, TSP, Blocks World.
ASP, Introdução
13 novembro 2019, 11:00 • Mikolas Janota
Introduction to ASP, comparison to Prolog, non-monotonic reasoning, choice, generate&test, examples.
Search in CSP
11 novembro 2019, 11:00 • Mikolas Janota
Basics of search in Constraint programming, backtracking, labeling, splitting. Possible heuristics. Lazy clause generation.