http://dainf.ct.utfpr.edu.br/wiki/index.php?action=history&feed=atom&title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional 2026-04-19T01:48:35Z Histórico de revisões para esta página nesta wiki MediaWiki 1.18.1 http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=2633&oldid=prev 2009-11-28T20:22:34Z

<p><span class="autocomment">Publicações</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 20h22min de 28 de novembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 26:</td> <td colspan="2" class="diff-lineno">Linha 26:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009.&#160; Preprint (PDF).]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009.&#160; Preprint (PDF).]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">* [http://www.sciencedirect.com/science?_ob=ArticleURL&amp;_udi=B75H1-4XT3BCH-7&amp;_user=10&amp;_coverDate=12%2F02%2F2009&amp;_rdoc=1&amp;_fmt=&amp;_orig=search&amp;_sort=d&amp;_docanchor=&amp;view=c&amp;_acct=C000050221&amp;_version=1&amp;_urlVersion=0&amp;_userid=10&amp;md5=ff2bdbf5be3d0bd23a0d2feb0309d353 '''Towards an efficient prover for the C1 paraconsistent logic.''' publicado na ENTCS]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2317:newid:2633 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=2317&oldid=prev 2009-09-09T17:45:43Z

<p><span class="autocomment">Estudantes</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 17h45min de 9 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 21:</td> <td colspan="2" class="diff-lineno">Linha 21:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* [[Emerson Shigueo Sugimoto]] - Bolsista de Iniciação Científica - Orientador: Adolfo Gustavo Serra Seca Neto. Período: 08/2009 a 07/2010.</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* [[Emerson Shigueo Sugimoto]] - Bolsista de Iniciação Científica - Orientador: <ins class="diffchange diffchange-inline">[[</ins>Adolfo Gustavo Serra Seca Neto<ins class="diffchange diffchange-inline">]]</ins>. Período: 08/2009 a 07/2010.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=2314&oldid=prev 2009-09-09T17:43:45Z

<p><span class="autocomment">Estudantes</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 17h43min de 9 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 21:</td> <td colspan="2" class="diff-lineno">Linha 21:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* [[Emerson Shigueo Sugimoto]]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* [[Emerson Shigueo Sugimoto]] <ins class="diffchange diffchange-inline">- Bolsista de Iniciação Científica - Orientador: Adolfo Gustavo Serra Seca Neto. Período: 08/2009 a 07/2010.</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=2312&oldid=prev 2009-09-09T17:42:22Z

<p><span class="autocomment">Estudantes</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 17h42min de 9 de setembro de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 21:</td> <td colspan="2" class="diff-lineno">Linha 21:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* John Théo Sierpinski de Souza - Bolsista de Iniciação Científica - Orientador: João Alberto Fabro</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Renato Girardi Gasoto - Bolsista de Iniciação Científica - Orientador: Celso Antônio Alves Kaestner</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins class="diffchange diffchange-inline">* [[Emerson Shigueo Sugimoto]]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td></tr> <!-- diff cache key wiki-dainf:diff:version:1.11a:oldid:2282:newid:2312 --> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=2282&oldid=prev 2009-08-23T14:05:01Z

<p><span class="autocomment">Publicações</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 14h05min de 23 de agosto de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 25:</td> <td colspan="2" class="diff-lineno">Linha 25:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009. <del class="diffchange diffchange-inline">[http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf </del>Preprint (PDF).]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* <ins class="diffchange diffchange-inline">[http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf </ins>NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009. <ins class="diffchange diffchange-inline"> </ins>Preprint (PDF).]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=2105&oldid=prev 2009-07-31T16:16:17Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 16h16min de 31 de julho de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 9:</td> <td colspan="2" class="diff-lineno">Linha 9:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Pesquisadores ===</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>=== Pesquisadores ===</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* [[Celso Kaestner]] - <del class="diffchange diffchange-inline">l[ider</del></div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* [[Celso Kaestner]] - <ins class="diffchange diffchange-inline">líder</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[João Fabro]] - líder</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[João Fabro]] - líder</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[Adolfo Neto]]</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* [[Adolfo Neto]]</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=1944&oldid=prev 2009-06-22T16:57:34Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 16h57min de 22 de junho de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 3:</td> <td colspan="2" class="diff-lineno">Linha 3:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B</div></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>&lt;!-- * Siglas possíveis: GPico Pico Picomp PesqInCom-- &gt;</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>&lt;!-- * Siglas possíveis: GPico Pico Picomp PesqInCom --&gt;</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Membros ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Membros ==</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=1943&oldid=prev 2009-06-22T16:57:22Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 16h57min de 22 de junho de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 1:</td> <td colspan="2" class="diff-lineno">Linha 1:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Informações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Informações ==</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;"></ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>* Página do grupo no CNPq:http://dgp.cnpq.br/buscaoperacional/detalhegrupo.jsp?grupo=1981103YJR0U4B</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div><ins style="color: red; font-weight: bold; text-decoration: none;">&lt;!-- * Siglas possíveis: GPico Pico Picomp PesqInCom-- &gt;</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Membros ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Membros ==</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=1934&oldid=prev 2009-06-19T19:52:20Z

<p><span class="autocomment">Publicações</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 19h52min de 19 de junho de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 23:</td> <td colspan="2" class="diff-lineno">Linha 23:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009. [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf (<del class="diffchange diffchange-inline">preprint - </del>PDF)]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009. [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf <ins class="diffchange diffchange-inline">Preprint </ins>(PDF)<ins class="diffchange diffchange-inline">.</ins>]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td></tr> </table>

Adolfo http://dainf.ct.utfpr.edu.br/wiki/index.php?title=Grupo_de_Pesquisa_em_Intelig%C3%AAncia_Computacional&diff=1933&oldid=prev 2009-06-19T19:51:55Z

<p><span class="autocomment">Publicações</span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr valign='top'> <td colspan='2' style="background-color: white; color:black;">← Versão anterior</td> <td colspan='2' style="background-color: white; color:black;">Edição de 19h51min de 19 de junho de 2009</td> </tr><tr><td colspan="2" class="diff-lineno">Linha 23:</td> <td colspan="2" class="diff-lineno">Linha 23:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>== Publicações ==</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"></td></tr> <tr><td class='diff-marker'>−</td><td style="background: #ffa; color:black; font-size: smaller;"><div>* NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009. [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf preprint]</div></td><td class='diff-marker'>+</td><td style="background: #cfc; color:black; font-size: smaller;"><div>* NETO, Adolfo; KAESTNER, Celso A. A.; FINGER, Marcelo.&#160; '''Towards an efficient prover for the C1 paraconsistent logic.''' Proceedings of the &quot;Fourth Workshop on Logical and Semantic Frameworks, with Applications&quot;, Brasília, 2009. [http://www.dainf.ct.utfpr.edu.br/~adolfo/publications/2009/NetoKaestnerFinger_LSFA09_preprint.pdf <ins class="diffchange diffchange-inline">(</ins>preprint <ins class="diffchange diffchange-inline">- PDF)</ins>]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td><td class='diff-marker'>&#160;</td><td style="background: #eee; color:black; font-size: smaller;"><div>** Ver programação do LSFA'09 em http://lsfa09.cic.unb.br/accepted-papers.html</div></td></tr> </table>

Adolfo