default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeliane Nunes de Barros
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[c48]Warlles Carlos Costa Machado, Viviane Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes:
Specifying Preferences over Policies Using Branching Time Temporal Logic. BRACIS (1) 2023: 128-143- 2022
- [c47]Ângelo Gregório Lovatto
, Leliane Nunes de Barros, Denis Deratani Mauá:
Exploration Versus Exploitation in Model-Based Reinforcement Learning: An Empirical Study. BRACIS (2) 2022: 30-44 - 2021
- [j14]Daniel Augusto de Melo Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros, Denis Deratani Mauá:
Efficient algorithms for Risk-Sensitive Markov Decision Processes with limited budget. Int. J. Approx. Reason. 139: 143-165 (2021) - [c46]Ângelo Gregório Lovatto, Thiago Pereira Bueno, Leliane Nunes de Barros:
Gradient Estimation in Model-Based Reinforcement Learning: A Study on Linear Quadratic Environments. BRACIS (1) 2021: 33-47 - 2020
- [j13]Ignasi Andrés, Leliane Nunes de Barros, Karina Valdivia Delgado:
Human-aware Contingent Planning. Fundam. Informaticae 174(1): 63-81 (2020) - [c45]Milton Condori Fernandez, Leliane N. de Barros, Denis Deratani Mauá, Karina Valdivia Delgado, Valdinei Freire:
Finding Feasible Policies for Extreme Risk-Averse Agents in Probabilistic Planning. BRACIS (2) 2020: 93-107 - [c44]Renato Scaroni, Thiago Pereira Bueno, Leliane N. de Barros, Denis Deratani Mauá:
On the Performance of Planning Through Backpropagation. BRACIS (2) 2020: 108-122 - [c43]Ângelo Gregório Lovatto, Thiago Pereira Bueno, Denis Deratani Mauá, Leliane N. de Barros:
Decision-Aware Model Learning for Actor-Critic Methods: When Theory Does Not Meet Practice. ICBINB@NeurIPS 2020: 76-86 - [c42]Henrique Dias Pastor, Igor Oliveira Borges, Valdinei Freire, Karina Valdivia Delgado, Leliane Nunes de Barros:
Risk-Sensitive Piecewise-Linear Policy Iteration for Stochastic Shortest Path Markov Decision Processes. MICAI (1) 2020: 383-395
2010 – 2019
- 2019
- [j12]Willy Arthur Silva Reis, Leliane Nunes de Barros, Karina Valdivia Delgado:
Robust topological policy iteration for infinite horizon bounded Markov Decision Processes. Int. J. Approx. Reason. 105: 287-304 (2019) - [c41]Thiago Pereira Bueno, Leliane N. de Barros, Denis Deratani Mauá, Scott Sanner:
Deep Reactive Policies for Planning in Stochastic Nonlinear Domains. AAAI 2019: 7530-7537 - [c40]Viviane M. Bonadia dos Santos, Leliane Nunes de Barros, Maria Viviane de Menezes:
Symbolic Planning for Strong-Cyclic Policies. BRACIS 2019: 168-173 - [c39]Ângelo Gregório Lovatto, Thiago Pereira Bueno, Leliane Nunes de Barros:
Analyzing the Effect of Stochastic Transitions in Policy Gradients in Deep Reinforcement Learning. BRACIS 2019: 413-418 - 2018
- [c38]Daniel A. M. Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros:
Symbolic Dynamic Programming for Risk-sensitive Markov Decision Process with limited budget. AAMAS 2018: 2019-2021 - [c37]Milton Condori Fernandez, Leliane Nunes de Barros, Karina Valdivia Delgado:
Occupation Measure Heuristics to Solve Stochastic Shortest Path with Dead Ends. BRACIS 2018: 522-527 - [c36]Ignasi Andrés, Leliane Nunes de Barros, Denis Deratani Mauá, Thiago D. Simão:
When a Robot Reaches Out for Human Help. IBERAMIA 2018: 277-289 - 2017
- [c35]Daniel Augusto de Melo Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros:
Risk-Sensitive Markov Decision Process with Limited Budget. BRACIS 2017: 109-114 - [c34]Thiago Pereira Bueno, Denis Deratani Mauá, Leliane N. de Barros, Fábio Gagliardi Cozman:
Modeling Markov Decision Processes with Imprecise Probabilities Using Probabilistic Logic Programming. ISIPTA 2017: 49-60 - 2016
- [j11]Karina Valdivia Delgado, Leliane N. de Barros, Daniel B. Dias, Scott Sanner:
Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artif. Intell. 230: 192-223 (2016) - [j10]Daniel A. M. Moreira, Karina Valdivia Delgado, Leliane Nunes de Barros:
Robust probabilistic planning with ilao. Appl. Intell. 45(3): 662-672 (2016) - [c33]Ignasi Andrés, Leliane Nunes de Barros:
Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems. BRACIS 2016: 67-72 - [c32]Thiago Pereira Bueno, Denis Deratani Mauá, Leliane N. de Barros, Fábio Gagliardi Cozman:
Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution. BRACIS 2016: 337-342 - 2015
- [j9]Leliane Nunes de Barros, Wellington Ricardo Pinheiro, Karina Valdivia Delgado:
Learning to program using hierarchical model-based debugging. Appl. Intell. 43(3): 544-563 (2015) - [j8]Felipe M. Santos, Leliane N. de Barros, Felipe W. Trevizan:
Reachability-based model reduction for Markov decision process. J. Braz. Comput. Soc. 21(1): 5:1-5:16 (2015) - [c31]Luis Gustavo Rocha Vianna, Leliane N. de Barros, Scott Sanner:
Real-Time Symbolic Dynamic Programming. AAAI 2015: 3402-3408 - 2014
- [c30]Fernando L. Fussuma, Karina Valdivia Delgado, Leliane Nunes de Barros:
B^2RTDP: An Efficient Solution for Bounded-Parameter Markov Decision Process. BRACIS 2014: 128-133 - [c29]Luis Gustavo Rocha Vianna, Scott Sanner, Leliane Nunes de Barros:
Continuous Real Time Dynamic Programming for Discrete and Continuous State MDPs. BRACIS 2014: 134-139 - [c28]Andreas Herzig, Maria Viviane de Menezes, Leliane Nunes de Barros, Renata Wassermann:
On the revision of planning tasks. ECAI 2014: 435-440 - 2013
- [c27]Ricardo Guimarães Herrmann, Leliane N. de Barros:
Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning. BRACIS 2013: 175-181 - [c26]Felipe Martins dos Santos, Leliane Nunes de Barros, Mijail Gamarra Holguin:
Stochastic Bisimulation for MDPs Using Reachability Analysis. BRACIS 2013: 213-218 - [c25]Zahra Zamani, Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros:
Robust Optimization for Hybrid MDPs with State-Dependent Noise. IJCAI 2013: 2437-2443 - [c24]Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros:
Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. UAI 2013 - [i2]Luis Gustavo Vianna, Scott Sanner, Leliane Nunes de Barros:
Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs. CoRR abs/1309.6871 (2013) - 2012
- [j7]Silvio do Lago Pereira, Leliane Nunes de Barros:
A planner agent that tries its best in presence of nondeterminism. J. Appl. Log. 10(4): 419-430 (2012) - [e1]Leliane Nunes de Barros, Marcelo Finger, Aurora T. R. Pozo, Gustavo Alberto Giménez Lugo, Marcos A. Castilho:
Advances in Artificial Intelligence - SBIA 2012 - 21th Brazilian Symposium on Artificial Intelligence, Curitiba, Brazil, October 20-25, 2012. Proceedings. Lecture Notes in Computer Science 7589, Springer 2012, ISBN 978-3-642-34458-9 [contents] - [i1]Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros:
Symbolic Dynamic Programming for Discrete and Continuous State MDPs. CoRR abs/1202.3762 (2012) - 2011
- [j6]Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros:
Efficient solutions to factored MDPs with imprecise transition probabilities. Artif. Intell. 175(9-10): 1498-1527 (2011) - [j5]Karina Valdivia Delgado, Leliane Nunes de Barros, Fábio Gagliardi Cozman, Scott Sanner:
Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. Int. J. Approx. Reason. 52(7): 1000-1017 (2011) - [c23]Maria Viviane de Menezes, Leliane Nunes de Barros:
Model Update for Automated Planning. AAAI 2011 - [c22]Scott Sanner, Karina Valdivia Delgado, Leliane Nunes de Barros:
Symbolic Dynamic Programming for Discrete and Continuous State MDPs. UAI 2011: 643-652 - 2010
- [c21]Maria Viviane de Menezes, Silvio do Lago Pereira, Leliane Nunes de Barros:
System Design Modification with Actions. SBIA 2010: 31-40 - [c20]Karina Valdivia Delgado, Cheng Fang, Scott Sanner, Leliane Nunes de Barros:
Symbolic Bounded Real-Time Dynamic Programming. SBIA 2010: 193-202
2000 – 2009
- 2009
- [c19]Karina Valdivia Delgado, Scott Sanner, Leliane Nunes de Barros, Fábio Gagliardi Cozman:
Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities. ICAPS 2009 - 2008
- [j4]Silvio do Lago Pereira, Leliane Nunes de Barros:
A logic-based agent that plans for extended reachability goals. Auton. Agents Multi Agent Syst. 16(3): 327-344 (2008) - [c18]Silvio do Lago Pereira, Leliane Nunes de Barros, Fábio Gagliardi Cozman:
Strong Probabilistic Planning. MICAI 2008: 636-652 - [c17]Silvio do Lago Pereira, Leliane Nunes de Barros:
Using alpha-ctl to Specify Complex Planning Goals. WoLLIC 2008: 260-271 - 2007
- [c16]Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros:
Planning under Risk and Knightian Uncertainty. IJCAI 2007: 2023-2028 - 2006
- [j3]Felipe W. Trevizan, Leliane Nunes de Barros, Flávio S. Corrêa da Silva:
Designing logic-based robots. Inteligencia Artif. 10(31): 11-22 (2006) - [c15]Tiago Stegun Vaquero, Flavio Tonidandel, Leliane Nunes de Barros, José Reinaldo Silva:
On the Use of UML.P for Modeling a Real Application as a Planning Problem. ICAPS 2006: 434-437 - [c14]Karina Valdivia Delgado, Leliane Nunes de Barros:
Diagnostic of Programs for Programming Learning Tools. IBERAMIA-SBIA 2006: 7-16 - [c13]Felipe W. Trevizan, Fábio Gagliardi Cozman, Leliane Nunes de Barros:
Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes. IBERAMIA-SBIA 2006: 502-511 - [c12]Fábio N. Kepler, Christian Paz-Trillo, Joselyto Riani, Márcio Moretto Ribeiro, Karina Valdivia Delgado, Leliane Nunes de Barros, Renata Wassermann:
Classifying Ontologies. WONTO 2006 - 2005
- [c11]Leliane Nunes de Barros, Ana Paula dos Santos Mota, Karina Valdivia Delgado, Patricia Megumi Matsumoto:
A tool for programming learning with pedagogical patterns. eTX 2005: 125-129 - [c10]Flávio S. Corrêa da Silva, Renata Wassermann, Ana Cristina Vieira de Melo, Leliane Nunes de Barros, Marcelo Finger:
Intelligent mobile multi-robotic systems: some challenges and possible solutions. ICINCO 2005: 479-485 - 2004
- [c9]Karina Valdivia Delgado, Leliane Nunes de Barros:
ProPAT: A Programming ITS Based on Pedagogical Patterns. Intelligent Tutoring Systems 2004: 812-814 - [c8]Silvio do Lago Pereira, Leliane Nunes de Barros:
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning. SBIA 2004: 62-72 - [c7]Silvio do Lago Pereira, Leliane Nunes de Barros:
High-Level Robot Programming: An Abductive Approach Using Event Calculus. SBIA 2004: 73-82 - [c6]Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros:
Using Concept Hierarchies in Knowledge Discovery. SBIA 2004: 255-265 - 2000
- [c5]Leliane Nunes de Barros, Paulo E. Santos:
The Nature of Knowledge in an Abductive Event Calculus Planner. EKAW 2000: 328-343 - [c4]Jacques Wainer, Leliane N. de Barros, Volnys Borges Bernal, Marilza Lemos:
Network fault diagnosis: a model based approach. NOMS 2000: 969-970
1990 – 1999
- 1999
- [c3]Volnys Borges Bernal, Leliane N. de Barros, Marilza Lemos, Jacques Wainer:
Fault Diagnosis for Local Area Network Environments. LANOMS 1999 - 1998
- [j2]André Valente, V. Richard Benjamins, Leliane Nunes de Barros:
A library of system-derived problem-solving methods for plannin. Int. J. Hum. Comput. Stud. 48(4): 417-447 (1998) - [j1]Anna Helena Reali Costa, C. Rillo, Leliane Nunes de Barros, Reinaldo A. C. Bianchi:
Integrating purposive vision with deliberative and reactive planning: engineering support for robotic applications. J. Braz. Comput. Soc. 4(3) (1998) - 1997
- [c2]Leliane Nunes de Barros, James A. Hendler, V. Richard Benjamins:
Par-KAP: a Knowledge Acquisition Tool for Building Practical Planning Systems. IJCAI 1997: 1246-1253 - 1996
- [c1]Leliane Nunes de Barros, André Valente, V. Richard Benjamins:
Modeling Planning Tasks. AIPS 1996: 11-18
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
