Re: [Logica-l] Impact Factor 2015

[Marcelo Finger]

Oi Adolfo.

Obrigado pela notícia.

[]s

Marcelo

PS: João, nestes casos, um pouco de redundância é até bom.

2016-06-14 16:32 GMT-03:00 Adolfo Neto :

> Saiu o Impact Factor 2015.
> Aparentemente Logical Methods for Computer Science cresceu bastante.
> Na área de Lógica é agora o 11 entre 22.
> Ainda existe aquela planilha compilando fatores de impacto e QUALIS?
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYV_-MfeK%2BXK-5Xz%2BoLDnVJBm6--do60ZokjfN0paUi_%2BA%40mail.gmail.com
> 
> .
>



-- 
 Marcelo Finger
 Departament of Computer Science, IME
 University of Sao Paulo
 http://www.ime.usp.br/~mfinger

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CABqmzx0exZuXvahg68fh%2BZFAorkNU6xspzp_J7-n8Qd%2BDRdXuA%40mail.gmail.com.

Re: [Logica-l] Sobre os meetings: Brasil/Espanha (2015) e Brasil/Itália (2016)

[Alexandre Rademaker]

Olá Samuel,

Bem legal a iniciativa de filmar as palestras e disponibilizar no github... 
Obrigado. 

Sent from my iPad

> On 14 de jun de 2016, at 09:29, 'Samuel Gomes' via LOGICA-L 
>  wrote:
> 
> Caros,
> 
> Escrevo para dar atualizações relativas aos meetings organizados pela 
> Sociedade 
> Brasileira de Matemática em parceria com homólogas européias: o meeting 
> Brasil/Espanha 
> (que ocorreu em dezembro do ano passado, em Fortaleza) e o meeting 
> Brasil/Itália (que vai 
> ocorrer no final de agosto, no Rio de Janeiro - IMPA). Conforme comentado 
> anteriormente, 
> nesses eventos submetemos e obtivemos o aceite para a realização de Sessões 
> Especiais de 
> Lógica Matemática.
> 
> --> Sobre o Brasil/Espanha:
> 
> Disponibilizamos no site do Grupo de Lógica da UFBA os slides de todas as 
> palestras 
> realizadas no Brasil/Espanha, e em nosso canal no Youtube os vídeos das 
> conferências de 
> Francesc Esteva e Félix Bou.
> 
> Checar em:
> 
> https://sites.google.com/site/ufbalogic/home/home-1/events
> 
> (clicar para baixar os arquivos dos slides comprimidos num .rar, o 
> Brasil/Espanha é o 
> primeiro dos "past events")
> 
> https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg
> 
> (palestras de Esteva e Bou em Fortaleza e mais algumas aqui do nosso 
> seminário local)
> 
> --> Sobre o Brasil/Itália:
> 
> O evento ocorrerá no IMPA, entre 29 de Agosto e 02 de Setembro.
> 
> http://www.sbm.org.br/jointmeeting-italy/
> 
> As datas e horários para as palestras da Sessão Especial de Lógica Matemática 
> já estão 
> definidas:
> 
> Terça, 30/08, 17h30-20hs
> Quarta, 01/09, 09h-12hs e 17h30-20hs
> Quinta, 02/09, 09-12hs
> 
> Veja a lista *atualizada* de palestras de todas as sessões, incluindo a de 
> Lógica (sessão 4) no 
> endereço:
> 
> http://www.sbm.org.br/jointmeeting-italy/special-sessions/
> 
> Programação das sessões:
> 
> http://www.sbm.org.br/jointmeeting-italy/program/
> 
> ... Estão todos convidados para prestigiar o Brasil/Itália, em especial os 
> colegas 
> sediados no Rio de Janeiro.
> 
> Grato,
> 
> []s  Samuel
> 
> PS: Enviei ontem essencialmente a mesma mensagem mas acho que ela se perdeu 
> por problemas no meu email
> institucional, pode ser que essa outra mensagem apareça nos próximos dias, 
> peço desculpas antecipadamente se isso acontecer !
> -- 
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos 
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
> e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em 
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse 
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/45a72bfb-615f-466b-889e-c5867585882f%40dimap.ufrn.br.

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/FD2A9ED9-6EF2-4B11-9C1A-3195C92B892F%40gmail.com.

Re: [Logica-l] Impact Factor 2015

[Joao Marcos]

Olá, Adolfo, você se refere a algo parecido com a planilha que se
encontra no link que consta desta mensagem que enviei há duas semanas
para esta lista?
https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/vpzTOSA4pyI/BFnI1hO_AQAJ
(note que usei o SJR 2014)

Abraços, Joao Marcos

2016-06-14 16:32 GMT-03:00 Adolfo Neto :
> Saiu o Impact Factor 2015.
> Aparentemente Logical Methods for Computer Science cresceu bastante.
> Na área de Lógica é agora o 11 entre 22.
> Ainda existe aquela planilha compilando fatores de impacto e QUALIS?
>
> --
> Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos
> Grupos do Google.
> Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie
> um e-mail para logica-l+unsubscr...@dimap.ufrn.br.
> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br.
> Acesse esse grupo em
> https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
> Para ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYV_-MfeK%2BXK-5Xz%2BoLDnVJBm6--do60ZokjfN0paUi_%2BA%40mail.gmail.com.



-- 
http://sequiturquodlibet.googlepages.com/

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_LhW_ssj5ue3UZMENMGBRnUbTm_AQz%2Bps3RbJGa4_izzog%40mail.gmail.com.

