Em "Eu robô", baseado nos livros do Asimov, há bastante referências. A
parte que mais gosto é o argumento da VIKI para atacar os humanos - tendo
como premissas as três leis. Um bom exemplo de norma "prima facie" ou
argumento não-monotônico (dependendo de como vc o interpreta). Eu vejo como
exemplo
"Aduzir" parece uma boa opção. Não sei se o fato de ser o antônimo de
"abduzir" força uma interpretação indesejada, uma vez que abdução é um
termo específico em lógica.
Aduzir, aduz, adução...
Abraços
Em terça-feira, 19 de novembro de 2013, Walter Carnielli escreveu:
> A melhor tradução, pens
as LEO-II) can be used for reasoning in the embedded
object logics, either directly or indirectly from systems like Isabelle/HOL
via the Sledgehammer tool.
Abraços
Rafael Testa
Research associate and postdoctoral fellow
Centre for Logic, Epistemology and the History of Science (CLE-Unicamp)
page
Peço licença para divulgar na lista:
Vaga de postdoc na Universidade da Madeira, Portugal.
Salário bruto de aproximadamente 36K € por ano. Mais informações abaixo.
+++
1 Posdoc Position - Applied machine Learning - formal methods applied to
artificial intelligence
The NOVA LINCS Knowledge-B
del Sur in Bahia Blanca, Argentina
Karim Tabia, CRIL, France
Rafael Testa, Unicamp, Brazil
Matthias Thimm, University of Koblenz-Landau, Germany
Matthias Troffaes, Durham University, UK
Linda Van der Gaag, Utrecht University, Netherlands
Leon van der Torre, University of Luxembourg,
Ivan Varzinczak,
)
14h00 – 15h30: Júlio Stern (Parte IV)
15h30 – 16h00: Café
16h00 – 17h00: Discussão/Encerramento
Organização
Walter Carnielli (IFCH/CLE-Unicamp)
Juliana Bueno-Soler (FT/CLE-Unicamp)
Rafael Testa (CLE-Unicamp)
Patrocínio
CLE - Centro de Lógica, Epistemologia e História da Ciência
SBL - Sociedade
Deadline 15 de abril, conferência 3-6 de 2019, Vila Real - Portugal. Mais
informações abaixo.
*
*** Please distribute. Apologies for cross-posting. ***
*
*CALL FOR PAPERS*
*
Não, não leremos.
Isso só ocorreria - hipoteticamente - se as pessoas digitassem aqui de modo
aleatório. A triste verdade é que maioria delas pensam um pouco antes de
escreverem...
Abraços.
2009/1/27 Décio Krause
> Quer dizer então que se continuarmos a ler as mensagens desta lista uma
> hora v
Apenas repassando...
Os seminários são sempre no prédio do CLE-Unicamp, às 16h00 - o cronograma é
divulgado no site.
abraços
-- Forwarded message --
From: Rafael Testa
Date: 2009/5/25
Subject: Seminário
To: seminarios-...@yahoogroups.com
Pessoal,
lembro a todos que nesta quarta
ça nas primeiras vezes que
utilizei esta palavra - normalmente era uma tradução mal feita do inglês ou
do espanhol... mas enfim, o fato é que "satisfatível" não existe na língua
portuguesa!
Gostaria de saber a opinião dos colegas.
Abraços
Rafael Testa
P.S.: Não é meio estranho falar
“satisfazível” tal como os portugueses?
Eles “abriram mão” de tanto neste acordo...
Abraços,
Rafael Testa
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
xiii, "haja vista" este meu erro, meu argumento gramatical se desqualifica?
Abraços,
Rafael
2009/9/24 Joao Marcos
> Dizem que é uma questão de "ponto de visto". :-D
>
> JM
>
> 2009/9/24 Carlos Santos Jr. :
> > Haja visto?! :-P
> >
>
mente): "sonho que se sonha só..."
Abraços a todos,
aguardo encontrá-los pessoalmente para continuarmos esta conversa - que se
desviou um pouquinho do propósito da lista, mas foi interessante :-)
Rafael
P.S.: Eu sei que os dois "erros" não se comparam... ou sim?!
2009/9/24 R
ty of Calabria, Italy
Matthias Thimm, Universität Koblenz-Landau, Germany
Maurício Duarte Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Free University of Bozen-Bolzano, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas, Brazil
Ramon Pino Perez, Yachay
Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Free University of Bozen-Bolzano, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas, Brazil
Ramon Pino Perez, Yachay Tech University, Ecuador
Salvador Abreu, University of Évora, Portugal
Stefan
Maurício Duarte Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Free University of Bozen-Bolzano, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas, Brazil
Ramon Pino Perez, Université d'Artois, France
Salvador Abreu, University of Évora, Portugal
S
<http://users.ics.forth.gr/~fgeo/>
(Foundation for Research and Technology – Hellas (FO.R.T.H.); Institute of
Computer Science (I.C.S.); Information Systems Laboratory (I.S.L.);
Vassilika Vouton - Heraklion, Crete)
Organizer: Rafael Testa <https://rafaeltesta.com/unilog2022/> (CLE-Unicamp,
Brazil
Peço licença para divulgar aqui uma aula introdutória de Lógica em LIBRAS
que tive o prazer de elaborar junto à equipe do projeto IFSP FiloLibras a
convite de meu colega João de Moraes.
Críticas e sugestões são muito bem-vindas! Coloco o João em cópia neste
email, caso queiram entrar em contato di
Ferreirinha Garapa, University of Madeira, Portugal
Mario Alviano, University of Calabria, Italy
Maurício Duarte Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Free University of Bozen-Bolzano, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas
, Argentina
Marco Paulo Ferreirinha Garapa, University of Madeira, Portugal
Mario Alviano, University of Calabria, Italy
Maurício Duarte Luís Reis, University of Madeira, Portugal
Nicolas Troquard, Free University of Bozen-Bolzano, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University
CALL FOR PAPERS - Portuguese Conference on Artificial Intelligence
(EPIA2024)
The EPIA Conference on Artificial Intelligence (AI) is a well-established
European conference in the field of AI. The 23st edition, EPIA 2024, will
take place in Viana do Castelo from 3th to 6th of September, 2024. As in
rkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas, Brazil
Ramon Pino Perez, Université d'Artois, France
Salvador Abreu, University of Évora, Portugal
Zeynep Saribatur, Vienna University of Technology, Austria
***
Rafael R. Testa
https://rafaeltesta.c
Sasso Science Institute, Italy
Orkunt Sabuncu, TED University Ankara, Turkey
Rafael Testa, University of Campinas, Brazil
Ramon Pino Perez, Université d'Artois, France
Salvador Abreu, University of Évora, Portugal
Zeynep Saribatur, Vienna University of Technology, Austria
--
LOGICA-L
Lista
23 matches
Mail list logo
