Leliane Nunes de Barros

According to our database, Leliane Nunes de Barros authored at least 62 papers between 1996 and 2023.

Collaborative distances:

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

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

2022

Exploration Versus Exploitation in Model-Based Reinforcement Learning: An Empirical Study.

Ângelo Gregório Lovatto, Leliane Nunes de Barros, Denis Deratani Mauá

Proceedings of the Intelligent Systems - 11th Brazilian Conference, 2022

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

Gradient Estimation in Model-Based Reinforcement Learning: A Study on Linear Quadratic Environments.

Ângelo Gregório Lovatto, Thiago Pereira Bueno, Leliane Nunes de Barros

Proceedings of the Intelligent Systems - 10th Brazilian Conference, 2021

2020

Human-aware Contingent Planning.

Ignasi Andrés, Leliane Nunes de Barros, Karina Valdivia Delgado

Fundam. Informaticae, 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

Proceedings of the Advances in Soft Computing, 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

Proceedings of the "I Can't Believe It's Not Better!" at NeurIPS Workshops, 2020

On the Performance of Planning Through Backpropagation.

Renato Scaroni, Thiago Pereira Bueno, Leliane N. de Barros, Denis Deratani Mauá

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

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

Proceedings of the Intelligent Systems - 9th Brazilian Conference, 2020

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

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

Analyzing the Effect of Stochastic Transitions in Policy Gradients in Deep Reinforcement Learning.

Ângelo Gregório Lovatto, Thiago Pereira Bueno, Leliane Nunes de Barros

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

Deep Reactive Policies for Planning in Stochastic Nonlinear Domains.

Thiago Pereira Bueno, Leliane N. de Barros, Denis Deratani Mauá, Scott Sanner

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

When a Robot Reaches Out for Human Help.

Ignasi Andrés, Leliane Nunes de Barros, Denis Deratani Mauá, Thiago D. Simão

Proceedings of the Advances in Artificial Intelligence - IBERAMIA 2018, 2018

Occupation Measure Heuristics to Solve Stochastic Shortest Path with Dead Ends.

Milton Condori Fernandez, Leliane Nunes de Barros, Karina Valdivia Delgado

Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018

Symbolic Dynamic Programming for Risk-sensitive Markov Decision Process with limited budget.

Daniel A. M. Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

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

Proceedings of the Tenth International Symposium on Imprecise Probability: Theories and Applications, 2017

Risk-Sensitive Markov Decision Process with Limited Budget.

Daniel Augusto de Melo Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the 2017 Brazilian Conference on Intelligent Systems, 2017

2016

Robust probabilistic planning with ilao.

Daniel A. M. Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros

Appl. Intell., 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

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

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems.

Ignasi Andrés, Leliane Nunes de Barros

Proceedings of the 5th Brazilian Conference on Intelligent Systems, 2016

2015

Reachability-based model reduction for Markov decision process.

Felipe M. Santos, Leliane N. de Barros, Felipe W. Trevizan

J. Braz. Comput. Soc., 2015

Learning to program using hierarchical model-based debugging.

Leliane Nunes de Barros, Wellington Ricardo Pinheiro, Karina Valdivia Delgado

Appl. Intell., 2015

Real-Time Symbolic Dynamic Programming.

Luis Gustavo Rocha Vianna, Leliane N. de Barros, Scott Sanner

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

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

Continuous Real Time Dynamic Programming for Discrete and Continuous State MDPs.

Luis Gustavo Rocha Vianna, Scott Sanner, Leliane Nunes de Barros

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

B^2RTDP: An Efficient Solution for Bounded-Parameter Markov Decision Process.

Fernando L. Fussuma, Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the 2014 Brazilian Conference on Intelligent Systems, 2014

2013

Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs.

Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros

Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence, 2013

Robust Optimization for Hybrid MDPs with State-Dependent Noise.

Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the IJCAI 2013, 2013

Stochastic Bisimulation for MDPs Using Reachability Analysis.

Felipe Martins dos Santos, Leliane Nunes de Barros, Mijail Gamarra Holguin

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning.

Ricardo Guimarães Herrmann, Leliane N. de Barros

Proceedings of the Brazilian Conference on Intelligent Systems, 2013

2012

A planner agent that tries its best in presence of nondeterminism.

Silvio do Lago Pereira, Leliane Nunes de Barros

J. Appl. Log., 2012

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

Efficient solutions to factored MDPs with imprecise transition probabilities.

Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros

Artif. Intell., 2011

Symbolic Dynamic Programming for Discrete and Continuous State MDPs.

Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the UAI 2011, 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

Symbolic Bounded Real-Time Dynamic Programming.

Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros

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

2009

Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities.

Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros, Fábio Gagliardi Cozman

Proceedings of the 19th International Conference on Automated Planning and Scheduling, 2009

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

Using alpha-ctl to Specify Complex Planning Goals.

Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Logic, 2008

Strong Probabilistic Planning.

Silvio do Lago Pereira, Leliane Nunes de Barros, Fábio Gagliardi Cozman

Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008

2007

Planning under Risk and Knightian Uncertainty.

Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros

Proceedings of the IJCAI 2007, 2007

2006

Designing logic-based robots.

Felipe W. Trevizan, Leliane Nunes de Barros, Flávio S. Corrêa da Silva

Inteligencia Artif., 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

Proceedings of the Workshop on 2nd Workshop on Ontologies and their Applications co-located with the International Joint Conference IBERAMIA-SBIA-SBRN'06, 2006

Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes.

Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence, 2006

Diagnostic of Programs for Programming Learning Tools.

Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence, 2006

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

Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling, 2006

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

Proceedings of the ICINCO 2005, 2005

A tool for programming learning with pedagogical patterns.

Leliane Nunes de Barros, Ana Paula dos Santos Mota, Karina Valdivia Delgado, Patricia Megumi Matsumoto

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

High-Level Robot Programming: An Abductive Approach Using Event Calculus.

Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.

Silvio do Lago Pereira, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

Using Concept Hierarchies in Knowledge Discovery.

Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros

Proceedings of the Advances in Artificial Intelligence - SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence, São Luis, Maranhão, Brazil, September 29, 2004

ProPAT: A Programming ITS Based on Pedagogical Patterns.

Karina Valdivia Delgado, Leliane Nunes de Barros

Proceedings of the Intelligent Tutoring Systems, 7th International Conference, 2004

2000

Network fault diagnosis: a model based approach.

Jacques Wainer, Leliane N. de Barros, Volnys Borges Bernal, Marilza Lemos

Proceedings of the Networked Planet: Management Beyond 2000, 2000

The Nature of Knowledge in an Abductive Event Calculus Planner.

Leliane Nunes de Barros, Paulo E. Santos

Proceedings of the Knowledge Acquisition, 2000

1999

Fault Diagnosis for Local Area Network Environments.

Volnys Borges Bernal, Leliane N. de Barros, Marilza Lemos, Jacques Wainer

Proceedings of the 1st Latin American Network Operations and Management Symposium, 1999

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

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

1997

Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems.

Leliane Nunes de Barros, James A. Hendler, V. Richard Benjamins

Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

1996

Modeling Planning Tasks.

Leliane Nunes de Barros, André Valente, V. Richard Benjamins

Proceedings of the Third International Conference on Artificial Intelligence Planning Systems, 1996