Olá a todos, Acabo de lançar uma versão beta (isto é, disponível para testes mas ainda sujeita a revisões) da implementação do KEMS<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo/KEMS>(um provador de teoremas multi-estratpegia baseado no método KE) que contém uma estratégia para a lógica C1 de Newton da Costa.
O arquivo pode ser baixado em http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS(O link direto para o arquivo zip é http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS/KEMS.zip). - > > Click here to donwload KEMS's latest executable version (May 14, 2009 - > 2.4MB zip file).<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo/KEMS/KEMS.zip> > - To run KEMS do the following: > 1. Unzip the "KEMS.zip" file > 2. Go to the KEMS folder > 3. Issue the following command: java -jar kems.jar > - A brief user manual (not up to date but still useful) is avaliable > in > http://www.dainf.ct.utfpr.edu.br/~adolfo/Thesis/AppendixF.pdf<http://www.dainf.ct.utfpr.edu.br/%7Eadolfo/Thesis/AppendixF.pdf> > . > Coloquei na página também todos os problemas que uso para testar o KEMS, assim como uma descrição do formato de problemas. Agradeço qualquer comentário/retorno. []s Adolfo ========================================== Adolfo Neto Departamento Acadêmico de Informática Universidade Tecnológica Federal do Paraná Fone: (41) 3310-4644 / Fax: (41) 3310-4646 Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com ==========================================
_______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
