Sumários
Class 26. Theoretical class 17. Definition of the high-level predicates used in the preconditions and effects of the partner discovery scenario
13 Novembro 2023, 13:00 • Luís Miguel Botelho
Definition of the high-level predicates used in the preconditions and effects of the actions of the partner discovery scenario
These high-level predicates are defined in terms of the dynamic low-level scenario predicates. They are needed to avoid using quantifiers
Class 25. Theoretical class 15. Action formal descriptions in the partner discovery scenario
10 Novembro 2023, 18:00 • Daniel Pesqueira Morgado
Action formal descriptions in the partner discovery scenario: formal description of all actions in the scenario
Class 25. Theoretical class 15. Action formal descriptions in the partner discovery scenario
8 Novembro 2023, 14:30 • Daniel Pesqueira Morgado
Action formal descriptions in the partner discovery scenario: formal description of all actions in the scenario
Class 25. Theoretical class 15. Action formal descriptions in the partner discovery scenario
8 Novembro 2023, 14:30 • Luís Miguel Botelho
Action formal descriptions in the partner discovery scenario: formal description of all actions in the scenario
Class 24. Practical class 9 (Lab). Action preconditions, effects, and impossibilities
7 Novembro 2023, 19:30 • Luís Miguel Botelho
Action preconditions, effects, and impossibilities
Blocks world exercises (no agents; just planning)