 | 2012 |
| 28 |  | Scott Sanner,
Karina Valdivia Delgado,
Leliane Nunes de Barros:
Symbolic Dynamic Programming for Discrete and Continuous State MDPs
CoRR abs/1202.3762: (2012) |
| 2011 |
| 27 |  | Maria Viviane de Menezes,
Leliane Nunes de Barros:
Model Update for Automated Planning.
AAAI 2011 |
| 26 |  | Scott Sanner,
Karina Valdivia Delgado,
Leliane Nunes de Barros:
Symbolic Dynamic Programming for Discrete and Continuous State MDPs.
UAI 2011: 643-652 |
| 25 |  | 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) |
| 24 |  | Karina Valdivia Delgado,
Leliane Nunes de Barros,
Fabio Gagliardi Cozman,
Scott Sanner:
Using mathematical programming to solve Factored Markov Decision Processes with Imprecise Probabilities.
Int. J. Approx. Reasoning 52(7): 1000-1017 (2011) |
| 2010 |
| 23 |  | Karina Valdivia Delgado,
Cheng Fang,
Scott Sanner,
Leliane Nunes de Barros:
Symbolic Bounded Real-Time Dynamic Programming.
SBIA 2010: 193-202 |
| 22 |  | Maria Viviane de Menezes,
Silvio do Lago Pereira,
Leliane Nunes de Barros:
System Design Modification with Actions.
SBIA 2010: 31-40 |
| 2009 |
| 21 |  | Karina Valdivia Delgado,
Scott Sanner,
Leliane Nunes de Barros,
Fabio Gagliardi Cozman:
Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities.
ICAPS 2009 |
| 2008 |
| 20 |  | Silvio do Lago Pereira,
Leliane Nunes de Barros,
Fabio Gagliardi Cozman:
Strong Probabilistic Planning.
MICAI 2008: 636-652 |
| 19 |  | Silvio do Lago Pereira,
Leliane Nunes de Barros:
Using alpha-ctl to Specify Complex Planning Goals.
WoLLIC 2008: 260-271 |
| 18 |  | Silvio do Lago Pereira,
Leliane Nunes de Barros:
A logic-based agent that plans for extended reachability goals.
Autonomous Agents and Multi-Agent Systems 16(3): 327-344 (2008) |
| 2007 |
| 17 |  | Felipe W. Trevizan,
Fabio Gagliardi Cozman,
Leliane Nunes de Barros:
Planning under Risk and Knightian Uncertainty.
IJCAI 2007: 2023-2028 |
| 2006 |
| 16 |  | Felipe W. Trevizan,
Fabio Gagliardi Cozman,
Leliane Nunes de Barros:
Unifying Nondeterministic and Probabilistic Planning Through Imprecise Markov Decision Processes.
IBERAMIA-SBIA 2006: 502-511 |
| 15 |  | Karina Valdivia Delgado,
Leliane Nunes de Barros:
Diagnostic of Programs for Programming Learning Tools.
IBERAMIA-SBIA 2006: 7-16 |
| 14 |  | 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 |
| 13 |  | Fábio Natanael Kepler,
Christian Paz-Trillo,
Joselyto Riani,
Márcio Moretto Ribeiro,
Karina Valdivia Delgado,
Leliane Nunes de Barros,
Renata Wassermann:
Classifying Ontologies.
WONTO 2006 |
| 12 |  | Felipe W. Trevizan,
Leliane Nunes de Barros,
Flávio S. Corrêa da Silva:
Designing logic-based robots.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial 10(31): 11-22 (2006) |
| 2005 |
| 11 |  | 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 |
| 10 |  | 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 |
| 9 |  | Karina Valdivia Delgado,
Leliane Nunes de Barros:
ProPAT: A Programming ITS Based on Pedagogical Patterns.
Intelligent Tutoring Systems 2004: 812-814 |
| 8 |  | Marco Eugênio Madeira Di Beneditto,
Leliane Nunes de Barros:
Using Concept Hierarchies in Knowledge Discovery.
SBIA 2004: 255-265 |
| 7 |  | Silvio do Lago Pereira,
Leliane Nunes de Barros:
Planning with Abduction: A Logical Framework to Explore Extensions to Classical Planning.
SBIA 2004: 62-72 |
| 6 |  | Silvio do Lago Pereira,
Leliane Nunes de Barros:
High-Level Robot Programming: An Abductive Approach Using Event Calculus.
SBIA 2004: 73-82 |
| 2000 |
| 5 |  | Leliane Nunes de Barros,
Paulo E. Santos:
The Nature of Knowledge in an Abductive Event Calculus Planner.
EKAW 2000: 328-343 |
| 1998 |
| 4 |  | 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) |
| 3 |  | 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. Comp. Soc. 4(3): (1998) |
| 1997 |
| 2 |  | 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 |
| 1 |  | Leliane Nunes de Barros,
André Valente,
V. Richard Benjamins:
Modeling Planning Tasks.
AIPS 1996: 11-18 |