1. Pantheon
  2. Trabalhos Acadêmicos e Técnicos
  3. Relatórios Técnicos e de Pesquisa
  4. Relatórios
Please use this identifier to cite or link to this item: http://hdl.handle.net/11422/1079
Full metadata record
DC FieldValueLanguage
dc.contributor.authorSouza, Luiz Fernando Pereira de-
dc.contributor.authorVeloso, Sheila Regina Murgel-
dc.date.accessioned2016-11-10T11:52:49Z-
dc.date.available2023-12-21T03:05:07Z-
dc.date.issued1992-12-23-
dc.identifier.citationSOUZA, L. F. P. de; VELOSO, S. R. M. Uma automação de lógica temporal. Rio de Janeiro: NCE, UFRJ, 1992. 14 p. (Relatório Técnico, 11/92)pt_BR
dc.identifier.urihttp://hdl.handle.net/11422/1079-
dc.description.abstractThe Abadi and Manna 's proposal for discrete linear temporallogic automation is analysed, and a modification of it is suggested. This proposal can be viewed as a Prolog language extension to accept the temporal logic operators next, ever and finally. The modified method has been implemented in Prolog, and its main issues are discussed. The problem of using this method for branched temporallogic is also considered.en
dc.languageporpt_BR
dc.relation.ispartofRelatório Técnico NCEpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectAutomação de lógica temporal linearpt_BR
dc.subjectLinear temporal logic automationen
dc.subjectPrologpt_BR
dc.titleUma automação de lógica temporalpt_BR
dc.typeRelatóriopt_BR
dc.description.resumoAnalisamos a proposta de automação de lógica temporal linear discreta apresentada por Abadi e Manna, e sugeridos uma modificação a este método. Esta proposta pode ser vista como uma extensão da linguagem Prolog para aceitar os operadores próximo, sempre e eventualmente da lógica temporal. O método modificado foi implementado em Prolog e os principais aspectos desta implementação são discutidos. Por último., consideramos o problema de usar este método para lógica temporal ramificada.pt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentInstituto Tércio Pacitti de Aplicações e Pesquisas Computacionaispt_BR
dc.subject.cnpqCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOpt_BR
dc.citation.issue1192pt_BR
dc.embargo.termsabertopt_BR
Appears in Collections:Relatórios

Files in This Item:
File Description SizeFormat 
11_92_000040823.pdf835.26 kBAdobe PDFView/Open
Show simple item record Recommend this item View Statistics


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.