Modeling Planning Tasks. - Leliane Nunes de Barros; André Valente; V. Richard Benjamins (AIPS, 1996)

Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems. - Leliane Nunes de Barros; James A. Hendler; V. Richard Benjamins (IJCAI, 1997)

A library of system-derived problem-solving methods for plannin. - André Valente; V. Richard Benjamins; Leliane Nunes de Barros (Int. J. Hum. Comput. Stud., 1998)

Integrating purposive vision with deliberative and reactive planning: engineering support for robotic applications. - Anna Helena Reali Costa; C. Rillo; Leliane Nunes de Barros; Reinaldo A. C. Bianchi (J. Braz. Comput. Soc., 1998)

Fault Diagnosis for Local Area Network Environments. - Volnys Borges Bernal; Leliane N. de Barros; Marilza Lemos; Jacques Wainer (LANOMS, 1999)

The Nature of Knowledge in an Abductive Event Calculus Planner. - Leliane Nunes de Barros; Paulo E. Santos (EKAW, 2000)

Network fault diagnosis: a model based approach. - Jacques Wainer; Leliane N. de Barros; Volnys Borges Bernal; Marilza Lemos (NOMS, 2000)

ProPAT: A Programming ITS Based on Pedagogical Patterns. - Karina Valdivia Delgado; Leliane Nunes de Barros (Intelligent Tutoring Systems, 2004)

Using Concept Hierarchies in Knowledge Discovery. - Marco Eugênio Madeira Di Beneditto; Leliane Nunes de Barros (SBIA, 2004)

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)

A tool for programming learning with pedagogical patterns. - Leliane Nunes de Barros; Ana Paula dos Santos Mota; Karina Valdivia Delgado; Patricia Megumi Matsumoto (eTX, 2005)

Intelligent mobile multi-robotic systems: some challenges and possible solutions. - Flávio S. Corrêa da Silva; Renata Wassermann; Ana Cristina Vieira de Melo; Leliane Nunes de Barros; Marcelo Finger (ICINCO, 2005)

On the Use of UML.P for Modeling a Real Application as a Planning Problem. - Tiago Stegun Vaquero; Flavio Tonidandel; Leliane Nunes de Barros; José Reinaldo Silva (ICAPS, 2006)

Diagnostic of Programs for Programming Learning Tools. - Karina Valdivia Delgado; Leliane Nunes de Barros (IBERAMIA-SBIA, 2006)

Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes. - Felipe W. Trevizan; Fábio Gagliardi Cozman; Leliane Nunes de Barros (IBERAMIA-SBIA, 2006)

Classifying Ontologies. - Fábio N. Kepler; Christian Paz-Trillo; Joselyto Riani; Márcio Moretto Ribeiro; Karina Valdivia Delgado; Leliane Nunes de Barros; Renata Wassermann (WONTO, 2006)

Designing logic-based robots. - Felipe W. Trevizan; Leliane Nunes de Barros; Flávio S. Corrêa da Silva (Inteligencia Artif., 2006)

Planning under Risk and Knightian Uncertainty. - Felipe W. Trevizan; Fábio Gagliardi Cozman; Leliane Nunes de Barros (IJCAI, 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)

Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities. - Karina Valdivia Delgado; Scott Sanner; Leliane Nunes de Barros; Fábio Gagliardi Cozman (ICAPS, 2009)

Symbolic Bounded Real-Time Dynamic Programming. - Karina Valdivia Delgado; Cheng Fang; Scott Sanner; Leliane Nunes de Barros (SBIA, 2010)

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

Model Update for Automated Planning. - Maria Viviane de Menezes; Leliane Nunes de Barros (AAAI, 2011)

Symbolic Dynamic Programming for Discrete and Continuous State MDPs. - Scott Sanner; Karina Valdivia Delgado; Leliane Nunes de Barros (UAI, 2011)

Efficient solutions to factored MDPs with imprecise transition probabilities. - Karina Valdivia Delgado; Scott Sanner; Leliane Nunes de Barros (Artif. Intell., 2011)

Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. - Karina Valdivia Delgado; Leliane Nunes de Barros; Fábio Gagliardi Cozman; Scott Sanner (Int. J. Approx. Reason., 2011)

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

Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning. - Ricardo Guimarães Herrmann; Leliane N. de Barros (BRACIS, 2013)

Stochastic Bisimulation for MDPs Using Reachability Analysis. - Felipe Martins dos Santos; Leliane Nunes de Barros; Mijail Gamarra Holguin (BRACIS, 2013)

Robust Optimization for Hybrid MDPs with State-Dependent Noise. - Zahra Zamani; Scott Sanner; Karina Valdivia Delgado; Leliane Nunes de Barros (IJCAI, 2013)

Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. - Luis Gustavo Vianna; Scott Sanner; Leliane Nunes de Barros (UAI, 2013)

B^2RTDP: An Efficient Solution for Bounded-Parameter Markov Decision Process. - Fernando L. Fussuma; Karina Valdivia Delgado; Leliane Nunes de Barros (BRACIS, 2014)

Continuous Real Time Dynamic Programming for Discrete and Continuous State MDPs. - Luis Gustavo Rocha Vianna; Scott Sanner; Leliane Nunes de Barros (BRACIS, 2014)

