Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning. - Silvio do Lago Pereira; Leliane Nunes de Barros (SBIA, 2004)

High-Level Robot Programming: An Abductive Approach Using Event Calculus. - Silvio do Lago Pereira; Leliane Nunes de Barros (SBIA, 2004)

Planning under uncertainty for extended reachability goals. - Silvio do Lago Pereira (2007)

Strong Probabilistic Planning. - Silvio do Lago Pereira; Leliane Nunes de Barros; Fábio Gagliardi Cozman (MICAI, 2008)

Using alpha-ctl to Specify Complex Planning Goals. - Silvio do Lago Pereira; Leliane Nunes de Barros (WoLLIC, 2008)

A logic-based agent that plans for extended reachability goals. - Silvio do Lago Pereira; Leliane Nunes de Barros (Auton. Agents Multi Agent Syst., 2008)

Lamarckian Evolution of Neural Networks Applied to Keystroke Dynamics. - Paulo Henrique Pisani; Silvio do Lago Pereira (IJCCI (ICEC), 2010)

System Design Modification with Actions. - Maria Viviane de Menezes; Silvio do Lago Pereira; Leliane Nunes de Barros (SBIA, 2010)

A planner agent that tries its best in presence of nondeterminism. - Silvio do Lago Pereira; Leliane Nunes de Barros (J. Appl. Log., 2012)

Planning for Temporally Extended Goals based on alpha-CTL. - Viviane Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes; Silvio do Lago Pereira (AAMAS, 2025)