Leliane Nunes de Barros

Idiomas

Áreas de atuação

Organização de eventos

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• MOREIRA, DANIEL A.M. ; VALDIVIA DELGADO, KARINA ; de Barros, Leliane Nunes ; DERATANI MAUÁ, DENIS . Efficient algorithms for Risk-Sensitive Markov Decision Processes with limited budget. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 139, p. 143-165, 2021.

• Franch, I. A. ; BARROS, L. N. ; DELGADO, K. V. . Human-aware Contingent Planning. FUNDAMENTA INFORMATICAE , v. 174, p. 63-81, 2020.

• REIS, WILLY ARTHUR SILVA ; de Barros, Leliane Nunes ; Delgado, Karina Valdivia . Robust topological policy iteration for infinite horizon bounded Markov Decision Processes. INTERNATIONAL JOURNAL OF APPROXIMATE REASONING , v. 1, p. 1-18, 2018.

• MOREIRA, DANIEL A. M. ; Delgado, Karina Valdivia ; NUNES DE BARROS, LELIANE . Robust probabilistic planning with ilao. Applied Intelligence (Boston) , v. 45, p. 662-672, 2016.

• de Barros, Leliane Nunes ; PINHEIRO, WELLINGTON RICARDO ; Delgado, Karina Valdivia . Learning to program using hierarchical model-based debugging. APPLIED INTELLIGENCE , v. 42, p. 1-20, 2015.

• SANTOS, FELIPE M ; BARROS, LELIANE N ; TREVIZAN, FELIPE W . Reachability-based model reduction for Markov decision process. JOURNAL OF THE BRAZILIAN COMPUTER SOCIETY (IMPRESSO) , v. 21, p. 1-16, 2015.

• DELGADO, KARINA V. ; DE BARROS, LELIANE N. ; DIAS, DANIEL B. ; Sanner, Scott . Real-time dynamic programming for Markov decision processes with imprecise probabilities. Artificial Intelligence (General Ed.) , v. 178, p. 1-36, 2015.

• Menezes, M. V. ; BARROS, L. N. ; PEREIRA, S. L. . Symbolic Regression for Non-Deterministic Actions. LEARNING AND NONLINEAR MODELS , v. 12, p. 98-114, 2014.

• do Lago Pereira, Silvio ; Nunes de Barros, Leliane ; de Barros, Leliane Nunes . A planner agent that tries its best in presence of nondeterminism. Journal of Applied Logic , v. 10, p. 1-12, 2012.

• Delgado, Karina Valdivia ; de Barros, Leliane Nunes ; Cozman, Fabio Gagliardi ; Sanner, Scott . Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities. International Journal of Approximate Reasoning , v. 1, p. 1-30, 2011.

• Delgado, Karina Valdivia ; Sanner, Scott ; de Barros, Leliane Nunes . Efficient solutions to factored MDPs with imprecise transition probabilities. Artificial Intelligence (General ed.) , v. 175, p. 1498-1527, 2011.

• PEREIRA, S. L. ; BARROS, L. N. . A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems , v. 9034, p. 1-20, 2008.

• TREVIZAN, F. W. ; BARROS, L. N. . Robótica Cognitiva: programação baseada em lógica para controle de robôs. Controle & Automação , v. 18-2, p. 187-198, 2007.

• TREVIZAN, F. W. ; BARROS, L. N. ; SILVA, F. S. C. . Designing logic-based robots.. INTELIGENCIA ARTIFICIAL , v. 10, p. 1, 2006.

• VALENTE, A. ; BENJAMINS, V. R. ; BARROS, L. N. . A Library Of System-Derived Problem-Solving Methods For Planning. International Journal of Human-Computer Studies (Print) , v. 48-4, p. 417-447, 1998.

• RILLO, A. H. R. C. ; BARROS, L. N. ; BIANCHI, R. A. C. . Integrating Purposive Vision With Deliberative And Reactive Planning: Engineering Support For Robotics Application. Journal of the Brazilian Computer Society , v. 4-3, n.3, p. 52-60, 1998.

• BARROS, L. N. ; CESAR JUNIOR, R. M. (Org.) ; COZMAN, F. (Org.) ; COSTA, A. H. R. (Org.) . Workshop Proceedings: PRAI, WAICV and MAPPEL. 1. ed. São Paulo: Tec Art, 2000. v. 1. 223p .

• Machado, Warlles Carlos Costa ; dos Santos, Viviane Bonadia ; de Barros, Leliane Nunes ; DE MENEZES, MARIA VIVIANE . Specifying Preferences over Policies Using Branching Time Temporal Logic. In: Naldi, M.C., Bianchi, R.A.C.. (Org.). Lecture Notes in Computer Science. 222ed.: Springer Nature Switzerland, 2023, v. 14195, p. 128-143.

• LOVATTO, A. G. ; MAUA, D. D. ; BARROS, L. N. . Exploration Versus Exploitation in Model-Based Reinforcement Learning: An Empirical Study. Intelligent Systems. BRACIS 2022. Lecture Notes in Computer Science(). 1ed.Berlin: Springer, 2022, v. 13654, p. 30-44.

• LOVATTO, A. G. ; Bueno, T. P. ; BARROS, L. N. . Gradient Estimation in Model-Based Reinforcement Learning: A Study on Linear Quadratic Environments. In: André Britto; Karina Valdivia Delgado,. (Org.). Intelligent Systems 10th Brazilian Conference, BRACIS 2021, Virtual Event, November 29 ? December 3, 2021, Proceedings, Part I. 1ed.: , 2021, v. 13073, p. 33-47.

• COSTA, A. H. R. ; BARROS, L. N. ; SOLANGE, ; SICHMAN, J. S. ; NERI, H. . Trajetória acadêmica da Inteligência Artificial no Brasil.. In: Fabio G. Cozman; Guilherme Ary Plonski ; Hugo Neri. (Org.). Inteligência artificial: avanços e tendências. 1ed.São Paulo: , 2021, v. 1, p. 30-66.

• CONDORI, M. ; BARROS, L. N. ; Mauá. D. D. ; DELGADO, K. V. ; FREIRE, V. . Finding Feasible Policies for Extreme Risk-Averse Agents in Probabilistic Planning. In: Cerri, R.; Prati, R.C.. (Org.). Intelligent Systems. BRACIS 2020. Lecture Notes in Computer Science. Serie LNAI. 1ed.Berlin: Springer, 2020, v. 12320, p. 497-508.

• PASTOR, HENRIQUE DIAS ; BORGES, I. O. ; FREIRE, V. ; DELGADO, K. V. ; BARROS, L. N. . Risk-Sensitive Piecewise-Linear Policy Iteration for Stochastic Shortest Path Markov Decision Processes. In: Martínez-Villaseñor, L.; Herrera-Alcántara, O.; Ponce, H.; Castro-Espinoza, F.A.. (Org.). Mexican International Conference on Artificial Intelligence MICAI 2020: Advances in Soft Computing. 12ed.: , 2020, v. 12468, p. 383-395.

