A logic-based agent that plans for extended reachability goals (2008)
- Authors:
- Autor USP: BARROS, LELIANE NUNES DE - IME
- Unidade: IME
- DOI: 10.1007/s10458-008-9034-0
- Subjects: RACIOCÍNIO PROBABILÍSTICO; LÓGICA; INTELIGÊNCIA ARTIFICIAL
- Keywords: Automated planning; Model checking; Temporal logic
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Autonomous Agents and Multi-Agent Systems
- ISSN: 1387-2532
- Volume/Número/Paginação/Ano: v. 16, p. 327-344, 2008
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
PEREIRA, Silvio Lago e BARROS, Leliane Nunes de. A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, v. 16, p. 327-344, 2008Tradução . . Disponível em: https://doi.org/10.1007/s10458-008-9034-0. Acesso em: 02 out. 2024. -
APA
Pereira, S. L., & Barros, L. N. de. (2008). A logic-based agent that plans for extended reachability goals. Autonomous Agents and Multi-Agent Systems, 16, 327-344. doi:10.1007/s10458-008-9034-0 -
NLM
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2024 out. 02 ] Available from: https://doi.org/10.1007/s10458-008-9034-0 -
Vancouver
Pereira SL, Barros LN de. A logic-based agent that plans for extended reachability goals [Internet]. Autonomous Agents and Multi-Agent Systems. 2008 ; 16 327-344.[citado 2024 out. 02 ] Available from: https://doi.org/10.1007/s10458-008-9034-0 - Real-time symbolic dynamic programming for hybrid MDPs
- A planner agent that tries its best in presence of nondeterminism
- Compilador de regras para geracao de um sistema especialista com encadeamento regressivo
- Reachability-based model reduction for Markov decision process
- The role of knowledge in cognitive robotics planning
- Laboratório de ensino de inteligência artificial
- Planning task validation
- Model update for automated planning
- Robótica cognitiva: programação baseada em lógica para controle de robôs
- Using concept hierarchies in knowledge discovery
Informações sobre o DOI: 10.1007/s10458-008-9034-0 (Fonte: oaDOI API)
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 | 3209463.pdf |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
