Maria Viviane de Menezes

According to our database, Maria Viviane de Menezes authored at least 6 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

NADIA - Natural DeductIon proof Assistant: Um Assistente de provas de Dedução Natural para Lógica Proposicional e Lógica de Predicados.

Davi Romero de Vasconcelos, Maria Viviane de Menezes

Revista Brasileira de Informática na Educ., 2024

2023

Specifying Preferences over Policies Using Branching Time Temporal Logic.

Warlles Carlos Costa Machado, Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes

Proceedings of the Intelligent Systems - 12th Brazilian Conference, 2023

2019

Symbolic Planning for Strong-Cyclic Policies.

Viviane M. Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes

Proceedings of the 8th Brazilian Conference on Intelligent Systems, 2019

2014

On the revision of planning tasks.

Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2011

Model Update for Automated Planning.

Maria Viviane de Menezes, Leliane Nunes de Barros

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

System Design Modification with Actions.

Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2010, 2010