Sumários
Task planning: basic logic concepts (aula online)
17 novembro 2020, 14:00 • Rodrigo Ventura
The task planning problem. Logic-based planing: introduction to logic concepts (syntax, semantics, interpretations, propositions, representation of objects, functions and relations. Differences between propositional logic and predicate logic. Introduction to situation calculus.
Progress presentations (online class)
13 novembro 2020, 17:00 • Rodrigo Ventura
Presentation and discussion of group projects.
Progress presentations (online class)
12 novembro 2020, 17:00 • Rodrigo Ventura
Presentation and discussion of group projects.
Progress presentations (online class)
10 novembro 2020, 17:00 • Rodrigo Ventura
Presentation and discussion of group projects.