Parabens Renata, e a todo o grupo
de pesquisa em Logica e IA do IME-USP.
Tudo de bom,  ---Julio Stern

________________________________
From: logica-l@dimap.ufrn.br <logica-l@dimap.ufrn.br> on behalf of Walter 
Carnielli <walte...@unicamp.br>
Sent: Thursday, November 7, 2024 5:08 AM
To: Marcelo Finger <mfin...@ime.usp.br>
Cc: Marcelo Esteban Coniglio <conig...@unicamp.br>; Lista dos Logicos 
Brasileiros <logica-l@dimap.ufrn.br>
Subject: Re: [Logica-l] Melhor paper na Conferência KR2024

Olá pessoal, oi Renata,

Re-parabéns!  Não tinha  notado qual era o trabalho - agora sim,  "Contractions 
Based on Optimal Repair", em co-autoria com Franz Baader.
O site do  International Conference on Principles of Knowledge Representation 
and Reasoning não traz essa informação (ou eu pelo menos não vi) mas  excelente!

Abraços,
Walter

Em qua., 6 de nov. de 2024 às 16:40, Marcelo Finger 
<mfin...@ime.usp.br<mailto:mfin...@ime.usp.br>> escreveu:
Oi Walter.

Se v der uma olhada no anexo da minha primeira msg, vai ver que o nome do 
artigo premiado é "Contractions Based on Optimal Repair", em co-autoria com 
Franz Baader.

A Renata está sim no Vietnam (ou no caminho de volta), não deve ter tido tempo 
para responder emails em um fuso horário oposto ao nosso.

[]s



Em qua., 6 de nov. de 2024 às 16:47, Walter Carnielli 
<walte...@unicamp.br<mailto:walte...@unicamp.br>> escreveu:

Parabéns Renata!
Imagino que foi com este  trabalho  no Vietnam?
"Towards Belief Contraction without Compactness"

Grande abraço!

Walter
Em qua., 6 de nov. de 2024 às 10:52, Marcelo Esteban Coniglio 
<conig...@unicamp.br<mailto:conig...@unicamp.br>> escreveu:
Parabéns Renata!!!

Marcelo

Em qua., 6 de nov. de 2024 às 08:49, Marcelo Finger 
<mfin...@ime.usp.br<mailto:mfin...@ime.usp.br>> escreveu:
Parabéns a Renata Wassermann ganhou o prêmio de melhor artigo (Ray Reiter Best 
Paper Award) na International Conference on Principles of Knowledge 
Representation and Reasoning.

[]s

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

 ========================
 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

Chapman University, Orange, CA, USA

AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/

https://www.name-coach.com/walter-carnielli


--
Marcelo Finger
 Departament of Computer Science, IME-USP
 http://www.ime.usp.br/~mfinger
 ORCID: https://orcid.org/0000-0002-1391-1175
 ResearcherID: A-4670-2009

[X]

Instituto de Matemática e Estatística,

Universidade de São Paulo

Rua do Matão, 1010 - CEP 05508-090 - São Paulo, SP


--
 ========================
 Walter Carnielli
CLE and Department of Philosophy
University of Campinas –UNICAMP, Brazil

Chapman University, Orange, CA, USA

AI2- Advanced Institute for Artificial Intelligence
Blog https://waltercarnielli.com/

https://www.name-coach.com/walter-carnielli
--
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
<logica-l@dimap.ufrn.br>
---
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<mailto:logica-l+unsubscr...@dimap.ufrn.br>.
Para ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfnNzjkj4rtzMxm5MPDi6unX-4CBpU8Z-wX435H85EZxA%40mail.gmail.com<https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAOrCsLfnNzjkj4rtzMxm5MPDi6unX-4CBpU8Z-wX435H85EZxA%40mail.gmail.com?utm_medium=email&utm_source=footer>.

-- 
LOGICA-L
Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica 
<logica-l@dimap.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 ver esta conversa, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CPUP152MB7177AE7EFF7650F367C32BADB65C2%40CPUP152MB7177.LAMP152.PROD.OUTLOOK.COM.

Responder a