Portal do Governo Brasileiro
BDPA - Bases de Dados da Pesquisa Agropecuária Embrapa
 






Registro Completo
Biblioteca(s):  Embrapa Agricultura Digital.
Data corrente:  13/02/1998
Data da última atualização:  21/01/2013
Autoria:  RODRIGUES, O.; BENEVIDES, M.
Afiliação:  ODINALDO RODRIGUES, Imperial College, London; MARIO BENEVIDES, COPPE/UFRJ.
Título:  PROMAL: Programming in Model Action Logic.
Ano de publicação:  1995
Fonte/Imprenta:  In: BRAZILIAN SYMPOSIUM ON ARTIFICIAL INTELLIGENCE, 12., 1995, Campinas. Advances in artificial intelligence: proceedings. Berlin: Springer, 1995.
Páginas:  p. 101-111.
Série:  (Lecture Notes in Artificial Intelligence, 991; Lecture Notes in Computer Science).
ISBN:  3-540-60436-7
Idioma:  Inglês
Notas:  SBIA'95. Ed. by Jacques Wainer and Ariadne Carvalho.
Conteúdo:  In this work we present PROMAL: Programming in Model Action Logic, a formalism to deal with the planning problem. This formalism is based on the concepts of Modal Action Logic (MAL) and may be regarded as an extension of SLD-Resolution to allow the clauses of a Definite Set to have literals with modalities. The modalities are intended to capture the notion of state change caused by the execution of actions. As in previous works in MAL, we call the information about a system's state scenario. Besides acomplishing proofs of properties of specific scenarios it is possible to search scenarios where desired properties hold.
Palavras-Chave:  Inteligencia artificial; Logic programming; Programação lógica.
Thesaurus Nal:  artificial intelligence.
Categoria do assunto:  X Pesquisa, Tecnologia e Engenharia
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Agricultura Digital (CNPTIA)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status URL
CNPTIA6590 - 1ADDPL - PP006.3BRA1996.00012
Voltar






Acesso ao texto completo restrito à biblioteca da Embrapa Florestas. Para informações adicionais entre em contato com cnpf.biblioteca@embrapa.br.

Registro Completo

Biblioteca(s):  Embrapa Florestas.
Data corrente:  02/10/2008
Data da última atualização:  02/10/2008
Autoria:  SOUZA, J. L. P.; MOURA, C. A. R.; FRANKLIN, E.
Título:  Evaluation of the amostral effort in sampling ants from the litter of an Amazonia Oriental forest reserve, Brazil.
Ano de publicação:  2008
Fonte/Imprenta:  In: INTERNATIONAL COLLOQUIUM ON SOIL ZOOLOGY, 15; INTERNATIONAL COLLOQUIUM ON APTERYGOTA, 12., 2008, Curitiba. Biodiversity, conservation and sustainabele management of soil animal: abstracts. Colombo: Embrapa Florestas. Editors: George Gardner Brown; Klaus Dieter Sautter; Renato Marques; Amarildo Pasini. 1 CD-ROM.
Idioma:  Inglês
Conteúdo:  The number of samples to collect in the field and sorting reduction in the laboratory are important issues for processing ants collected during long-term study. We have conducted a pilot investigation to evaluate the reduction in costs and time in mounting, labeling, and identifying ant, and to elaborate cost-effective protocols. We used samples collected for a single period in 24 transects of 100 m distributed in six 600 ha plots spread over 33,000 ha of primary forest in the Brazilian State of Pará, Brazil, as part of a long-term project planned to execute four sampling periods a year during 10 years (Tropical Ecology Assessment and Monitoring Initiative, TEAM, Ants Methodology Protocol). Ten samples were taken per transect using the extractor of Winkler. Ants were identified to genus and Crematogaster, Gnamptogenys and Pachycondyla genera to species level. Field-effort reduction was estimated by diminishing the number of samples per transect. Multidimensional scaling (MDS) was used to generate dissimilarity matrixes and then Mantel correlations between each reduced-sampling effort dissimilarity matrix and the maximum effort were used as an index of how much information was maintained, and could still be used in multivariate analyses. We registered 44 genera of ants. Considering the genera identified to species level, we found 19 species and 6 morphospecies; 3 taxa are considered new, 5 are new records for the state of Pará, and 11 for the study site. We found that the com... Mostrar Tudo
Categoria do assunto:  --
Marc:  Mostrar Marc Completo
Registro original:  Embrapa Florestas (CNPF)
Biblioteca ID Origem Tipo/Formato Classificação Cutter Registro Volume Status
CNPF43775 - 1UPEPL - --CD0305
Fechar
Nenhum registro encontrado para a expressão de busca informada.
 
 

Embrapa
Todos os direitos reservados, conforme Lei n° 9.610
Política de Privacidade
Área Restrita

Embrapa Agricultura Digital
Av. André Tosello, 209 - Barão Geraldo
Caixa Postal 6041- 13083-886 - Campinas, SP
SAC: https://www.embrapa.br/fale-conosco

Valid HTML 4.01 Transitional