• SCARONI, R. ; Bueno, T. P. ; BARROS, L. N. ; Mauá. D. D. . On the Performance of Planning Through Backpropagation. In: Cerri, R.;Prati, R.C.. (Org.). Intelligent Systems. BRACIS 2020. Lecture Notes in Computer Science(). 1ed.Berlin: Springer, 2020, v. 12320, p. 1-12.

• Bueno, T. P. ; BARROS, L. N. ; Mauá. D. D. ; SANNER, S. . Deep Reactive Policies for Planning in Stochastic Nonlinear Domains. In: Pascal Van Hentenryck; Zhi-Hua Zhou. (Org.). The Thirty-Third AAAI Conference on Artificial Intelligence. 1ed.: Elsevier, 2019, v. 33, p. 7530-7537.

• BARROS, L. N. ; DELGADO, K. V. ; QUINTO, A. C. . IME cria Soluções para Planejamento Probabilístico. Agência USP de Notícias, Agência USP de Notícias, 05 jan. 2011.

• DIAS, DANIEL B. ; N. de Barros, Leliane ; V. DELGADO, KARINA ; MAUÁ, DENIS D. . Differentiable Planning with Indefinite Horizon. In: Symposium on Knowledge Discovery, Mining and Learning, 2022, Brasil. Anais do X Symposium on Knowledge Discovery, Mining and Learning (KDMiLe 2022). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2022. v. 10. p. 170-177.

• PASTOR, HENRIQUE DIAS ; Delgado, Karina Valdivia ; FREIRE, VALDINEI ; BARROS, LELIANE NUNES DE . Políticas Aproximadas e Parciais Sensíveis a Risco para o Controle da Propagação de Doenças Infecciosas. In: Encontro Nacional de Inteligência Artificial e Computacional, 2022, Brasil. Anais do XIX Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2022). Porto Alegre: Sociedade Brasileira de Computação - SBC, 2022. v. 19. p. 210.

• PENNACCHIO, ALAN A. ; BARROS, LELIANE N. DE ; MAUÁ, DENIS D. . Differentiable Planning for Optimal Liquidation. In: Brazilian Workshop on Artificial Intelligence in Finance, 2022, Brasil. Anais do I Brazilian Workshop on Artificial Intelligence in Finance (BWAIF 2022), 2022. p. 48-57.

• Santos, V. B. ; BARROS, L. N. ; PEREIRA, S. L. ; MENEZES, M. V. . Symbolic FOND Planning for Temporally Extended Goals. In: 2022 Workshop on Knowledge Engineering for Planning and Scheduling. An ICAPS'22 Workshop, 2022, evento online. Anais do Workshop on Knowledge Engineering for Planning and Scheduling (KEPS) at ICAPS 2022, 2022. p. 1-9.

• THOMAZ, GUILHERME ; MAUÁ, DENIS ; BARROS, LELIANE . A Contact Network-Based Approach for Online Planning of Containment Measures for COVID-19. In: Encontro Nacional de Inteligência Artificial e Computacional, 2020, Brasil. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2020). PORTO ALEGRE: Sociedade Brasileira de Computação - SBC, 2020. v. 17. p. 234-245.

• LOVATTO, A. G. ; Bueno, T. P. ; Mauá. D. D. ; BARROS, L. N. . Decision-aware model learning for actor-critic methods: when theory does not meet practice. In: Proceedings on 'I Can't Believe It's Not Better!' at NeurIPS Workshops, 2020. Proceedings of Machine Learning Research, 2020. v. 137. p. 76-86.

• LOVATTO, A. G. ; Bueno, T. P. ; BARROS, L. N. . Analyzing the Effect of Stochastic Transitions in Policy Gradients in Deep Reinforcement Learning. In: 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador, Bahia. Proceedings of the 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019. p. 413-418.

• M. BONADIA DOS SANTOS, VIVIANE ; NUNES DE BARROS, LELIANE ; DE MENEZES, MARIA VIVIANE . Symbolic Planning for Strong-Cyclic Policies. In: 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019, Salvador. 2019 8th Brazilian Conference on Intelligent Systems (BRACIS), 2019. p. 168-173.

• Franch, I. A. ; BARROS, L. N. ; Mauá. D. D. . When a Robot Reaches out for Human Help. In: 16th Ibero-American Conference on Artificial Intelligence (IBERAMIA), 2018, Trujillo, Perú. Proceedings of 16th Ibero-American Conference on Artificial Intelligence (IBERAMIA 2018), 2018.

• CONDORI, M. ; BARROS, L. N. ; DELGADO, K. V. . Occupation Measure Heuristics to Solve Stochastic Shortest Path with Dead Ends. In: Brazilian Conference on Intelligent Systems (BRACIS), 2018, São Paulo. Proceedings of the 7th Brazilian Conference on Intelligent Systems, 2018. v. 1. p. 1-8.

• FERREIRA, M. S. ; MENEZES, M. V. ; BARROS, L. N. . Plan Existence Verification as Symbolic Model Checking. In: XV Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2018, São Paulo. Anais do XV Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2018), 2018. v. 1. p. 116-127.

• MOREIRA, DANIEL AUGUSTO DE MELO ; Delgado, Karina Valdivia ; de Barros, Leliane Nunes . Risk-Sensitive Markov Decision Process with Limited Budget. In: 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017, Uberlandia. 2017 Brazilian Conference on Intelligent Systems (BRACIS), 2017. p. 109-114.

• Bueno, T. P. ; Mauá. D. D. ; COZMAN, F. ; BARROS, L. N. . Modeling Markov Decision Processes with Imprecise Probabilities Using Probabilistic Logic Programming. In: International Symposium on Imprecise Probability: Theories and Applications (ISIPTA), 2017, Lugano, Switzerland. Proceedings of Machine Learning Research (MLR), 2017. v. 62. p. 49-60.

• Santos, V. B. ; BARROS, L. N. . PACTL-SYM: um planejador baseado em Verificação Simbólica de Modelos. In: Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2017, Uberlândia. Anais do Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2017), 2017.

• Franch, I. A. ; BARROS, L. N. ; DELGADO, K. V. . Asking Human Help in Contingent Planning. In: First International Workshop on Teams in Multiagent Systems (TEAMAS 2017), 2017, São Paulo. Anais do First International Workshop on Teams in Multiagent Systems, 2017.

• BUENO, THIAGO P. ; MAUA, DENIS D. ; BARROS, LELIANE N. DE ; COZMAN, FABIO G. . Markov Decision Processes Specified by Probabilistic Logic Programming: Representation and Solution. In: 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife. 2016 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016. p. 337.

• REIS, W. A. S. ; DELGADO, K. V. ; BARROS, L. N. . Distributed and Asynchronous Policy Iteration for Bounded Parameter Markov Decision Processes. In: XIII Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2016, Recife. Anais do XIII Encontro Nacional de Inteligência Artificial e Computacional, 2016. p. 97-108.

