Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Anna Moreira De Oliveira"'
Publikováno v:
Anais do Workshop Brasileiro de Lógica (WBL 2020).
This paper presents an on going work on Propositional Dynamic Logic PDL in which atomic programs are STRIPS actions. We think that this new framework is appropriate to reasoning about actions and plans when dealing with planning problem. Unlike, PDL
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e8b755b0c28fc16028f181bb51ab9fd7
https://doi.org/10.5753/wbl.2020.11454
https://doi.org/10.5753/wbl.2020.11454
