Class 26. Theoretical class 17. Definition of the high-level predicates used in the preconditions and effects of the partner discovery scenario

13 Novembro 2024, 13:00 • Daniel Pesqueira Morgado

---

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 16. Action formal descriptions in the partner discovery scenario

13 Novembro 2024, 11:00 • Daniel Pesqueira Morgado

---

Action formal descriptions in the partner discovery scenario: formal description of all actions in the scenario

Class 25. Theoretical class 16. Action formal descriptions in the partner discovery scenario

12 Novembro 2024, 19:30 • Luís Miguel Botelho

---

Action formal descriptions in the partner discovery scenario: formal description of all actions in the scenario

Class 25. Theoretical class 16. Action formal descriptions in the partner discovery scenario

12 Novembro 2024, 13:00 • 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

11 Novembro 2024, 21:00 • Luís Miguel Botelho

---

Action preconditions, effects, and impossibilities
Blocks world exercises (no agents; just planning)