• Franch, I. A. ; BARROS, L. N. . Using the Causal Graph to Enhance Translations to Solve Contingent Planning Problems. In: Brazilian Conference on Intelligent Systems (BRACIS), 2016, Recife, Pernambuco. Proceedings of the Brazilian Conference on Intelligent Systems, 2016. p. 67-72.

• SIMAO, T. D. ; Franch, I. A. ; Santos, V. B. ; BARROS, L. N. . Heurísticas para Detecção de Becos sem Saída em Planejamento Probabilístico. In: XIII Encontro Nacional de Inteligência Artificial e Computacional, 2016, Fortaleza, Ceará. Anais do XIII Encontro Nacional de Inteligência Artificial e Computacional, 2016.

• Vianna L G ; BARROS, L. N. ; SANNER, S. . Real-Time Symbolic Dynamic Programming for Hybrid MDPs. In: Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI), 2015, Austin, Texas, EUA. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI 2015). Palo Alto - California: AAAI Press, 2015. p. 3402-3408.

• SIMAO, T. D. ; BARROS, L. N. ; SILVA, F. L. . Planejamento Probabilístico com Becos Sem Saída. In: XII Encontro Nacional de Inteligência Artificial e Computacional (ENIAC 2015), 2015, Natal, RN. Anais do XII Encontro Nacional de Inteligência Artificial e Computacional, 2015.

• BARROS, L. N. ; LACERDA, D. A. . Aprendizado por reforço em lote: um estudo de caso para o problema de tomada de decisão em processos de venda. In: ENIAC 2014, 2014, São Carlos. Anais do ENIAC 2014, 2014.

• BARROS, L. N. ; Tisovec F ; DELGADO, K. V. . Problema de Intervenção em Redes Gênicas Modelado como um Processo de Decisão Markoviano Fatorado. In: ENIAC 2014, 2014, São Carlos. Anais do ENIAC 2014, 2014.

• VIANNA, L. G. R. ; SANNER, S. ; BARROS, L. N. . Continuous Real Time Dynamic Programming for Discrete and Continuous State MDPs. In: Brazilian Conference on Intelligent Systems (BRACIS), 2014, São Carlos. Anais do BRACIS 2014, 2014.

• FUSSUMA, F. L. ; DELGADO, K. V. ; BARROS, L. N. . An efficient solution for Bounded-Parameter Markov Decision Process. In: BRACIS 2014, 2014, São Carlos, SP. Anais do Bracis 2014, 2014.

• Herzig A ; MENEZES, M. V. ; BARROS, L. N. ; Wasserman, R. . On the revision of planning tasks. In: European Conference on Artificial Intelligence (ECAI 2014), 2014, Czech Republic. Proceedings of the European Conference on Artificial Intelligence, 2014. v. 263. p. 435-440.

• DELGADO, K. V. ; BARROS, L. N. ; SANNER, S. ; COZMAN, F. G. . Factored Markov Decision Process with Imprecise Transition Probabilities. In: Models and Paradigms for Planning under Uncertainty: a Broad Perspective Workshop at ICAPS, 2014, Portsmouth, New Hampshire, USA. Proceedings of the 1st Workshop on Models and Paradigms for Planning under Uncertainty: a Broad Perspective, 2014. p. 5-10.

• VIANNA, L. G. R. ; S. Sanner ; BARROS, L. N. . Bounded Approximate Symbolic Dynamic Programming for Hybrid MDPs.. In: 29th Conference on Uncertainty in Artificial Intelligence (UAI-13)., 2013, Bellevue, USA. In Proceedings of the 29th Conference on Uncertainty in Artificial Intelligence (UAI-13).. Corvallis, Oregon: AUAI Press, 2013. v. 29. p. 674-683.

• MENEZES, M. V. ; BARROS, L. N. ; PEREIRA, S. L. . Regressão de Ações Não Determinísticas: uma Solução Simbólica. In: X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC), 2013, Fortaleza, Brasil. Biblioteca Digital Brasileira de Computação (SBC): X Encontro Nacional de Inteligência Artificial e Computacional (ENIAC). Minas Gerais, Brasil, 2013. v. 29. p. 1-12.

• ZAMANI, Z. ; SANNER, S. ; DELGADO, K. V. ; BARROS, L. N. . Robust Optimization for Hybrid MDPs with State-dependent Noise. In: 23rd International Joint Conference on Artificial Intelligence (IJCAI), 2013, Beijing, China. Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI 2013). Menlo Park, California: AAAI Press / International Joint Conferences on Artificial Intelligence, 2013. v. 23. p. 2437-2443.

• HERRMANN, RICARDO G. ; BARROS, LELIANE N. DE . Algebraic Sentential Decision Diagrams in Symbolic Probabilistic Planning. In: 2013 Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. 2013 Brazilian Conference on Intelligent Systems, 2013. p. 175.

• SANTOS, FELIPE MARTINS DOS ; BARROS, LELIANE NUNES DE ; HOLGUIN, MIJAIL GAMARRA . Stochastic Bisimulation for MDPs Using Reachability Analysis. In: 2013 Brazilian Conference on Intelligent Systems (BRACIS), 2013, Fortaleza. 2013 Brazilian Conference on Intelligent Systems, 2013. p. 213.

• MENEZES, M. V. ; BARROS, L. N. ; PEREIRA, S. L. . Planning Task Validation. In: Scheduling and Planning Applications Wrokshop at ICAPS 2012, 2012, Atibaia - São Paulo. Proceedings of the Scheduling and Planning Applications Wrokshop, 2012. p. 48-55.

• BARROS, L. N. , de Barros L. N. ; FRANCO, F. O. ; DELGADO, K. V. . Processo de decisão markoviano com transição valorada por conjunto modelado como um jogo alternado de soma zero.. In: IX Encontro Nacional de Inteligência Artificial, 2012, Curitiba, Paraná. Anais do IX Encontro Nacional de Inteligência Artificial, 2012. v. 1. p. 1-12.

• VIANNA, L. G. R. ; BARROS, L. N. ; DELGADO, K. V. . On-line Simulation based Planning. In: PlanEx 2012, 2012, Atibaia - São Paulo. Proceedings of the Workshop on Planning and Plan Execution for Real-World Systems: Principles and Practices (ICAPS 2012), 2012. p. 29-33.

• S. Sanner ; DELGADO, K. V. ; BARROS, L. N. . Symbolic Dynamic Programming for Discrete and Continuous State MDPs. In: 27th Conference on Uncertainty in Artificial Intelligence (UAI), 2011, Barcelona. Proceedings of 27th Conference on Uncertainty in Artificial Intelligence (UAI), 2011.

• FRANCO, F. O. ; BARROS, L. N. ; DELGADO, K. V. ; COZMAN, F. . Jogos Markovianos Alternados com Probabilidades Imprecisas dadas por Conjuntos Credais.. In: VIII Encontro Nacional de Inteligência Artificial, 2011, Natal. Anais do VIII Encontro Nacional de Inteligência Artificial, 2011.

