Leliane Nunes de Barros

55 papers A* 5A 5B 2C 2Journal 14Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Dead-End Discovery and Secure Exploration via Large Language Models. BRACIS (1) Christian Delgado Polar, Leliane Nunes de Barros, Valdinei Freire, Karina Valdivia Delgado
2025	A	`conf`	Planning for Temporally Extended Goals based on alpha-CTL. AAMAS Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes, Silvio do Lago Pereira
2023	—	`conf`	Specifying Preferences over Policies Using Branching Time Temporal Logic. BRACIS (1) Warlles Carlos Costa Machado, Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes
2022	—	`conf`	Exploration Versus Exploitation in Model-Based Reinforcement Learning: An Empirical Study. BRACIS (2) Ângelo Gregório Lovatto, Leliane Nunes de Barros, Denis Deratani Mauá
2021	J	`jnl`	Efficient algorithms for Risk-Sensitive Markov Decision Processes with limited budget. Int. J. Approx. Reason. Daniel Augusto de Melo Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros, Denis Deratani Mauá
2021	—	`conf`	Gradient Estimation in Model-Based Reinforcement Learning: A Study on Linear Quadratic Environments. BRACIS (1) Ângelo Gregório Lovatto, Thiago Pereira Bueno, Leliane Nunes de Barros
2020	J	`jnl`	Human-aware Contingent Planning. Fundam. Informaticae Ignasi Andrés, Leliane Nunes de Barros, Karina Valdivia Delgado
2020	—	`conf`	Risk-Sensitive Piecewise-Linear Policy Iteration for Stochastic Shortest Path Markov Decision Processes. MICAI (1) Henrique Dias Pastor, Igor Oliveira Borges, Valdinei Freire, Karina Valdivia Delgado, Leliane Nunes de Barros
2019	—	`conf`	Analyzing the Effect of Stochastic Transitions in Policy Gradients in Deep Reinforcement Learning. BRACIS Ângelo Gregório Lovatto, Thiago Pereira Bueno, Leliane Nunes de Barros
2019	J	`jnl`	Robust topological policy iteration for infinite horizon bounded Markov Decision Processes. Int. J. Approx. Reason. Willy Arthur Silva Reis, Leliane Nunes de Barros, Karina Valdivia Delgado
2019	—	`conf`	Symbolic Planning for Strong-Cyclic Policies. BRACIS Viviane M. Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes
2018	—	`conf`	Occupation Measure Heuristics to Solve Stochastic Shortest Path with Dead Ends. BRACIS Milton Condori Fernandez, Leliane Nunes de Barros, Karina Valdivia Delgado
2018	A	`conf`	Symbolic Dynamic Programming for Risk-sensitive Markov Decision Process with limited budget. AAMAS Daniel A. M. Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros
2018	—	`conf`	When a Robot Reaches Out for Human Help. IBERAMIA Ignasi Andrés, Leliane Nunes de Barros, Denis Deratani Mauá, Thiago D. Simão
2017	—	`conf`	Risk-Sensitive Markov Decision Process with Limited Budget. BRACIS Daniel Augusto de Melo Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros
2016	J	`jnl`	Robust probabilistic planning with ilao. Appl. Intell. Daniel A. M. Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros
2016	—	`conf`	Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems. BRACIS Ignasi Andrés, Leliane Nunes de Barros
2015	J	`jnl`	Learning to program using hierarchical model-based debugging. Appl. Intell. Leliane Nunes de Barros, Wellington Ricardo Pinheiro, Karina Valdivia Delgado
2014	—	`conf`	B^2RTDP: An Efficient Solution for Bounded-Parameter Markov Decision Process. BRACIS Fernando L. Fussuma, Karina Valdivia Delgado, Leliane Nunes de Barros
2014	—	`conf`	Continuous Real Time Dynamic Programming for Discrete and Continuous State MDPs. BRACIS Luis Gustavo Rocha Vianna, Scott Sanner, Leliane Nunes de Barros
2014	A	`conf`	On the revision of planning tasks. ECAI Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann
2013	A	`conf`	Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. UAI Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros
2013	J	`jnl`	Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. CoRR Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros
2013	A*	`conf`	Robust Optimization for Hybrid MDPs with State-Dependent Noise. IJCAI Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros
2013	—	`conf`	Stochastic Bisimulation for MDPs Using Reachability Analysis. BRACIS Felipe Martins dos Santos, Leliane Nunes de Barros, Mijail Gamarra Holguin
2012	J	`jnl`	A planner agent that tries its best in presence of nondeterminism. J. Appl. Log. Silvio do Lago Pereira, Leliane Nunes de Barros
2012	—	`ed.`	Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings SBIA Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho
2012	J	`jnl`	Symbolic Dynamic Programming for Discrete and Continuous State MDPs CoRR Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros
2011	J	`jnl`	Efficient solutions to factored MDPs with imprecise transition probabilities. Artif. Intell. Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros
2011	A*	`conf`	Model Update for Automated Planning. AAAI Maria Viviane de Menezes, Leliane Nunes de Barros
2011	A	`conf`	Symbolic Dynamic Programming for Discrete and Continuous State MDPs. UAI Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros
2011	J	`jnl`	Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. Int. J. Approx. Reason. Karina Valdivia Delgado, Leliane Nunes de Barros, Fábio Gagliardi Cozman, Scott Sanner
2010	—	`conf`	Symbolic Bounded Real-Time Dynamic Programming. SBIA Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros
2010	—	`conf`	System Design Modification with Actions. SBIA Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros
2009	A*	`conf`	Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities. ICAPS Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros, Fábio Gagliardi Cozman
2008	J	`jnl`	A logic-based agent that plans for extended reachability goals. Auton. Agents Multi Agent Syst. Silvio do Lago Pereira, Leliane Nunes de Barros
2008	—	`conf`	Strong Probabilistic Planning. MICAI Silvio do Lago Pereira, Leliane Nunes de Barros, Fábio Gagliardi Cozman
2008	C	`conf`	Using alpha-ctl to Specify Complex Planning Goals. WoLLIC Silvio do Lago Pereira, Leliane Nunes de Barros
2007	A*	`conf`	Planning under Risk and Knightian Uncertainty. IJCAI Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros
2006	—	`conf`	Classifying Ontologies. WONTO Fábio N. Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann
2006	J	`jnl`	Designing logic-based robots. Inteligencia Artif. Felipe W. Trevizan, Leliane Nunes de Barros, Flávio S. Corrêa da Silva
2006	—	`conf`	Diagnostic of Programs for Programming Learning Tools. IBERAMIA-SBIA Karina Valdivia Delgado, Leliane Nunes de Barros
2006	A*	`conf`	On the Use of UML.P for Modeling a Real Application as a Planning Problem. ICAPS Tiago Stegun Vaquero, Flavio Tonidandel, Leliane Nunes de Barros, José Reinaldo Silva
2006	—	`conf`	Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes. IBERAMIA-SBIA Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros
2005	—	`conf`	A tool for programming learning with pedagogical patterns. eTX Leliane Nunes de Barros, Ana Paula dos Santos Mota, Karina Valdivia Delgado, Patricia Megumi Matsumoto
2005	C	`conf`	Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger
2004	—	`conf`	High-Level Robot Programming: An Abductive Approach Using Event Calculus. SBIA Silvio do Lago Pereira, Leliane Nunes de Barros
2004	—	`conf`	Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning. SBIA Silvio do Lago Pereira, Leliane Nunes de Barros
2004	B	`conf`	ProPAT: A Programming ITS Based on Pedagogical Patterns. Intelligent Tutoring Systems Karina Valdivia Delgado, Leliane Nunes de Barros
2004	—	`conf`	Using Concept Hierarchies in Knowledge Discovery. SBIA Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros
2000	B	`conf`	The Nature of Knowledge in an Abductive Event Calculus Planner. EKAW Leliane Nunes de Barros, Paulo E. Santos
1998	J	`jnl`	A library of system-derived problem-solving methods for plannin. Int. J. Hum. Comput. Stud. André Valente, V. Richard Benjamins, Leliane Nunes de Barros
1998	J	`jnl`	Integrating purposive vision with deliberative and reactive planning: engineering support for robotic applications. J. Braz. Comput. Soc. Anna Helena Reali Costa, C. Rillo, Leliane Nunes de Barros, Reinaldo A. C. Bianchi
1997	—	`conf`	Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems. IJCAI Leliane Nunes de Barros, James A. Hendler, V. Richard Benjamins
1996	—	`conf`	Modeling Planning Tasks. AIPS Leliane Nunes de Barros, André Valente, V. Richard Benjamins