| 2018 |
Trabalho em evento |
Plan Existence Verification as Symbolic Model Checking
Macilio Da Silva FERREIRA; Maria Viviane De MENEZES; Leliane Nunes De BARROS
XV Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)
DOI 10.5753/eniac.2018.4409
|
PS
Artificial Intelligence
|
| 2018 |
Artigo em periódico |
Robust topological policy iteration for infinite horizon bounded Markov Decision Processes
Reis Willy Arthur SILVA; Leliane Nunes De BARROS; Delgado Karina VALDIVIA
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING
DOI 10.1016/j.ijar.2018.12.004
ISSN 0888-613X
|
PS
Artificial Intelligence
|
| 2017 |
Trabalho em evento |
Risk-Sensitive Markov Decision Process with Limited Budget
Moreira Daniel Augusto De MELO; Delgado Karina VALDIVIA; Leliane Nunes De BARROS
2017 Brazilian Conference on Intelligent Systems (BRACIS)
DOI 10.1109/BRACIS.2017.65
ISBN 9781538624074
|
PS
Computer Science (miscellaneous)
|
| 2017 |
Trabalho em evento |
Modeling Markov Decision Processes with Imprecise Probabilities Using Probabilistic Logic Programming
Thiago Pereira BUENO; Denis Deratani MAUÁ; Fabio COZMAN; Leliane Nunes De BARROS
International Symposium on Imprecise Probability: Theories and Applications (ISIPTA)
|
PS
Computer Science (miscellaneous)
|
| 2017 |
Trabalho em evento |
PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos
Viviane Bonadia Dos SANTOS; Leliane Nunes De BARROS
Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)
|
PS
Computer Science (miscellaneous)
|
| 2017 |
Trabalho em evento |
Asking Human Help in Contingent Planning
Ignasi Andrés FRANCH; Leliane Nunes De BARROS; Karina Valdivia DELGADO
First International Workshop on Teams in Multiagent Systems (TEAMAS 2017)
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Trabalho em evento |
Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution
Bueno Thiago P; Maua Denis D; Leliane Nunes De BARROS; Cozman Fabio G
2016 5th Brazilian Conference on Intelligent Systems (BRACIS)
DOI 10.1109/bracis.2016.068
ISBN 9781509035663
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Trabalho em evento |
Distributed and Asynchronous Policy Iteration for Bounded Parameter Markov Decision Processes
Willy Arthur Silva REIS; Karina Valdivia DELGADO; Leliane Nunes De BARROS
XIII Encontro Nacional de Inteligência Artificial e Computacional (ENIAC)
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Trabalho em evento |
Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems
Ignasi Andrés FRANCH; Leliane Nunes De BARROS
Brazilian Conference on Intelligent Systems (BRACIS)
DOI 10.1109/BRACIS.2016.023
|
PS
Artificial Intelligence
|
| 2016 |
Trabalho em evento |
Heurísticas para Detecção de Becos sem Saída em Planejamento Probabilístico
Thiago Dias SIMÃO; Ignasi Andrés FRANCH; Viviane Bonadia Dos SANTOS; Leliane Nunes De BARROS
XIII Encontro Nacional de Inteligência Artificial e Computacional
|
PS
Computer Science (miscellaneous)
|
| 2016 |
Artigo em periódico |
Robust probabilistic planning with ilao
Moreira Daniel A M; Delgado Karina VALDIVIA; Leliane Nunes De BARROS
Applied Intelligence (Boston)
DOI 10.1007/s10489-016-0780-4
ISSN 0924-669X
|
PS
Artificial Intelligence
|
| 2015 |
Trabalho em evento |
Real-Time Symbolic Dynamic Programming for Hybrid MDPs
Luis Gustavo VIANNA; Leliane Nunes De BARROS; Scott SANNER
Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI)
DOI 10.5555/2888116.2888189
|
PS
Artificial Intelligence
|
| 2015 |
Trabalho em evento |
Robust Intervention on Genetic Regulatory Networks Using Symbolic Dynamic Programming
Leliane Nunes De BARROS; Ronaldo Fumio HASHIMOTO; Karina Valdivia DELGADO; Carolina Feher Da SILVA; Fabio A C TISOVEC
IJCAI 2015 Workshop: Advances in Bioinformatics and Artificial Intelligence: bridging the Gaps
|
PS
Artificial Intelligence
|
| 2015 |
Trabalho em evento |
Planejamento Probabilístico com Becos Sem Saída
Thiago Dias SIMÃO; Leliane Nunes De BARROS; Felipe Leno Da SILVA
XII Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2015)
|
PS
Computer Science (miscellaneous)
|
| 2015 |
Artigo em periódico |
Learning to program using hierarchical model-based debugging
Leliane Nunes De BARROS; Pinheiro Wellington RICARDO; Delgado Karina VALDIVIA
APPLIED INTELLIGENCE
DOI 10.1007/s10489-015-0659-9
ISSN 0924-669X
|
PS
Artificial Intelligence
|
| 2015 |
Artigo em periódico |
Reachability-based model reduction for Markov decision process
Santos Felipe M; Leliane Nunes De BARROS; Trevizan Felipe W
JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO)
DOI 10.1186/s13173-015-0024-1
ISSN 0104-6500
|
PS
Computer Science (miscellaneous)
|
| 2015 |
Artigo em periódico |
Real-time dynamic programming for Markov decision processes with imprecise probabilities
Delgado Karina V; Leliane Nunes De BARROS; Dias Daniel B; Sanner SCOTT
Artificial Intelligence (General Ed.)
DOI 10.1016/j.artint.2015.09.005
ISSN 0004-3702
|
PS
Computer Science (miscellaneous)
|
| 2014 |
Trabalho em evento |
Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda
Leliane Nunes De BARROS; Denis Antonio LACERDA
ENIAC 2014
|
SH
Education
|
| 2014 |
Trabalho em evento |
Problema de Intervenção em Redes Gênicas Modelado como um Processo de Decisão Markoviano Fatorado
Leliane Nunes De BARROS; Fabio TISOVEC; Karina Valdivia DELGADO
ENIAC 2014
|
PS
Artificial Intelligence
|
| 2014 |
Trabalho em evento |
Continuous Real Time Dynamic Programming for Discrete and Continuous State MDPs
Luis Gustavo Rocha VIANNA; Scott SANNER; Leliane Nunes De BARROS
Brazilian Conference on Intelligent Systems (BRACIS)
DOI 10.1109/BRACIS.2014.34
|
PS
Biomedical Engineering
|
| 2014 |
Trabalho em evento |
An efficient solution for Bounded-Parameter Markov Decision Process
Fernando L FUSSUMA; Karina Valdivia DELGADO; Leliane Nunes De BARROS
BRACIS 2014
DOI 10.1109/BRACIS.2014.33
|
PS
Computer Science (miscellaneous)
|
| 2014 |
Trabalho em evento |
On the revision of planning tasks
Andreas HERZIG; Maria Viviane De MENEZES; Leliane Nunes De BARROS; Renata WASSERMAN
European Conference on Artificial Intelligence (ECAI 2014)
DOI 10.3233/978-1-61499-419-0-435
|
SH
Psychology (miscellaneous)
|
| 2014 |
Trabalho em evento |
Factored Markov Decision Process with Imprecise Transition Probabilities
Karina Valdivia DELGADO; Leliane Nunes De BARROS; Scott SANNER; Fabio Gagliardi COZMAN
Models and Paradigms for Planning under Uncertainty: a Broad Perspective Workshop at ICAPS
|
PS
Artificial Intelligence
|
| 2014 |
Artigo em periódico |
Symbolic Regression for Non-Deterministic Actions
Maria Viviane De MENEZES; Leliane Nunes De BARROS; Silvio Do Lago PEREIRA
LEARNING AND NONLINEAR MODELS
DOI 10.21528/lmln-vol12-no2-art3
ISSN 1676-2789
|
PS
Artificial Intelligence
|
| 2013 |
Trabalho em evento |
Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs.
Luis Gustavo Rocha VIANNA; Scott SANNER; Leliane Nunes De BARROS
29th Conference on Uncertainty in Artificial Intelligence (UAI-13).
ISBN 9780974903996
|
PS
Artificial Intelligence
|