Parabens pra Claudia!! a obrigada pela boa noticia Joao Marcos! On Tue, Nov 9, 2021 at 1:52 PM Joao Marcos <botoc...@gmail.com> wrote:
> Alegra-me divulgar a informação de que Cláudia Nalon foi eleita membro > do board of trustees do CADE: > http://aarinc.org/Newsletters/136-2021-11.html > > Também nesta edição da AAR Newsletter há uma coluna bastante > interessante de co-autoria da Cláudia, sobre a sessão que ela > co-organizou no CADE-28 sobre a automação do raciocínio em lógicas > não-clássicas. Segundo a coluna, algumas das conclusões a que > chegaram os participantes foram: > > - Empirical evaluation is difficult or impossible (either no > competitors or few to no benchmarks). > - Meaningful benchmarks are tricky and expensive to generate (partly > hand-crafted from topical applications). > - Artificially/automatically generated benchmarks seem not to be > representative (yet this is often done). > - There is a very large number of different logics (and it is > constantly growing). > - Very large inputs are often difficult to handle for reasoning systems. > - There is a lack of common syntax, no simple exchange of information > between systems (this hampers inclusion of reasoning tools in the > context of AI applications). > - The effort needed to communicate proofs or other certificates > between provers, even when considering closely related systems, is > significant. > > []s, Joao Marcos > > -- > 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 ver esta discussão na web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAO6j_Lis39Hbt1G7ZTTD0K1n5j03EgCAnDCvxLSivWXDYa36LA%40mail.gmail.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 ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXtEgtsE9HBqPLNrakqJV9fK9Ov9j2AAn-M5STo2vH53rA%40mail.gmail.com.