• MENEZES, M. V. ; PEREIRA, S. L. ; BARROS, L. N. . System Design Modification with Actions. In: Simpósio Brasileiro de Inteligência Artificial - SBIA 2010, 2010, São Bernardo do Campo. Lecture Notes in Artificial Inteligence. Berlim: Spring Verlag, 2010. v. 6404. p. 31-40.

• MENEZES, M. V. ; PEREIRA, S. L. ; BARROS, L. N. . Model Update in Action. In: Workshop on Knowledge Engineering for Planning and Scheduling, 2010, Toronto, Canadá. Proceedings of Workshop on Knowledge Engineering for Planning and Scheduling, 2010.

• DELGADO, K. V. ; C. Fang ; S. Sanner ; BARROS, L. N. . Symbolic Bounded Real-time Dynamic Programming. In: Simpósio Brasileiro de Inteligência Artificial - SBIA 2010, 2010, São Bernardo do Campo. Lecture Notes in Artificial Intelligence. Berlim: Springer Verlag, 2010. v. 6404. p. 193-202.

• DELGADO, K. V. ; BARROS, L. N. . Processos de Decisão Markovianos com Probabilidades Imprecisas: uma solução com programação em dois níveis. In: Congresso Brasileiro de Automática, 2010, Bonito, Mato Grosso do Sul. Anais do Congresso Brasileiro de Automática 2010, 2010.

• EBOLI, M. G. ; COZMAN, F. ; DELGADO, K. V. ; BARROS, L. N. . From Colored Petri Nets to Markov Decision Processes. In: Congresso Brasileiro de Automática, 2010, Bonito. Anais do Congresso Brasileiro de Automática 2010, 2010.

• DELGADO, K. V. ; BARROS, L. N. ; COZMAN, F. ; SHIROTA FILHO, R. . Representing and Solving Factored Markov Decision Processes with Imprecise Probabilities. In: 6th Imternational Symposium on Imprecise Probability: Theories and Applications, 2009, Durham. Eletronic Proceedings of the 6th Imternational Symposium on Imprecise Probability: Theories and Applications, 2009.

• DELGADO, K. V. ; S. Sanner ; BARROS, L. N. ; COZMAN, F. . Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities. In: 19th International Conference on Automated Planning and Schedulling - ICAPS, 2009, Thessaloniki (Grécia). Proceedings of the 19th International Conference on Automated Planning and Schedulling (ICAPS), 2009. p. 1-8.

• Pinheiro, W. R. ; BARROS, L. N. . Um tutor inteligente para o ensino/aprendizado de programação com técnicas de diagnóstico hierárquico baseado em modelos. In: Encontro Nacional de Inteligência Artificial - ENIA 2009, 2009, Bento Gonçalvez. XXX Congresso da Sociedade Brasileira de Computação, 2009. v. VII. p. 1089-1098.

• Coelho, R. S. P. ; BARROS, L. N. . Uso do erro de Bellman para acelerar a convergência da programação dinâmica em tempo real. In: Simpósio Brasileiro de Automação Inteligente - SBAI 2009, 2009, Brasília. Anais do XXIX Simpósio Brasileiro de Automação Inteligente, 2009.

• TREVIZAN, F. W. ; COZMAN, F. ; BARROS, L. N. . Mixed Probabilistic and Nondeterministic Factored Planning through Markov Decision Processes with Set-Valued Transitions. In: Workshop of ICAPS 2008 on A Reality Check for Planning and Scheduling Under Uncertainty, 2008, Sydney. Workshop Notes WS5 of ICAPS 2008, 2008.

• W. R. Pinheiro ; BARROS, L. N. ; DELGADO, K. V. . Programming Learning: a Hierarchical Model Based Diagnosis Approach. In: International Conference on Interactive Computer aided Blended Learning, 2008, Florianópolis. Proceedings of International Conference on Interactive Computer aided Blended Learning, 2008.

• MACHION, A. C. G. ; BARROS, L. N. ; Valdivia-Delgado, Karina . Ontologies and conceptual maps in learning objects: discovery and analysis. In: International Conference on Interactive Computer aided Blended Learning, 2008, Florianópolis. Proceedings of the International Conference on Interactive Computer aided Blended Learning (ICBL), 2008.

• PEREIRA, S. L. ; BARROS, L. N. ; COZMAN, F. . Strong Probabilistic Planner. In: International Conference on Automated Planning and Schedulling, 2008, Sydney. Poster of ICAPS 2008, 2008.

• PEREIRA, S. L. ; BARROS, L. N. ; COZMAN, F. . Planning for Strong Policies. In: 7th Mexican International Conference on Artificial Intelligence - MICAI 2008, 2008, Mexico City. Lecture Notes in Artificial Intelligence - Proceedings of the 7th Mexican International Conference on Artificial Intelligence, 2008.

• TREVIZAN, F. W. ; COZMAN, F. ; BARROS, L. N. . Planning under Risk and Knightian Uncertainty. In: International Joint Conferences on Artificial Intelligence, 2007, Hyderabad. IJCAI-07 Proceedings, 2007. v. 20. p. 2023-2028.

• SHIROTA FILHO, R. ; COZMAN, F. ; TREVIZAN, F. W. ; CAMPOS, C. P. ; BARROS, L. N. . Multilinear and integer programming for Markov decision processes with imprecise probabilities. In: Fifth International Symposium on Imprecise Probability: Theories and Applications (ISIPTA), 2007, Praga. Proceedings of the Fifth International Symposium on Imprecise Probability: Theories and Applications (ISIPTA), 2007. v. 1. p. 395-404.

• Pinheiro, W. R. ; BARROS, L. N. ; Kon, F. . AAAP: Ambiente de Apoio ao Aprendizado de Programação. In: XVIII Simpósio Brasileiro de Informática na Educação, 2007, São Paulo. Anais do XVIII Simpósio Brasileiro de Informática na Educação, 2007.

• PEREIRA, S. L. ; BARROS, L. N. . Um Verificador de Modelos para Planejamento Automatizado com Metas de Alcançabilidade Estendidas. In: Simpósio Brasileiro de Métodos Formais, 2007, Ouro Preto. 10o. Simpósio Brasileiro de Métodos Formais, 2007.

• TREVIZAN, F. W. ; COZMAN, F. ; BARROS, L. N. . Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes. In: IBERAMIA/SBIA International Joint Conference, 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence - Proceedings of IBERAMIA/SBIA International Joint Conference. Amsterdam: Springer-VERLAG, 2006. v. 4140. p. 502-511.

• DELGADO, K. V. ; BARROS, L. N. . Diagnostic of Programs for Programming Learning Tools. In: IBERAMIA/SBIA International Joint Conference, 2006, Ribeirão Preto. Lecture Notes in Artificial Intelligence - Proceedings of IBERAMIA/SBIA International Joint Conference. Amterdam: Springer-VERLAG, 2006. v. 4140. p. 7-16.

