-
Specifying Preferences over Policies Using Branching Time Temporal Logic. Machado, W. C. C., dos Santos, V. B., de Barros, L. N., & de Menezes, M. V. In Brazilian Conference on Intelligent Systems (2023)
-
Symbolic FOND Planning for Temporally Extended Goals. BONADIA, VIVIANE; BARROS, L. N. ; PEREIRA, S. L. ; DE MENEZES, MARIA VIVIANE. In: ICAPS Workshop on Knowledge Engineering for Planning and Scheduling, 2022. Paper
-
An attentional model for earthquake prediction using seismic data. de Santana Correia, A., Cleveston, I., dos Santos, V. B., Avila, S., & Colombini, E. L. In: Highlights in Practical Applications of Agents, Multi-Agent Systems, and Social Good. The PAAMS Collection: International Workshops of PAAMS 2021. Paper
-
Symbolic Planning for Strong-Cyclic Policies. M. BONADIA DOS SANTOS, VIVIANE; NUNES DE BARROS, LELIANE ; DE MENEZES, MARIA VIVIANE. In: 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador. Paper
-
PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. BONADIA, VIVIANE; BARROS, L. N. In: XIX Encontro Nacional de Inteligência Artificial e Computacional, 2017, Uberlândia - Brasil. Paper
-
Heurísticas para Detecção de Becos sem Saída em Planejamento Probabilístico., T. D. ; Ignasi Andres ; SANTOS, V. B. ; BARROS, L. N. In: XIII Encontro Nacional de Inteligência Artificial e Computacional, 2016, Recife. Anais do ENIAC 2016, 2016. p. 85-96.
-
DataExplorer: descobrindo clusters de diferentes tipos., V. B.; NASCIMENTO, M. V. R. ; FACELI, K. ; SAKATA, T. C. In: IX Encontro Nacional de Inteligência Artificial, 2012, Curitiba. Proceedings of Brazilian Conference on Intelligent Systems, 2012.
-
A Comparison of External Clustering Evaluation Indices in the Context of Imbalanced Data Sets. Souto, Marcilio C.P. ; COELHO, ANDRE L.V. ; FACELI, KATTI ; SAKATA, TIEMI C. ; BONADIA, VIVIANE ; Costa, Ivan G. In: 2012 Brazilian Symposium on Neural Networks (SBRN), 2012, Curitiba. 2012 Brazilian Symposium on Neural Networks. p. 49. Paper