| 2008 |
Trabalho em evento |
Strong Probabilistic Planner
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS; Fabio COZMAN
International Conference on Automated Planning and Schedulling
|
PS
Artificial Intelligence
|
| 2008 |
Trabalho em evento |
Planning for Strong Policies
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS; Fabio COZMAN
7th Mexican International Conference on Artificial Intelligence - MICAI 2008
|
SH
Business; Management and Accounting (miscellaneous)
|
| 2008 |
Trabalho em evento |
Factored Markov Decision Processes with Imprecise Probabilities: a multilinear solution
Karina Valdivia DELGADO; Leliane Nunes De BARROS
Doctoral Consortium of ICAPS 2008
|
PS
Artificial Intelligence
|
| 2008 |
Trabalho em evento |
Using α-CTL to Specify Complex Planning Goals
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS
WoLLIC '08: 15th international workshop on Logic; Language; Information and Computation
ISBN 13670751
|
PS
Artificial Intelligence
|
| 2008 |
Artigo em periódico |
A logic-based agent that plans for extended reachability goals
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS
Autonomous Agents and Multi-Agent Systems
DOI 10.1007/s10458-008-9034-0
ISSN 1387-2532
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
Planning under Risk and Knightian Uncertainty
Felipe Werndl TREVIZAN; Fabio COZMAN; Leliane Nunes De BARROS
International Joint Conferences on Artificial Intelligence
|
PS
Artificial Intelligence
|
| 2007 |
Trabalho em evento |
Multilinear and integer programming for Markov decision processes with imprecise probabilities
Ricardo Shirota FILHO; Fabio COZMAN; Felipe Werndl TREVIZAN; Cassio Polpo De CAMPOS; Leliane Nunes De BARROS
Fifth International Symposium on Imprecise Probability: Theories and Applications (ISIPTA)
ISBN 9788086742205
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
AAAP: Ambiente de Apoio ao Aprendizado de Programação
Wellington R PINHEIRO; Leliane Nunes De BARROS; Fabio KON
XVIII Simpósio Brasileiro de Informática na Educação
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Trabalho em evento |
Um Verificador de Modelos para Planejamento Automatizado com Metas de Alcançabilidade Estendidas
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS
Simpósio Brasileiro de Métodos Formais
|
PS
Computer Science (miscellaneous)
|
| 2007 |
Artigo em periódico |
Robótica Cognitiva: programação baseada em lógica para controle de robôs
Felipe Werndl TREVIZAN; Leliane Nunes De BARROS
Controle & Automação
DOI 10.1590/s0103-17592007000200005
ISSN 1807-0345
|
PS
Computer Science (miscellaneous)
|
| 2006 |
Trabalho em evento |
Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes
Felipe Werndl TREVIZAN; Fabio COZMAN; Leliane Nunes De BARROS
IBERAMIA/SBIA International Joint Conference
DOI 10.1007/11874850
ISBN 9783540454625
|
SH
Management Science and Operations Research
|
| 2006 |
Trabalho em evento |
Diagnostic of Programs for Programming Learning Tools
Karina Valdivia DELGADO; Leliane Nunes De BARROS
IBERAMIA/SBIA International Joint Conference
DOI 10.1007/11874850
ISBN 9783540454625
|
PS
Computer Science (miscellaneous)
|
| 2006 |
Trabalho em evento |
Aprendizado de Programação
Leliane Nunes De BARROS; Karina Valdivia DELGADO
XIV Workshop sobre Educação em Computação
|
PS
Computer Science (miscellaneous)
|
| 2006 |
Trabalho em evento |
On the Use of UML.P for Modeling a Real Application as a Planning Problem
Tiago VAQUERO; Flavio TONIDANDEL; Leliane Nunes De BARROS; José Reinaldo SILVA
International Conference on Automated Planning and Schedulling (ICAPS)
DOI 10.5555/3037104.3037173
|
PS
Computer Science (miscellaneous)
|
| 2006 |
Trabalho em evento |
Model based Diagnosis of Student Programs
Leliane Nunes De BARROS; Karina Valdivia DELGADO
3rd Monet Workshop Model-Based Systems
|
PS
Artificial Intelligence
|
| 2006 |
Trabalho em evento |
Classifying Ontologies
Fabio KEPLER; Paz Trillo C; Riani J; Marcio Moretto RIBEIRO; Valdivia Delgado KARINA et al
3rd workshop on Ontologies and their Applications (WONTO)
|
PS
Computer Science (miscellaneous)
|
| 2006 |
Artigo em periódico |
Designing logic-based robots.
Felipe Werndl TREVIZAN; Leliane Nunes De BARROS; Flavio Soares Correa Da SILVA
INTELIGENCIA ARTIFICIAL
DOI 10.4114/ia.v10i31.933
ISSN 1137-3601
|
PS
Computer Science (miscellaneous)
|
| 2005 |
Trabalho em evento |
Intelligent Mobile Multi-robotic Systems: some Challenges and Possible Solutions
Flavio Soares Correa Da SILVA; Renata WASSERMAN; Ana Cristina Vieira De MELO; Leliane Nunes De BARROS; Marcelo FINGER
International Conference on Informatics in Control; Automation and Robotics
|
PS
Control and Systems Engineering
|
| 2005 |
Trabalho em evento |
Low Cost Experiments in Cognitive Robotics
Felipe Werndl TREVIZAN; Leliane Nunes De BARROS
Conferencia de la Asociacion Espanola para la Inteligencia Artificial
|
PS
Computer Science Applications
|
| 2005 |
Trabalho em evento |
Robótica Cognitiva: uma aplicação de planejamento num ambiente com informação incompleta.
Felipe Werndl TREVIZAN; Leliane Nunes De BARROS
VII Simpósio Brasileiro de Automação Industrial (SBAI)
|
PS
Computer Science (miscellaneous)
|
| 2005 |
Trabalho em evento |
Avaliação do Ensino-Aprendizagem de Programação usando abordagem baseada em Padrões Elementares de Programação
M LEMOS; Roseli D LOPES; Leliane Nunes De BARROS
XXXIII Congresso Brasileiro de Ensino de Engenharia (COBENGE 2005)
|
PS
Computer Science (miscellaneous)
|
| 2005 |
Trabalho em evento |
A Tool for Programming Learning with Pedagogical Patterns
Leliane Nunes De BARROS; Karina Valdivia DELGADO; Ana MOTA; Patricia MATSUMOTO
Eclipse Technology eXchange eTX at OOPSLA 2005
|
PS
Computer Science (miscellaneous)
|
| 2004 |
Trabalho em evento |
Formalizing planning algorithms: a logical framework for the research on extending the classical planning approach
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS
Workshop on Connecting Planning Theory with Practice at ICAPS2004 (AIPS)
|
PS
Artificial Intelligence
|
| 2004 |
Trabalho em evento |
Planning with Abduction: a logical framework to explore extensions to classical planning
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS
17o. Simpósio Brasileiro de Inteligência Artificial - SBIA - SBC
ISBN 16113349
|
SH
Psychology (miscellaneous)
|
| 2004 |
Trabalho em evento |
High-level Robot Programming: an abductive approach using event calculus
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS
Simpósio Brasileiro de Inteligência Artificial
ISBN 9783540232377
|
PS
Computer Science Applications
|