• BARROS, L. N. ; DELGADO, K. V. . Aprendizado de Programação. In: XIV Workshop sobre Educação em Computação, 2006, Campo Grande. Anais do XIV Workshop sobre Educação em Computação, 2006.

• VAQUERO, T. ; TONIDANDEL, F. ; BARROS, L. N. ; SILVA, J. R. . On the Use of UML.P for Modeling a Real Application as a Planning Problem. In: International Conference on Automated Planning and Schedulling (ICAPS), 2006, Cumbria, UK. Proceedings of the Sixteenth International Conference on Automated Planning and Scheduling (ICAPS), 2006. p. 434-437.

• BARROS, L. N. ; DELGADO, K. V. . Model based Diagnosis of Student Programs. In: 3rd Monet Workshop Model-Based Systems, 2006, Trento. Proceedings of the 3rd Monet Workshop Model-Based Systems, Workhop W31 of the ECAI 2006, 2006.

• Kepler F ; PAZ-TRILLO, C. ; RIANI, J. ; Ribeiro M. M. ; Valdivia-Delgado, Karina ; BARROS, L. N. ; Wasserman, R. . Classifying Ontologies. In: 3rd workshop on Ontologies and their Applications (WONTO), 2006, Ribeirão Preto. In Proceedings of the 2nd Workshop on Ontologies and their Applications (WONTO'2006), 2006.

• SILVA, F. S. C. ; Wasserman, R. ; MELO, A. C. V. ; BARROS, L. N. ; FINGER, M. . Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions. In: International Conference on Informatics in Control, Automation and Robotics, 2005, Barcelona. Proceedings of ICINCO - 2nd International Conference on Informatics in Control, Automation and Robotics, 2005. p. 479-485.

• TREVIZAN, F. W. ; BARROS, L. N. . Low Cost Experiments in Cognitive Robotics. In: Conferencia de la Asociacion Espanola para la Inteligencia Artificial, 2005, Santiago de Compostela. XI Conferencia de la Asociacion Espanola para la Inteligencia Artificial, 2005. v. II. p. 131-140.

• TREVIZAN, F. W. ; BARROS, L. N. . Robótica Cognitiva: uma aplicação de planejamento num ambiente com informação incompleta.. In: VII Simpósio Brasileiro de Automação Industrial (SBAI), 2005, São Luís. Anais do VII SBAI, 2005.

• LEMOS, M. ; LOPES, R. D. ; BARROS, L. N. . Avaliação do Ensino-Aprendizagem de Programação usando abordagem baseada em Padrões Elementares de Programação. In: XXXIII Congresso Brasileiro de Ensino de Engenharia (COBENGE 2005), 2005, Campina Grande. XXXIII Congresso Brasileiro de Ensino de Engenharia (COBENGE2005), 2005.

• BARROS, L. N. ; DELGADO, K. V. ; MOTA, A. ; MATSUMOTO, P. . A Tool for Programming Learning with Pedagogical Patterns. In: Eclipse Technology eXchange eTX at OOPSLA 2005, 2005, San Diego. Eclipse Technology eXchange eTX at OOPSLA - ACM Library, 2005.

• PEREIRA, S. L. ; BARROS, L. N. . Formalizing planning algorithms: a logical framework for the research on extending the classical planning approach. In: Workshop on Connecting Planning Theory with Practice at ICAPS2004 (AIPS), 2004, Whistler, Britsh Columbia. Proceedings of Workshop on Connecting Planning Theory with Practice at ICAPS2004 (AIPS). Menlo Park - California: AAAI Press, 2004.

• PEREIRA, S. L. ; BARROS, L. N. . Planning with Abduction: a logical framework to explore extensions to classical planning. In: 17o. Simpósio Brasileiro de Inteligência Artificial - SBIA - SBC, 2004, São Luiz, Maranhão. Lecture Notes in Artificial Intelligence. Berlin: Springer Verlag, 2004. v. 3171. p. 62-72.

• PEREIRA, S. L. ; BARROS, L. N. . High-level Robot Programming: an abductive approach using event calculus. In: Simpósio Brasileiro de Inteligência Artificial, 2004, São Luiz, Maranhão. Lecture Notes in Artificial Intelligence. Berlin: Springer, 2004. v. 3171. p. 73-82.

• DELGADO, K. V. ; BARROS, L. N. . ProPAT: A Programming ITS Based on Pedagogical Patterns. In: 7th International Conference on Intelligent Tutoring Systems (ITS 2004), 2004, Maceió. Lecture Notes in Computer Science, 2004. v. 3220. p. 812-814., 2004. v. 3220. p. 812-814.

• BARROS, L. N. ; DELGADO, K. V. ; MACHION, A. C. G. . An ITS for Programming to explore Practical Reasoning. In: Simpósio Brasileiro de Informática na Educação (SBC), 2004, Manaus. Anais do Simpósio Brasileiro de Informática na Educação. Porto Alegre: Editora SBC, 2004. p. 207-216.

• BENEDITTO, M. E. M. ; BARROS, L. N. . Using Concept Hierarchies in Knowledge Discovery. In: Simpósio Brasileiro de Inteligência Artificial (SBC), 2004, São Luis. Lecture Notes in Computer Sciences. Berlin: Springer Verlag, 2004. v. 3171. p. 255-265.

• LEMOS, M. ; BARROS, L. N. . Modeling plans and goals of Programming in an Intelligent Tutoring System. In: IJCAI'2003 Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems (KRR-5), 2003, Acapulco. Proceedings of the IJCAI Workshop on Knowledge Representation and Automated Reasoning for E-Learning Systems, 2003.

• LEMOS, M. ; BARROS, L. N. . Uma Biblioteca de Componentes Cognitivos e Padrões de Programas de Suporte ao Aprendizado de Programação. In: XI Workshop de Educação em Computação - WEI' 2003 (SBC), 2003, Campinas. Anais do XI Workshop de Educação em Computação, 2003.

• BARROS, L. N. ; IAMAMOTO, E. M. I. . Planejamento de Tarefas em Robótica Cognitiva. In: IV Simpósio Brasileiro de Automação Industrial, 2003, Bauru, São Paulo. Anais do IV Simpósio Brasileiro de Automação Industrial, 2003.

• BARROS, L. N. ; PEREIRA, S. L. . Cognitive Robotics High-Level Robot Programs Based on Abductive Event Calculus. In: Third International Cognitive Robotics Workshop - CogRob2002 (AAAI 2002 Workshop WS7), 2002, Alberta. AAAI Working Notes of the Third International Cognitive Robotics Workshop, 2002.

• PEREIRA, S. L. ; BARROS, L. N. . Eficiência num Planejador Abdutivo. In: Logic Applied to Technology, 2001, São Paulo. Proceedings of Congress on Logic Applied to Technology, 2001.

• BARROS, L. N. ; SANTOS, E. T. ; Valente, V. C. P. N. . Projetando uma Ontologia de Geometria Descritiva. In: IV Congresso Internacional de Engenharia Gráfica nas Áreas e no Desenho - Graphica 2001, 2001, São Paulo - SP. Anais do IV Congresso Internacional de Engenharia Gráfica nas Áreas e no Desenho, 2001. p. 918-928.

• BARROS, L. N. ; SANTOS, P. E. . The Nature of Knowledge in an Abductive Event Calculus Planner. In: Knowledge Engineering and Knowledge Management - EKAW 2000, 2000, Juan-les-Pins - France. Lecture Notes in Computer Science on Knowledge Engineering and Knowledge Management - Methods, Models, and Tools. Paris: Springer, 2000. v. 1937. p. 328-343.

• BARROS, L. N. ; SANTOS, E. T. . Um Estudo da Modelagem do Domínio da Geometria Descritiva para a Construção de um Sistema Tutor Inteligente. In: XI Simpósio Brasileiro de Informática Educativa - SBIE 2000, 2000, Maceió - AL. Anais do XI Simpósio Brasileiro de Informática Educativa - SBIE 2000. Maceió: Universidade Federal de Alagoas, 2000. p. 259-266.

• BARROS, L. N. ; LEMOS, M. ; BERNAL, V. B. ; WAINER, J. . Model Based Diagnosis To Network Communication Faults. In: Third International Workshop on Artificial Intelligence in Distributed Information Networking - AiDIN'99, 1999, Orlando -Flórida. Technical Notes of AAAI Press. Orlando - Flórida - EUA: AAAI Press - American Association for Artificial Intelligence, 1999. v. WS-99. p. 57-62.

• BERNAL, V. B. ; BARROS, L. N. ; LEMOS, M. ; WAINER, J. . Fault Diagnosis for Local Area Network Environments. In: Latin Network Operations and Manegement Symposium, 1999, Rio de Janeiro. Proceedings of Latin Network Operations and Manegement Symposium, 1999.

• LEMOS, M. ; BARROS, L. N. ; BERNAL, V. B. ; WAINER, J. . Building reusable knowledge models for the communication network domain. In: Fourth Australian Knowledge Acquisition Workshop - AKAW 99, 1999, Sidney - Austrália. Proceedings of the Fourth Australian Knowledge Acquisition Workshop (AKAW),. Sydney, 1999. p. 381-390.

• TSUNETO, R. ; HENDLER, J. ; NAU, D. ; BARROS, L. N. . Matching Problem Features With Task Selection For Better Performance In HTN Planning. In: Workshop on Knowledge Engineering and Acquisition for Planning: Bridging Theory and Practice held in conjunction with the AI Planning Sistems (AIPS), 1998, Pittsburgh, Pennsylvania. Technical Notes by AAAI Press - WS-98-03. CMU, Pitsburgh - EUA: AAAI Press, 1998. p. 85-93.

• BARROS, L. N. ; HENDLER, J. ; BENJAMINS, R. V. . Par-KAP: A Knowledge Acquisition Tool For Building Practical Planning Systems. In: International Joint Artificial Intelligence Conference - IJCAI, 1997, Nagoya - Japão. Proceedings of the International Joint Artificial Intelligence Conference (IJCAI). Nagoya, Japan: Morgan Kaufmann, 1997. p. 1246-1251.

• BARROS, L. N. ; RILLO, M. . Uma Biblioteca de Métodos de Resolução de Problemas de Planejamento Para Apoio À Aquisição de Conhecimento. In: I Encontro Nacional de Inteligência Artificial (ENIA 1997), 1997, Brasília. Anais do I Encontro Nacional de Inteligência Artificial. Brasília, Brasil, 1997.

• BARROS, L. N. ; HENDLER, J. ; BENJAMINS, R. V. . Par-KAP: a knowledge acquisition tool for building practical planning systems. In: Ninth Dutch Conference on Artificial Intelligence, NAIC'97, 1997, Antwerpen. Proceedings of the Ninth Dutch Conference on Artificial Intelligence, NAIC'97, 1997. p. 137-148.

• BENJAMINS, R. ; BARROS, L. N. ; VALENTE, A. . Constructing Planners Through Problem Solving Methods. In: International Knowledge Acquisition Workshop, 1996, Banff. Proceedings of the Internacional Knowledge Acquisition Workshop. Banff, Canada.: Editores: B. Gaines and M. Musen, editors,, 1996. p. 14.1-14.20.

• BARROS, L. N. ; VALENTE, A. ; BENJAMINS, R. . Modeling planning tasks. In: Third International Conference on Artificial Intelligence Planning Systems (AIPS), 1996, Edinburgh, Scotland. Proceedings of the Third International Conference on Artificial Intelligence Planning Systems. Menlo Park, California: AAAI Press, 1996. p. 11-18.

• BARROS, L. N. ; Julia, R. M. S. ; Lopes, C. R. . A Compilação como uma Ferramenta para Geração de Esquemas de Representação. In: 4o. Simpósio Brasileiro de Inteligência Artificial, 1987, Uberlândia. MG. Anais do 4o. Simpósio Brasileiro de Inteligência Artificial, 1987. v. 1. p. 12-107.

• BARROS, L. N. ; Pereira, A. E. C. . Anatomia de um Sistema Perito. In: 2o Simpósio Brasileiro de Inteligência Artificial, 1985, São José dos Campos, SP. Anais do 2o Simpósio Brasileiro de Inteligência Artificial, 1985. v. 1. p. 81-84.

• MENEZES, M. V. ; BARROS, L. N. . Model Update for Automated Planning. In: AAAI Doctoral Consortium 2011, 2011, São Francisco. 25th Association for the Advancement of Artificial Intelligence. Menlo Park, California: AAAI Press, 2011. v. 25. p. 1-3.

• DELGADO, K. V. ; BARROS, L. N. . Factored Markov Decision Processes with Imprecise Probabilities: a multilinear solution. In: Doctoral Consortium of ICAPS 2008, 2008, Sydney. Proceedings of Doctoral Consortium of ICAPS 2008, 2008.

• WAINER, J. ; BARROS, L. N. ; BERNAL, V. B. ; LEMOS, M. . Network Fault Diagnosis: a Model Based Approach. In: Network Operations and Management Symposium - NOMS 2000, 2000, Honollu - Hawaii. Proceedings of Network Operations and Management Symposium - NOMS 2000, 2000. p. 969-970.

• BARROS, L. N. ; Hashimoto, R. F. ; DELGADO, K. V. ; SILVA, C. F. ; TISOVEC, F. A. C. . Robust Intervention on Genetic Regulatory Networks Using Symbolic Dynamic Programming. In: IJCAI 2015 Workshop: Advances in Bioinformatics and Artificial Intelligence: bridging the Gaps, 2015, Buenos Aires, Argentina. Workshop Notes of the International Workshop Advances in Bioinformatics and Artificial Intelligence: bridging the Gaps, 2015. v. 1. p. 54-55.

• PEREIRA, S. L. ; BARROS, L. N. . Using α-CTL to Specify Complex Planning Goals. In: WoLLIC '08: 15th international workshop on Logic, Language, Information and Computation, 2008, Edinburgh, Scotland. Proceedings of the 15th international workshop on Logic, Language, Information and Computation, 2008. v. 16. p. 423-423.

• Santos, V. B. ; BARROS, L. N. ; PEREIRA, S. L. ; Menezes, M. V. . Symbolic FOND planning for temporally extended goals. 2022. (Apresentação de Trabalho/Conferência ou palestra).

• BARROS, L. N. ; PEREIRA, S. L. . Tutorial em Planejamento Automatizado (4 horas)- SBIA 2010. 2011. (Apresentação de Trabalho/Conferência ou palestra).

• BARROS, L. N. . Tutorial em Planejamento em Inteligência Artificial (3 horas) - SBAI 2009. 2009. (Apresentação de Trabalho/Conferência ou palestra).

• BARROS, L. N. ; CESAR JUNIOR, R. M. ; COZMAN, F. ; COSTA, A. H. R. . Workshop Proceedings - PRAI, WAICV, MAPPEL. São Paulo: Tec Art Editora, 2000 (Edição de Anais).

Outras produções

Projetos de pesquisa

• 2017 - Atual

  Redes Bayesianas Especificadas em Linguagens Formais, Descrição: Redes bayesianas permitem representar modelos probabilísticos de for- ma concisa aproveitando-se de independências entre variáveis. No en- tanto, muitas propriedades de um domínio são capturadas apenas no ní- vel dos eventos. Tais propriedades, chamadas de estrutura local, incluem determinismo, independência sensível a contexto, e replicação. Inferência em redes bayesianas pode ser agilizada explorando a estrutura local; para isso, é necessária uma linguagem formal que permita a representação de tais propriedades e auxilie no raciocínio probabilístico. Este projeto visa investigar diferentes linguagens formais para especificação de redes baye- sianas com estrutura local abundante. Em particular, investigaremos lin- guagens relacionais e mais, especificamente, linguagens temporais. Nosso objetivo é encontrar linguagens que sejam convenientes para descrição de conhecimento e que permitam realizar inferência de forma mais rápida aproveitando-se da estrutura local.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (2) Doutorado: (1) . , Integrantes: Leliane Nunes de Barros - Integrante / Thiago Pereira Bueno - Integrante / Denis Deratani Mauá - Coordenador / Fabio Gagliardi Cozman - Integrante / João de Santana Brito Júnior - Integrante / Igor Cataneo Silveira - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2016 - Atual

  Armazenagem, Modelagem e Análise de Sistemas Dinâmicos para Aplicações e-Science, Descrição: A surpreendente e rápida evolução da tecnologia deu origem a uma nova era de descoberta de conhecimento científico. Essa nova era da ciência, conhecida como e-Science é descrita como uma nova ciência computacional e composta por uma equipe multidisciplinar que exige novas metodologias para o armazenamento, modelagem e análise de dados. Em particular, o desenvolvimento de sistemas de software transacionais e analíticos para aplicações e-Science visto como sistemas dinâmicos apresenta novos desafios computacionais. Entre eles, destacam-se os desafios dos processos de descoberta de conhecimento científico que, na maioria das vezes, envolvem mudanças frequentes de requisitos para armazenagem, modelagem e análise de dados. A necessidade de abordar sistemas dinâmicos científicos para tratar complexas aplicações de e-Science despertou a comunidade científica para a necessidade de sistemas de software robustos e evolutivos para atender a esses novos desafios. Sistema dinâmico é um arcabouço matemático clássico para representar fenômenos que evoluem no tempo e que são de grande interesse na ciência. Neste projeto, nosso principal objetivo é desenvolver modelos computacionais e metodologias para apoiar as aplicações e-Science. Nossa pesquisa fundamental cobre três principais áreas: armazenagem, modelagem e análise de sistemas dinâmicos. Essas áreas de pesquisa são importantes e relevantes para o Programa e-Science FAPESP já que muitos dos desafios atuais de e-Science estão relacionadas ao tratamento adequado dos sistemas dinâmicos. Assim, pretendemos desenvolver e aplicar metodologias computacionais que irão facilitar o desenvolvimento de aplicações e-Science contribuindo assim para a melhoria do conhecimento científico mundial, respeitando as restrições legais e éticas na gestão de dados... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: / Mestrado profissional: (5) / Doutorado: (3) . , Integrantes: Leliane Nunes de Barros - Integrante / Karina Valdivia Delgado - Integrante / Ronaldo Fumio Hashimoto - Integrante / Marcel Parolin Jackowski - Integrante / Paulo Sergio Graziano Magalhães - Integrante / Roberto Hirata Junior - Integrante / André Fujita - Integrante / João Eduardo Ferreira - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2011 - 2013

  Programação Dinâmica em Tempo Real Fatorada, Descrição: Projeto Universal. RTDP (Real-time dynamic programming) resolve processos de decisão Markovianos (MDPs), quando o estado inicial e estados metas são conhecidos. Ao visitar(e atualizar), apenas uma fração do espaço de estados, esta abordagem pode ser usada para resolver problemas com espaço de estado grandes intratáveis. A fim de melhorar o desempenho do algoritmo RTDP, uma variante com base em representação simbólica foi proposta, chamada de sRTDP (symbolic RTDP). Abordagens baseadas em RTDP tradicionais trabalham melhor em problemas com matrizes de transição esparsas, em que muitas vezes essas abordagens podem atingir de forma eficiente uma e-convergência sem visitar todos os estados; no entanto, em problemas com matrizes de transição densas, em que a maioria dos estados são alcançáveis em um passo, o sRTDP mostra uma vantagem sobre o RTDP tradicional em até três ordens de magnitude, como demonstramos em trabalhos anteriores. Também propomos uma nova variante do sRTDP baseada em BRTDP (Bounded RTDP), chamada de sBRTDP, a qual converge rapidamente quando comparado com variantes do RTDP, uma vez que sBRTDP realiza menos atualizações, fazendo uma escolha melhor do próximo estado a ser visitado. O objetivo desse projeto é o de estudar melhorias para as abordagens RTDP baseadas em representação simbólica, tanto exatas quanto aproximadas para resolver problemas modelados como MDPs, em que são conhecidos os estados iniciais e metas, a fim de resolver problemas envolvendo milhares de estados. Assim, será possível resolver problemas reais, como por exemplo, o planejamento de tráfego urbano e automação de linhas de montagem industrial. Além disso, pretendemos explorar soluções baseadas em RTDP de problemas envolvendo variáveis binárias e contínuas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Integrante / Karina Valdivia Delgado - Coordenador / Mijail Gamarra - Integrante.

• 2010 - 2012

  Processo de Decisão Markoviano com Probabilidades Imprecisas, Descrição: Em trabalhos anteriores, foram propostas soluções eficientes, aproximadas e exatas, para resolver problemas de tomada de decisão sequencial com probabilidades imprecisas nos efeitos das ações. Nesse projeto, pretendemos investigar novos critérios de avaliação de soluções. Além disso, pretendemos investigar soluções para MDPs de primeira ordem, com probabilidades imprecisas e sua ligação com técnicas conhecidas de aprendizagen por reforço.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Leliane Nunes de Barros - Coordenador / Valdivia-Delgado, Karina - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2008 - 2012

  Lógica Probabística: Fundamentos e Aplicações Computacionais, Descrição: Projeto Temático FAPESP, processo 2008/03995-5, em Lógica e Probabilidade, com aplicações em Planejamento Probabilístico e Raciocínio Espacial, sob coordenação de Marcelo Finger, e pesquisadores principais, Leliane Nunes de Barros e Fábio Cozman. Resumo: Das possíveis formas de raciocínio que um agente racional pode utilizar, o raciocínio lógico e as inferências probabilisticas estão entre as que recebem maior destaque na prática, sendo incorporadas em modelos e em programas de computador para a realização das mais diversas tarefas. No entanto, as interações possíveis entre estas formas de raciocínio ainda não são muito bem compreendidas, tanto do ponto de vista teórico como no de aplicações computacionais. Do ponto de vista teórico, ainda está-se por estabelecer, de forma equívoca, relações entre valores verdades e distribuições de probabilidades sobre fórmulas. Do ponto de vista de aplicações, ainda está-se tentanto estabelecer a fronteira entre quando empregar inferências lógicas e quando empregar inferências estatísticas. Este projeto pretende investigar estas questões, tanto do aspecto teórico quanto do aspecto de aplicações computacionais. Abordaremos a área de satisfatibilidade probabilística, lógicas de descrição probabilísticas para web semântica, planejamento probabilístico e análise de cenas. Estre projeto pretende desenvolver softwares que abordem os temas investigados e disponibilizá-los através de uma licença de software livre dentro do escopo da Divisão de Inteligência Artificial do Centro de Competência em Software Livre da USP.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (4) . , Integrantes: Leliane Nunes de Barros - Integrante / Paulo Eduardo Santos - Integrante / Fabio Cozman - Integrante / Anna Helena Reali Costa - Integrante / Karina Valdivia Delgado - Integrante / Renata Wasserman - Integrante / Marcelo Finger - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro.

• 2005 - 2008

  Lógica probabilística e independência, Descrição: Este projeto investiga a união de métodos lógicos e probabilísticos, focando sobretudo no desenvolvimento de algoritmos de inferência. Esta união é um tema antigo em Inteligência Artificial: uma linguagem unificadora teria grande impacto em representação de conhecimento, aprendizado de regras, recuperação e busca de informações. O projeto se propõe a construir uma lógica probabilística que seja associada a relações de probabilidade e obter algoritmos de inferência para a lógica resultante. Aplicações em Robótica Cognitiva e na construção da Web Semântica (Semantic Web) são estudadas no projeto além de problemas de planejamento sob incerteza.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) / Doutorado: (2) . , Integrantes: Leliane Nunes de Barros - Integrante / Fabio Cozman - Coordenador., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 6

