-
Social Sciences & Humanities
Linguistics and Language
-
Health Sciences
Medicine (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Social Sciences & Humanities
Linguistics and Language
Viviane Bonadia Dos SANTOS; Leliane Nunes De BARROS; Silvio Do Lago PEREIRA; Maria Viviane MENEZES.
2022.
Symbolic fond planning for temporally extended goals.
In:
2022 workshop on knowledge engineering for planning and scheduling. an icaps'22 workshop.
Estados Unidos.
-
Physical Sciences
Computer Science Applications
-
Physical Sciences
Artificial Intelligence
Ângelo Gregori LOVATTO; Thiago Pereira BUENO; Denis Deratani MAUÁ; Leliane Nunes De BARROS.
2020.
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.
Brasil.
-
Physical Sciences
Computer Networks and Communications
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Ignasi Andrés FRANCH; Leliane Nunes De BARROS; Denis Deratani MAUÁ.
2018.
When a robot reaches out for human help.
In:
16th ibero-american conference on artificial intelligence (iberamia).
Peru.
-
Physical Sciences
Mathematics (miscellaneous)
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Thiago Pereira BUENO; Denis Deratani MAUÁ; Fabio COZMAN; Leliane Nunes De BARROS.
2017.
Modeling markov decision processes with imprecise probabilities using probabilistic logic programming.
In:
International symposium on imprecise probability: theories and applications (isipta).
Suiça.
-
Physical Sciences
Computer Science (miscellaneous)
Viviane Bonadia Dos SANTOS; Leliane Nunes De BARROS.
2017.
Pactl-sym: um planejador baseado em verificação simbólica de modelos.
In:
Encontro nacional de inteligência artificial e computacional (eniac).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Ignasi Andrés FRANCH; Leliane Nunes De BARROS; Karina Valdivia DELGADO.
2017.
Asking human help in contingent planning.
In:
First international workshop on teams in multiagent systems (teamas 2017).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Willy Arthur Silva REIS; Karina Valdivia DELGADO; Leliane Nunes De BARROS.
2016.
Distributed and asynchronous policy iteration for bounded parameter markov decision processes.
In:
Xiii encontro nacional de inteligência artificial e computacional (eniac).
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
Thiago Dias SIMÃO; Ignasi Andrés FRANCH; Viviane Bonadia Dos SANTOS; Leliane Nunes De BARROS.
2016.
Heurísticas para detecção de becos sem saída em planejamento probabilístico.
In:
Xiii encontro nacional de inteligência artificial e computacional.
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Leliane Nunes De BARROS; Ronaldo Fumio HASHIMOTO; Karina Valdivia DELGADO; Carolina Feher Da SILVA; Fabio A C TISOVEC.
2015.
Robust intervention on genetic regulatory networks using symbolic dynamic programming.
In:
Ijcai 2015 workshop: advances in bioinformatics and artificial intelligence: bridging the gaps.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Thiago Dias SIMÃO; Leliane Nunes De BARROS; Felipe Leno Da SILVA.
2015.
Planejamento probabilístico com becos sem saída.
In:
Xii encontro nacional de inteligência artificial e computacional (eniac 2015).
Brasil.
-
Social Sciences & Humanities
Education
Leliane Nunes De BARROS; Denis Antonio LACERDA.
2014.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Leliane Nunes De BARROS; Fabio TISOVEC; Karina Valdivia DELGADO.
2014.
Problema de intervenção em redes gênicas modelado como um processo de decisão markoviano fatorado.
In:
Eniac 2014.
Brasil.
-
Physical Sciences
Biomedical Engineering
-
Physical Sciences
Computer Science (miscellaneous)
-
Social Sciences & Humanities
Psychology (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Karina Valdivia DELGADO; Leliane Nunes De BARROS; Scott SANNER; Fabio Gagliardi COZMAN.
2014.
Factored markov decision process with imprecise transition probabilities.
In:
Models and paradigms for planning under uncertainty: a broad perspective workshop at icaps.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Luis Gustavo Rocha VIANNA; Scott SANNER; Leliane Nunes De BARROS.
2013.
Bounded approximate symbolic dynamic programming for hybrid mdps.
In:
29th conference on uncertainty in artificial intelligence (uai-13).
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Maria Viviane De MENEZES; Leliane Nunes De BARROS; Silvio Do Lago PEREIRA.
2013.
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).
Brasil.
-
Physical Sciences
Artificial Intelligence
Zhara ZAMANI; Scott SANNER; Karina Valdivia DELGADO; Leliane Nunes De BARROS.
2013.
Robust optimization for hybrid mdps with state-dependent noise.
In:
23rd international joint conference on artificial intelligence (ijcai).
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Health Sciences
Medicine (miscellaneous)
-
Social Sciences & Humanities
Psychology (miscellaneous)
Maria Viviane De MENEZES; Leliane Nunes De BARROS; Silvio Do Lago PEREIRA.
2012.
Planning task validation.
In:
Scheduling and planning applications wrokshop at icaps 2012.
Brasil.
-
Physical Sciences
Artificial Intelligence
Leliane Nunes De BARROS; Fabio De Oliveira FRANCO; Karina Valdivia DELGADO.
2012.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Luis Gustavo Rocha VIANNA; Leliane Nunes De BARROS; Karina Valdivia DELGADO.
2012.
On-line simulation based planning.
In:
Planex 2012.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Maria Viviane De MENEZES; Leliane Nunes De BARROS.
2011.
Model update for automated planning.
In:
Aaai doctoral consortium 2011.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Artificial Intelligence
Fabio De Oliveira FRANCO; Leliane Nunes De BARROS; Karina Valdivia DELGADO; Fabio COZMAN.
2011.
Jogos markovianos alternados com probabilidades imprecisas dadas por conjuntos credais.
In:
Viii encontro nacional de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Maria Viviane De MENEZES; Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2010.
System design modification with actions.
In:
Simpósio brasileiro de inteligência artificial - sbia 2010.
Alemanha.
-
Physical Sciences
Computer Science (miscellaneous)
Maria Viviane De MENEZES; Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2010.
Model update in action.
In:
Workshop on knowledge engineering for planning and scheduling.
Canadá.
-
Physical Sciences
Artificial Intelligence
Karina Valdivia DELGADO; Cheng FANG; Scott SANNER; Leliane Nunes De BARROS.
2010.
Symbolic bounded real-time dynamic programming.
In:
Simpósio brasileiro de inteligência artificial - sbia 2010.
Alemanha.
-
Physical Sciences
Artificial Intelligence
Karina Valdivia DELGADO; Leliane Nunes De BARROS.
2010.
Processos de decisão markovianos com probabilidades imprecisas: uma solução com programação em dois níveis.
In:
Congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Artificial Intelligence
Monica Goes EBOLI; Fabio Gagliardi COZMAN; Karina Valdivia DELGADO; Leliane Nunes De BARROS.
2010.
From colored petri nets to markov decision processes.
In:
Xviii congresso brasileiro de automática.
Brasil.
-
Physical Sciences
Artificial Intelligence
Karina Valdivia DELGADO; Leliane Nunes De BARROS; Fabio COZMAN; Ricardo Shirota FILHO.
2009.
Representing and solving factored markov decision processes with imprecise probabilities.
In:
6th imternational symposium on imprecise probability: theories and applications.
Grã-Bretanha.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Wellington R PINHEIRO; Leliane Nunes De BARROS.
2009.
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.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Renato Schattan Pereira COELHO; Leliane Nunes De BARROS.
2009.
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.
Brasil.
-
Physical Sciences
Artificial Intelligence
Felipe W TREVIZAN; Fabio Gagliardi COZMAN; Leliane Nunes De BARROS.
2008.
Mixed probabilistic and nondeterministic factored planning through markov decision processes with set-valued transitions.
In:
Workshop on a reality check for planning and scheduling under uncertainty at eighteenth international conference on automated planning and scheduling (icaps).
Austrália.
-
Physical Sciences
Computer Science (miscellaneous)
Wellington Ricardo PINHEIRO; Leliane Nunes De BARROS; Karina Valdivia DELGADO.
2008.
Programming learning: a hierarchical model based diagnosis approach.
In:
International conference on interactive computer aided blended learning.
Brasil.
-
Social Sciences & Humanities
Education
Andréia Cristina G MACHION; Leliane Nunes De BARROS; Valdivia Delgado KARINA.
2008.
Ontologies and conceptual maps in learning objects: discovery and analysis.
In:
International conference on interactive computer aided blended learning.
Brasil.
-
Physical Sciences
Artificial Intelligence
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS; Fabio COZMAN.
2008.
Strong probabilistic planner.
In:
International conference on automated planning and schedulling.
Brasil.
-
Social Sciences & Humanities
Business, Management and Accounting (miscellaneous)
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS; Fabio COZMAN.
2008.
Planning for strong policies.
In:
7th mexican international conference on artificial intelligence - micai 2008.
México.
-
Physical Sciences
Artificial Intelligence
Karina Valdivia DELGADO; Leliane Nunes De BARROS.
2008.
Factored markov decision processes with imprecise probabilities: a multilinear solution.
In:
Doctoral consortium of icaps 2008.
Brasil.
-
Physical Sciences
Artificial Intelligence
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2008.
Using α-ctl to specify complex planning goals.
In:
Wollic '08: 15th international workshop on logic; language; information and computation.
Brasil.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Felipe W TREVIZAN; Fabio Gagliardi COZMAN; Leliane Nunes De BARROS.
2007.
Planning under risk and knightian uncertainty.
In:
International joint conference on artificial intelligence (ijcai).
Índia.
-
Physical Sciences
Computer Science (miscellaneous)
Ricardo Shirota FILHO; Fabio COZMAN; Felipe Werndl TREVIZAN; Cassio Polpo De CAMPOS; Leliane Nunes De BARROS.
2007.
Multilinear and integer programming for markov decision processes with imprecise probabilities.
In:
Fifth international symposium on imprecise probability: theories and applications (isipta).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Wellington R PINHEIRO; Leliane Nunes De BARROS; Fabio KON.
2007.
Aaap: ambiente de apoio ao aprendizado de programação.
In:
Xviii simpósio brasileiro de informática na educação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2007.
Um verificador de modelos para planejamento automatizado com metas de alcançabilidade estendidas.
In:
Simpósio brasileiro de métodos formais.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Felipe W TREVIZAN; Fabio Gagliardi COZMAN; Leliane Nunes De BARROS.
2006.
Unifying nondeterministic and probabilistic planning through imprecise markov decision processes.
In:
Brazilian symposium on artificial intelligence.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; Karina Valdivia DELGADO.
2006.
Aprendizado de programação.
In:
Xiv workshop sobre educação em computação.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Artificial Intelligence
Leliane Nunes De BARROS; Karina Valdivia DELGADO.
2006.
Model based diagnosis of student programs.
In:
3rd monet workshop model-based systems.
Itália.
-
Physical Sciences
Artificial Intelligence
Fabio KEPLER; Paz Trillo C; Riani J; Marcio Moretto RIBEIRO; Valdivia Delgado KARINA et al.
2006.
Classifying ontologies.
In:
3rd workshop on ontologies and their applications (wonto).
Brasil.
-
Physical Sciences
Computer Science Applications
Marcelo FINGER; Ana Cristina Vieira De MELO; Flavio Correa Da SILVA; Renata WASSERMANN; Leliane Nunes De BARROS.
2005.
Intelligent mobile multi-robotic systems: some challenges and possible solutions.
In:
2nd international conference on informatics in control; automation and robotics.
Espanha.
-
Physical Sciences
Computer Science Applications
Felipe Werndl TREVIZAN; Leliane Nunes De BARROS.
2005.
Low cost experiments in cognitive robotics.
In:
Conferencia de la asociacion espanola para la inteligencia artificial.
Espanha.
-
Physical Sciences
Computer Science (miscellaneous)
Felipe Werndl TREVIZAN; Leliane Nunes De BARROS.
2005.
Robótica cognitiva: uma aplicação de planejamento num ambiente com informação incompleta.
In:
Vii simpósio brasileiro de automação industrial (sbai).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M LEMOS; Roseli D LOPES; Leliane Nunes De BARROS.
2005.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; Karina Valdivia DELGADO; Ana MOTA; Patricia MATSUMOTO.
2005.
A tool for programming learning with pedagogical patterns.
In:
Eclipse technology exchange etx at oopsla 2005.
Estados Unidos.
-
Physical Sciences
Artificial Intelligence
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2004.
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).
Canadá.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2004.
Planning with abduction: a logical framework to explore extensions to classical planning.
In:
17o. simpósio brasileiro de inteligência artificial - sbia - sbc.
Brasil.
-
Physical Sciences
Computer Science Applications
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2004.
High-level robot programming: an abductive approach using event calculus.
In:
Simpósio brasileiro de inteligência artificial.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Karina Valdivia DELGADO; Leliane Nunes De BARROS.
2004.
Propat: a programming its based on pedagogical patterns.
In:
7th international conference on intelligent tutoring systems (its 2004).
Brasil.
-
Physical Sciences
Artificial Intelligence
Leliane Nunes De BARROS; Karina Valdivia DELGADO; Andréia Cristina G MACHION.
2004.
An its for programming to explore practical reasoning.
In:
Simpósio brasileiro de informática na educação (sbc).
Brasil.
-
Physical Sciences
Artificial Intelligence
-
Physical Sciences
Computer Science (miscellaneous)
M LEMOS; Leliane Nunes De BARROS.
2003.
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).
México.
-
Physical Sciences
General Computer Science
M LEMOS; Leliane Nunes De BARROS.
2003.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; Edward Mitsuo Iwanaga IAMAMOTO.
2003.
Planejamento de tarefas em robótica cognitiva.
In:
Iv simpósio brasileiro de automação industrial.
Brasil.
-
Physical Sciences
Computer Science Applications
Leliane Nunes De BARROS; Silvio Do Lago PEREIRA.
2002.
Cognitive robotics high-level robot programs based on abductive event calculus.
In:
Third international cognitive robotics workshop - cogrob2002 (aaai 2002 workshop ws7).
Canadá.
-
Social Sciences & Humanities
Psychology (miscellaneous)
Silvio Do Lago PEREIRA; Leliane Nunes De BARROS.
2001.
Eficiência num planejador abdutivo.
In:
Logic applied to technology.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; Eduardo Toledo SANTOS; Valente V C P N.
2001.
Projetando uma ontologia de geometria descritiva.
In:
Iv congresso internacional de engenharia gráfica nas áreas e no desenho - graphica 2001.
Brasil.
-
Life Sciences
Neuroscience (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; Eduardo Toledo SANTOS.
2000.
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.
Brasil.
-
Physical Sciences
Computer Networks and Communications
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; M LEMOS; V B BERNAL; J WAINER.
1999.
Model based diagnosis to network communication faults.
In:
Third international workshop on artificial intelligence in distributed information networking - aidin'99.
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
V B BERNAL; Leliane Nunes De BARROS; M LEMOS; J WAINER.
1999.
Fault diagnosis for local area network environments.
In:
Latin network operations and manegement symposium.
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
M LEMOS; Leliane Nunes De BARROS; V B BERNAL; J WAINER.
1999.
Building reusable knowledge models for the communication network domain.
In:
Fourth australian knowledge acquisition workshop - akaw 99.
Austrália.
-
Physical Sciences
Artificial Intelligence
R TSUNETO; J HENDLER; D NAU; Leliane Nunes De BARROS.
1998.
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).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; M RILLO.
1997.
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).
Brasil.
-
Physical Sciences
Computer Science (miscellaneous)
R BENJAMINS; Leliane Nunes De BARROS; A VALENTE.
1996.
Constructing planners through problem solving methods.
In:
International knowledge acquisition workshop.
Canadá.
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; A VALENTE; R BENJAMINS.
1996.
Modeling planning tasks.
In:
Third international conference on artificial intelligence planning systems (aips).
Estados Unidos.
-
Physical Sciences
Computer Science (miscellaneous)
Leliane Nunes De BARROS; Rita Maria Da Silva JULIA; Carlos Roberto LOPES.
1987.
A compilação como uma ferramenta para geração de esquemas de representação.
In:
4o. simpósio brasileiro de inteligência artificial.
Brasil.
-
Life Sciences
Animal Science and Zoology
Leliane Nunes De BARROS; Antonio Eduardo Costa PEREIRA.
1985.
Anatomia de um sistema perito.
In:
2o simpósio brasileiro de inteligência artificial.
Brasil.