J. Ribeiro, and A. Andrade. Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings, volume 9407 of Lecture Notes in Computer Science, page 84--99. Springer, (2015)
J. Ribeiro, A. Nayak, and R. Wassermann. Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, page 287--296. AAAI Press, (2018)
J. Ribeiro, A. Nayak, and R. Wassermann. Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, page 1858--1864. ijcai.org, (2019)
J. Ribeiro, A. Nayak, and R. Wassermann. The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, IAAI 2019, The Ninth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019, page 3019--3026. AAAI Press, (2019)