• 2003 - 2005

  BIBO Intelligent Search Based on Ontologies, Descrição: The main goal of the project is to study and evaluate new techniques that have been developped in the context of the Semantic-web. The idea behind the Semantic-web is that, instead of having web content available as natural language texts together with HTML, one could use a "semantic" mark-up language in order to make these contents available for automatic processing. One of the key elements for these new mark-up languages is the use of formally described domain ontologies. The use of ontologies is seen now in Artificial Intelligence as the key to efficient search and retrieval of data. In this context, we are developping several small systems using ontologies. One application we have in mind is the use of CNPq's Lattes CV's, which can be obtained in XML format, in order to search for publications and research groups.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (2) / Doutorado: (1) . , Integrantes: Leliane Nunes de Barros - Integrante / Flavio Soares Correa da Silva - Integrante / Renata Wasserman - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 4

• 2003 - 2005

  CCC-AHIA - Cooperação e Compartilhamento de Conhecimento entre Agentes Heterogêneos Inteligentes e Autônomos, Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Mestrado acadêmico: (2) . , Integrantes: Leliane Nunes de Barros - Integrante / Flavio Soares Correa da Silva - Coordenador / Renata Wasserman - Integrante / Ana Cristina Vieira de Melo - Integrante / Marcelo Finger - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Estado de São Paulo - Auxílio financeiro., Número de produções C, T & A: 10