[Logica-l] Impact Factor 2015

[Adolfo Neto]

Saiu o Impact Factor 2015.
Aparentemente Logical Methods for Computer Science cresceu bastante.
Na área de Lógica é agora o 11 entre 22.
Ainda existe aquela planilha compilando fatores de impacto e QUALIS?

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CANspyYV_-MfeK%2BXK-5Xz%2BoLDnVJBm6--do60ZokjfN0paUi_%2BA%40mail.gmail.com.

[Logica-l] Sobre os meetings: Brasil/Espanha (2015) e Brasil/Itália (2016)

['Samuel Gomes' via LOGICA-L]

Caros,

Escrevo para dar atualizações relativas aos meetings organizados pela 
Sociedade 
Brasileira de Matemática em parceria com homólogas européias: o meeting 
Brasil/Espanha 
(que ocorreu em dezembro do ano passado, em Fortaleza) e o meeting 
Brasil/Itália (que vai 
ocorrer no final de agosto, no Rio de Janeiro - IMPA). Conforme comentado 
anteriormente, 
nesses eventos submetemos e obtivemos o aceite para a realização de Sessões 
Especiais de 
Lógica Matemática.

--> Sobre o Brasil/Espanha:

Disponibilizamos no site do Grupo de Lógica da UFBA os slides de todas as 
palestras 
realizadas no Brasil/Espanha, e em nosso canal no Youtube os vídeos das 
conferências de 
Francesc Esteva e Félix Bou.

Checar em:

https://sites.google.com/site/ufbalogic/home/home-1/events

(clicar para baixar os arquivos dos slides comprimidos num .rar, o 
Brasil/Espanha é o 
primeiro dos "past events")

https://www.youtube.com/channel/UCSqOfroNO6rc3wUeP9-f1qg

(palestras de Esteva e Bou em Fortaleza e mais algumas aqui do nosso 
seminário local)

--> Sobre o Brasil/Itália:

O evento ocorrerá no IMPA, entre 29 de Agosto e 02 de Setembro.

http://www.sbm.org.br/jointmeeting-italy/

As datas e horários para as palestras da Sessão Especial de Lógica 
Matemática já estão 
definidas:

Terça, 30/08, 17h30-20hs
Quarta, 01/09, 09h-12hs e 17h30-20hs
Quinta, 02/09, 09-12hs

Veja a lista *atualizada* de palestras de todas as sessões, incluindo a de 
Lógica (sessão 4) no 
endereço:

http://www.sbm.org.br/jointmeeting-italy/special-sessions/

Programação das sessões:

http://www.sbm.org.br/jointmeeting-italy/program/

... Estão todos convidados para prestigiar o Brasil/Itália, em especial os 
colegas 
sediados no Rio de Janeiro.

Grato,

[]s  Samuel

PS: Enviei ontem essencialmente a mesma mensagem mas acho que ela se perdeu 
por problemas no meu email
institucional, pode ser que essa outra mensagem apareça nos próximos dias, 
peço desculpas antecipadamente se isso acontecer !

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/45a72bfb-615f-466b-889e-c5867585882f%40dimap.ufrn.br.

Re: [Logica-l] Ontologia SUMO, ATP, ITP e Explicação de provas

[Hermógenes Oliveira]

Alexandre Rademaker  escreve:

> Prezados,

Olá, Alexandre.

> Estamos fazendo vários experimentos com a SUMO [1], sua tradução para
> TPTP/FOL [2] e verificação automática em provadores como E, Vampire
> etc. Estamos reportando várias inconsistencias [3] e dificuldades de
> obter provas que deveriam ser simples como o exemplo de Banana Slug
> [4].
>
> Em especial, estou procurando agora boas ferramentas interativas que
> aceitei como entrada TPTP, debugar provas longas de refutação não é
> tarefa fácil... Dicas? Alguém conhece algo pronto?! 

Eu não conheço absolutamente nada sobre ontologia (informática), mas
tenho alguma experiência com o formato TPTP/ILTP.

Se entendi bem o que você precisa, tenho algumas informações que possam
ser relevantes.

Primeiro, baseado numa rápida passada de olhos, me parece que para
resolver o Banana Slug não basta lógica de primeira ordem (TPTP-FOF),
mas é necessário lógica de ordem superior (TPTP-THF)[1].

Quanto a assistentes interativos que trabalhem com o formato TPTP, sei
que o Isabelle contém uma ferramenta tptp_isabelle e que o Matita também
seria capaz de trabalhar com TPTP.

Porém, embora já tenha usado tanto Isabelle quanto Matita, nunca
trabalhei neles com problemas no formato TPTP.  Portanto, não sei dizer
se o suporte para TPTP está limitado a FOF ou inclui a extensão para
ordem superior THF.

Dê uma olhada no SystemonTPTP do Prof. Sutcliffe[2].  Talvez encontre
ali no meio um ATP/ITP que satisfaça suas demandas.

Saudações,

Notas:

[1] Imagino que funções indutivamente definidas são necessárias para a
parte aritmética, não?

[2] http://www.cs.miami.edu/~tptp/cgi-bin/SystemOnTPTP

-- 
Hermógenes Oliveira

-- 
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos 
Grupos do Google.
Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um 
e-mail para logica-l+unsubscr...@dimap.ufrn.br.
Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br.
Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/.
Para ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/87shwgnpuv.fsf%40camelot.oliveira.