Följ
Maria Viviane de Menezes
Maria Viviane de Menezes
Professor da Universidade Federal do Ceará - Campus Quixadá
Verifierad e-postadress på ufc.br
Titel
Citeras av
Citeras av
År
On the revision of planning tasks.
A Herzig, MV de Menezes, LN De Barros, R Wassermann
ECAI, 435-440, 2014
492014
Planning task validation
MV Menezes, LN de Barros, S do Lago Pereira
Proc. of the ICAPS Workshop on Scheduling and Planning Applications, 48-55, 2012
122012
System design modification with actions
MV De Menezes, S do Lago Pereira, LN de Barros
Advances in Artificial Intelligence–SBIA 2010: 20th Brazilian Symposium on …, 2010
102010
Symbolic regression for non-deterministic actions
MV de Menezes, LN de Barros, S do Lago Pereira
62014
Mudanças em problemas de planejamento sem solução
MV de Menezes
Tese de Doutorado, Universidade de São Paulo. Citado na pág. xii, 53, 54, 2014
52014
NADIA-Natural DeductIon proof Assistant
DR de Vasconcelos, RT Paula, MV Menezes
Anais do XXX Workshop sobre Educação em Computação, 427-438, 2022
22022
Symbolic planning for strong-cyclic policies
VMB dos Santos, LN de Barros, MV de Menezes
2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 168-173, 2019
22019
Symbolic fond planning for temporally extended goals
VB Santos, LN Barros, SL Pereira, MV Menezes
Workshop, 2022
12022
Plan existence verification as symbolic model checking
M da Silva Ferreira, MV Menezes, LN de Barros
Anais do XV Encontro Nacional de Inteligência Artificial e Computacional …, 2018
12018
Regressao de acoes nao deterministicas: uma solucao simbólica
MV Menezes, LN Barros, SL Pereira
Anais, 2013
12013
Model update for automated planning
MV Menezes, LN Barros
Proceedings, 2011
12011
Avaliando a habilidade do ChatGPT de realizar provas de Deduçao Natural em Lógica Proposicional
FLB Martins, ACA de Oliveira, DR de Vasconcelos, MV de Menezes
Anais do XXXIV Simpósio Brasileiro de Informática na Educação, 1282-1292, 2023
2023
Specifying Preferences over Policies Using Branching Time Temporal Logic
WCC Machado, VB dos Santos, LN de Barros, MV de Menezes
Brazilian Conference on Intelligent Systems, 128-143, 2023
2023
Symbolic planning for strong-cyclic policies
VM Santos, LN Barros, MV Menezes
Proceedings, 2019
2019
Plan existence verification as symbolic model checking
MS Ferreira, MV Menezes, LN Barros
Proceedings, 2018
2018
Model Updating in Action
MV de Menezes, LN de Barros, SL Pereira
KEPS 2010, 29, 2010
2010
Robôs Reparadores de Dutos Descriçao Técnica Equipe PRIME Universidade de Sao Paulo
AC Marinho, CEA Torres, FA Briz, JA Nassif, LN de Barros, ME Leme, ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–17