Follow
Maria Viviane de Menezes
Maria Viviane de Menezes
Professor da Universidade Federal do Ceará - Campus Quixadá
Verified email at ufc.br
Title
Cited by
Cited by
Year
On the revision of planning tasks.
A Herzig, MV de Menezes, LN De Barros, R Wassermann
ECAI, 435-440, 2014
422014
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 Menezes, S Lago Pereira, LN Barros
Brazilian Symposium on Artificial Intelligence, 31-40, 2010
82010
Symbolic regression for non-deterministic actions
MV de Menezes, LN de Barros, S do Lago Pereira
52014
Mudanças em Problemas de Planejamento sem Soluçao
MV Menezes
PhD thesis, IME-USP, 2014
42014
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
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
Model update for automated planning
MV de Menezes, LN de Barros
Sixteenth AAAI/SIGART Doctoral Consortium, 2011
12011
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
2022
Symbolic FOND planning for temporally extended goals
VB Santos, LN Barros, SL Pereira, MV Menezes
Workshop, 2022
2022
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, ...
The system can't perform the operation now. Try again later.
Articles 1–13