On the revision of planning tasks. - Andreas Herzig; Maria Viviane de Menezes; Leliane Nunes de Barros; Renata Wassermann (ECAI, 2014)

Real-Time Symbolic Dynamic Programming. - Luis Gustavo Rocha Vianna; Leliane N. de Barros; Scott Sanner (AAAI, 2015)

Learning to program using hierarchical model-based debugging. - Leliane Nunes de Barros; Wellington Ricardo Pinheiro; Karina Valdivia Delgado (Appl. Intell., 2015)

Reachability-based model reduction for Markov decision process. - Felipe M. Santos; Leliane N. de Barros; Felipe W. Trevizan (J. Braz. Comput. Soc., 2015)

Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems. - Ignasi Andrés; Leliane Nunes de Barros (BRACIS, 2016)

Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution. - Thiago Pereira Bueno; Denis Deratani Mauá; Leliane N. de Barros; Fábio Gagliardi Cozman (BRACIS, 2016)

Real-time dynamic programming for Markov decision processes with imprecise probabilities. - Karina Valdivia Delgado; Leliane N. de Barros; Daniel B. Dias; Scott Sanner (Artif. Intell., 2016)

Robust probabilistic planning with ilao. - Daniel A. M. Moreira; Karina Valdivia Delgado; Leliane Nunes de Barros (Appl. Intell., 2016)

Risk-Sensitive Markov Decision Process with Limited Budget. - Daniel Augusto de Melo Moreira; Karina Valdivia Delgado; Leliane Nunes de Barros (BRACIS, 2017)

Modeling Markov Decision Processes with Imprecise Probabilities Using Probabilistic Logic Programming. - Thiago Pereira Bueno; Denis Deratani Mauá; Leliane N. de Barros; Fábio Gagliardi Cozman (ISIPTA, 2017)

Symbolic Dynamic Programming for Risk-sensitive Markov Decision Process with limited budget. - Daniel A. M. Moreira; Karina Valdivia Delgado; Leliane Nunes de Barros (AAMAS, 2018)

Occupation Measure Heuristics to Solve Stochastic Shortest Path with Dead Ends. - Milton Condori Fernandez; Leliane Nunes de Barros; Karina Valdivia Delgado (BRACIS, 2018)

When a Robot Reaches Out for Human Help. - Ignasi Andrés; Leliane Nunes de Barros; Denis Deratani Mauá; Thiago D. Simão (IBERAMIA, 2018)

Deep Reactive Policies for Planning in Stochastic Nonlinear Domains. - Thiago Pereira Bueno; Leliane N. de Barros; Denis Deratani Mauá; Scott Sanner (AAAI, 2019)

Analyzing the Effect of Stochastic Transitions in Policy Gradients in Deep Reinforcement Learning. - Ângelo Gregório Lovatto; Thiago Pereira Bueno; Leliane Nunes de Barros (BRACIS, 2019)

Symbolic Planning for Strong-Cyclic Policies. - Viviane M. Bonadia dos Santos; Leliane Nunes de Barros; Maria Viviane de Menezes (BRACIS, 2019)

Robust topological policy iteration for infinite horizon bounded Markov Decision Processes. - Willy Arthur Silva Reis; Leliane Nunes de Barros; Karina Valdivia Delgado (Int. J. Approx. Reason., 2019)

Finding Feasible Policies for Extreme Risk-Averse Agents in Probabilistic Planning. - Milton Condori Fernandez; Leliane N. de Barros; Denis Deratani Mauá; Karina Valdivia Delgado; Valdinei Freire (BRACIS (2), 2020)

On the Performance of Planning Through Backpropagation. - Renato Scaroni; Thiago Pereira Bueno; Leliane N. de Barros; Denis Deratani Mauá (BRACIS (2), 2020)

Decision-Aware Model Learning for Actor-Critic Methods: When Theory Does Not Meet Practice. - Ângelo Gregório Lovatto; Thiago Pereira Bueno; Denis Deratani Mauá; Leliane N. de Barros (ICBINB@NeurIPS, 2020)

Risk-Sensitive Piecewise-Linear Policy Iteration for Stochastic Shortest Path Markov Decision Processes. - Henrique Dias Pastor; Igor Oliveira Borges; Valdinei Freire; Karina Valdivia Delgado; Leliane Nunes de Barros (MICAI (1), 2020)

Human-aware Contingent Planning. - Ignasi Andrés; Leliane Nunes de Barros; Karina Valdivia Delgado (Fundam. Informaticae, 2020)

Gradient Estimation in Model-Based Reinforcement Learning: A Study on Linear Quadratic Environments. - Ângelo Gregório Lovatto; Thiago Pereira Bueno; Leliane Nunes de Barros (BRACIS (1), 2021)

Efficient algorithms for Risk-Sensitive Markov Decision Processes with limited budget. - Daniel Augusto de Melo Moreira; Karina Valdivia Delgado; Leliane Nunes de Barros; Denis Deratani Mauá (Int. J. Approx. Reason., 2021)

Exploration Versus Exploitation in Model-Based Reinforcement Learning: An Empirical Study. - Ângelo Gregório Lovatto; Leliane Nunes de Barros; Denis Deratani Mauá (BRACIS (2), 2022)

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 (BRACIS (1), 2023)

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)