Logic-Based Planning (aula online)

18 novembro 2020, 12:30 • Pedro Urbano Lima

Notions of Propositional and Predicate Logic. Using Logic for Planning. Situation Calculus.