• 2000 - 2003

  MAPPEL - Multi-Agent Collaborative and Adversarial Perception, Planning, Execution, and Learning, Descrição: Resolver problemas em domínios complexos geralmente envolve múltiplos agentes, raciocínio sobre um mundo dinâmico, planejamento de atividades, necessidade de aprender através de realimentações e experiências prévias, além de interações no mundo por meio de percepção e ação. O projeto MAPPEL visa investigar um espectro concreto de temas relevantes para o desenvolvimento de times de agentes completos atuando em um ambiente dinâmico, eventualmente adversário e com exigências de atuação em tempo real. O interesse consiste em investigar e desenvolver agentes robóticos que sejam: autônomos (capazes de raciocinar sobre suas experiências e tomar suas próprias decisões); eficientes (capazes de atingir metas específicas sob restrições de tempo e recursos, através da integração de planejamento reativo e deliberativo de atividades); cooperativos (capazes de colaborar com outros agentes para resolver problemas e realizar tarefas muito complexas em relação às suas capacidades individuais); adaptativos (capazes de aprender conforme adquirem mais experiência, através do refinamento de suas preferências de seleção de ações individuais e colaborativas). NSF / CNPq - ProTeM CC Proc. Inst. No. 68.0033/99-8. Número do Processo Individual: 48.0320/99-3. Início do Processo: Junho de 2000 Duração: 3 anos. Valor global da concessão no Brasil: R$ 125.841,39 e bolsas DTI .. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (16) / Especialização: (2) / Mestrado acadêmico: (5) / Mestrado profissional: (0) / Doutorado: (9) . , Integrantes: Leliane Nunes de Barros - Integrante / J. Wainer - Integrante / Anna Helena Reali Costa - Coordenador / Jaime Simão Sichman - Integrante / Carlos Henrique Costa Ribeiro - Integrante / Manuela Veloso - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Cooperação., Número de produções C, T & A: 7

Projetos de desenvolvimento

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador.Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 10 / Número de orientações: 4

• 2003 - 2006

  Propat: um plugin Eclipse para ensino de programação, Descrição: Construção de um plugin Eclipse para ensino de programação baseada em Padrões Elementares de Programação e integrado a um sistema de diagnóstico baseado em modelos de programação.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (1) . , Integrantes: Leliane Nunes de Barros - Coordenador., Financiador(es): IBM - Auxílio financeiro., Número de produções C, T & A: 13

Prêmios