Seminários de Lógica

Seminário do LIAMF quinta, dia 31/3

2011-03-28T21:07:00.001-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Casos de uso de ontologia e inferência em dados clínicos

Fwd: [Logica-l] Seminários LoLITA / UFRN - 10Dez2010

2010-12-08T20:40:00.001-03:00

Mais um seminário, esta semana, do Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações da UFRN: Aventuras no País dos Buscadores --Valéria de Paiva Local: Sala 3H7, UFRN Data: 10-Dez-10, 09:00-10:00 Resumo: Em maio de 2008 eu resolvi largar o meu emprego como pesquisadora do PARC, o celebrado laboratório de pesquisas da Xerox em Palo Alto, CA, para me juntar a uma micro-empresa

Fwd: [Logica-l] Seminários LoLITA / UFRN - 26Nov10

2010-11-25T13:53:00.000-03:00

Mais um seminário, esta semana, do Grupo de Lógica, Linguagem, Informação, Teoria e Aplicações http://groups.google.com/group/lolita-ufrn/web/seminrios-do-lolita da UFRN: "K-like Fuzzy Kripke Models" Regivan Hugo Nunes Santiago (DIMAp / UFRN) Place: Sala de reuniões do DIMAp Date: 26-Nov-10, 09:00-10:00 Abstract: The generalization of Classical Logic to Fuzzy Logics and to Modal Logics

Seminário do LIAMF dia 24/8 DIA e HORÁRIO não usuais

2010-08-19T11:43:00.000-03:00

***** NOTEM O DIA E HORÁRIO NÃO USUAIS ************* ***** TERÇA, 10:30 ********************* ---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------

Seminário do Grupo de Lógica e Filosofia da Ciência

2010-07-09T16:19:00.001-03:00

Assunto: Seminário do Grupo de Lógica e Filosofia da Ciência Prezados : Convido a todos para o próximo seminário do Grupo de Lógica e Filosofia da Ciência. No dia 16 de julho, às 16h, contaremos com a presença do professor Walter Carnielli, da Universidade de Campinas (UNICAMP), que nos falará sobre "Multimodalidades, consistência e o inquérito filosófico". O seminário será na sala do

Seminário Claudio Pizzi

2010-06-20T15:26:00.001-03:00

---------- Forwarded message ----------From: Rafael TestaDate: 2010/6/19Subject: [seminarios-CLE] SeminárioPessoal, nesta próxima quarta, dia 23/06, teremos seminário do Professor Claudio Pizzi (Universidade de Siena, Itália).Título e resumo a ser enviado.Como sempre às 16h00, no CLE.-- Rafael R. TestaDoutorando do Centro de Lógica, Epistemologia e História da Ciência Departamento de Filosofia

Seminários do CLE

2010-06-14T12:58:00.001-03:00

Pessoal,Lembro a todos que nesta quarta, dia 16, teremos seminário de Dante Cardoso (nosso colega do CLE, mestrando)+++Título: O Paradoxo da CognoscibilidadeResumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.+++Como sempre às 16h00 no CLE.Nossos próximos encontros estão previstos para os dias 23/06 e 30

Seminarios LIAMF 10/06/2010

2010-06-07T16:56:00.001-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Bases de Conhecimento e Padrões na Área de Saúde

Lógica informal - Seminários CLE

2010-06-07T13:00:00.000-03:00

Pessoal,nesta quarta, dia 9, teremos seminário. Como sempre às 16h00, no CLE:Antonio Eduardo Consalvo, doutorando CLE/IFCHLógica informal A exposição analisará o objetivo da lógica informal, bem como seu problemas. De maneira mais detida, apresentaremos os problemas da discussão crítica como método de diálogo que procura não somente sustentar uma tese como também obter a adesão dos

Fwd: [seminarios-CLE] Alteração Seminários

2010-05-25T15:49:00.001-03:00

---------- Forwarded message ----------From: Rafael Testa Date: 2010/5/25Subject: [seminarios-CLE] Alteração Seminários Pessoal,devido aos Seminários de Lógica Modal em Aristóteles nos dias 26, 27 e 28, o seminário de Dante Cardoso, previsto para esta quarta, será dia 16/06. Nosso próximo seminário previsto, portanto, será no dia 09/06 (Carlos Eduardo, título e

Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:

2010-05-22T07:46:00.001-03:00

---------- Forwarded message ----------From: Walter CarnielliDate: 2010/5/22Subject: [seminarios-CLE] Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp: Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp: "A Method of Modal Reasoning in Aristotle: Proof by Assumption of the Possible" (a discussion of Prior Analytics A 15 34a5-33, and De Caelo A 12 281b9-15, 281b20-25,

IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ

2010-05-21T21:51:00.001-03:00

---------- Forwarded message ----------From: rodrigo cidDate: 2010/5/21Subject: [Logica-l] IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ To: IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ Os alunos do PPGLM/UFRJ convidam os estudantes de pós-graduação a participar de seu quarto seminário. Os interessados deverão

Seminário do LIAMF dia 20/5

2010-05-21T12:53:00.001-03:00

--------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Atualização de Modelos Baseada em Ações Palestrante: Maria

Seminaire "Logiques en format polynomial" (W. Carnielli)

2010-05-19T23:03:00.000-03:00

Vendredi 21 mai a 14h : Walter Carnielli, U. Campinas, Centre de Logique, Epistemologie et Histoire des Sciences (CLE) et Departement de Philosophie : "Logiques en format polynomial" RESUME : Nous allons montrer que beaucoup de logiques peuvent etre exprimées en format polynomial avec des coefficients sur les corps de Galois finis. Cela s'applique a tous les logiques multi-valués finis ainsi

[seminarios-CLE] Seminário - URGENTE

2010-05-11T06:59:00.000-03:00

Pessoal,Houve uma mudança no cronograma de nossos seminários. Nesta quarta teremos, ao invés do Dante, seminário do Prof. Rubens Lintz, membro fundador do CLE e Professor Emérito da Mac Master University do Canadá. Título: "Os Irracionais na História da Matemática"às 16h00, no CLE-- Rafael R. TestaDoutorando do Centro de Lógica, Epistemologia e História da Ciência

[seminarios-CLE] Seminário

2010-05-10T11:57:00.001-03:00

Pessoal,lembro a todos que nesta quarta-feira, dia 12/05, teremos seminário de Dante Cardoso (nosso colega do CLE, mestrando)+++Título: O Paradoxo da CognicibilidadeResumo: Será apresentado e discutido o resultado da lógica epistêmica segundo o qual existem verdades necessariamente ignoradas.+++Como sempre às 16h00 no CLE, desta vez na sala usual (salvo imprevisto).Abraços.-- Rafael

[seminarios-CLE] seminario 05/05

2010-04-29T11:43:00.001-03:00

Pessoal, na próxima quarta dia 05/05 teremos seminário. Título: A noção de definibilidade conjuntistaResumo: No seminário vamos fazer uma análise crítica da noção de definibilidade conjuntista. Em particular, por meio de resultados de Lógica elementar, vamos analisar o papel dos axiomas de ZFC, principalmente do axioma da escolha, no que diz respeito a introdução de conjuntos

Anytime Lifted Belief Propagation - Seminário do LIAMF - 29/04/2010

2010-04-26T16:48:00.001-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Anytime Lifted Belief Propagation Palestrante: Rodrigo de

Seminário LIAMF 22/04/2010

2010-04-22T09:47:00.001-03:00

----------------------------------------------------------------------------Seminário do Grupo de Lógica, Inteligência Artificiale Métodos Formais - LIAMFSeminário Registrado na CPG do IME/USPPágina: http://www.ime.usp.br/~liamf/seminarios/index.html-----------------------------------------------------------------------------Título: Usando anotadores Apache UIMA para Português do

Seminário do LIAMF - 15/04

2010-04-12T16:32:00.000-03:00

Seminários do LoLITA

2010-01-28T17:33:00.001-03:00

Caros colegas,mais um seminário do LoLITA. Dessa vez, lógica fuzzy aplicada asistemas dinâmicos. Para maiores informações, acessem:http://groups.google.com.br/group/lolita-ufrn/web/seminrios-do-lolita?msg=nsUm grande abraço,Regivan--******************************************************************************Prof. Dr. Regivan Hugo Nunes SantiagoGroup of Logic, Language, Information, Theory and

"O realismo modal de Alvin Plantinga"

2009-12-09T10:02:00.001-03:00

==========================================Adolfo NetoDepartamento Acadêmico de InformáticaUniversidade Tecnológica Federal do ParanáFone: (41) 3310-4644 / Fax: (41) 3310-4646Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com========================================== O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e

Workshop do LoLITA

2009-12-07T20:27:00.000-03:00

Caríssimos,nesta sexta dia 11/12 a partir das 08:00 o LoLITA estará realizando um workshop sobre Lógica e Fundamentos da Computação, as informações podem ser obtidas em http://sites.google.com/site/workshopslolita/home Atenciosamente,Regivan-- ******************************************************************************Prof. Dr. Regivan Hugo Nunes SantiagoGroup of Logic, Language, Information,

Mini-curso de Andrea Loparic na UFBA

2009-12-06T16:04:00.001-03:00

Introdução à Lógica Simbólica Nos próximos dias 7, 9, 10 e 11 de dezembro, das 10 às 13 horas, terá lugar em São Lázaro o mini-curso "Introdução à Lógica Simbólica", que será ministrado pela Profa. Dra. Andréa Loparic (USP), uma referência nos estudos de lógica em nosso país. O curso é uma promoção do Programa de Pós-Graduação em Filosofia (FFCH-UFBA), no âmbito do PROCAD-CAPES. No primeiro

Seminário LIAMF 03/12/2009

2009-11-30T15:29:00.000-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- NOTE: Sala 256A (diferente do resto do semestre) NOTE2: Serão

Seminários - CLE - UNICAMP

2009-11-30T13:23:00.001-03:00

Prezados Colegas, Nesta semana teremos as Conferências do Jesús Mosterín como parte das atividades dos Seminários de Lógica e do Grupo Interdisciplinar CLE Auto-Organização. A agenda das conferências e uma breve biografia, em inglês, seguem abaixo. 2/12/2009 Horário: 16:00h. Local: Sala 208 - CLE – UNICAMP Cosmología contemporánea y método científico

ALGUMAS REFLEXÕES SOBRE A ARQUITETÔNICA DO PENSAMENTO DE PEIRCE

2009-11-26T13:10:00.000-03:00

==========================================Adolfo NetoDepartamento Acadêmico de InformáticaUniversidade Tecnológica Federal do ParanáFone: (41) 3310-4644 / Fax: (41) 3310-4646Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Prezados colegas, boa tarde. Permitam-me, por favor, divulgar aqui, desta vez, o Seminário Interdisciplinar CLE-Auto-Organização de amanhã, às 10h00, no CLE. O

Qué son las leyes de la naturaleza?

2009-11-22T17:58:00.000-03:00

Prezados Colegas, Nesta próxima quarta-feira, 25/11, teremos o Seminário de Lógica, a ser apresentado pela María Alicia Pazos, Professora-investigadora UACM - México e Dra. em Filosofia da Ciência-UNAM, Mexico. Título: Qué son las leyes de la naturaleza? Resumo: Una discusión central en la filosofía sobre las leyes naturales es la que se refiere a la

Qué son las leyes de la naturaleza?

2009-11-22T14:23:00.000-03:00

UNIVERSALIDADE COMPUTACIONAL E A MENTE HUMANA

2009-11-10T12:40:00.001-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra: "UNIVERSALIDADE COMPUTACIONAL E A MENTE HUMANA Dr. Jean Faber Ferreira de Abreu Instituto Internacional de Neurociências de Natal - IINN-ELS Local: UFRN, Setor II, sala G1 Data: 13 / 11 / 2009

Verdade Transcendental - Seminário - CLE - UNICAMP

2009-11-08T22:15:00.001-03:00

Prezados Colegas, Nesta próxima quarta-feira, 11/11, teremos o Seminário de Lógica, a ser apresentado pelo Pedro Santos (FFLCH - USP). Título: Verdade Transcendental Resumo : A palestra consistirá de uma discussão da noção de verdade transcendental, não no sentido usual kantiano, mas no sentido metafísico de uma proposição verdadeira independentemente das circunstâncias

Das Kontinuun e o Descontínuo - Seminário - CLE - UNICAMP

2009-11-04T09:03:00.001-03:00

Prezados Colegas, Nesta próxima quarta-feira, 04/11, teremos o Seminário de Lógica, a ser apresentado pelo Ricardo Mendes Grande, doutorando do IFCH / CLE - UNICAMP. Título: Das Kontinuun e o Descontínuo Resumo: Nesse seminário, estudaremos a aplicabilidade da matemática a dois modelos da realidade física: o contínuo espaço-temporal da mecânica de Newton,

"Planejamento Automatizado: uma visão unificada e resultados de pesquisa" - Seminário do LIAMF dia 5/11

2009-11-03T10:18:00.000-03:00

Sistemas de informação utilizando ontologias - Seminário do LIAMF dia 29/10

2009-10-24T08:54:00.001-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Sistemas de informação utilizando ontologias Palestrante

Linguistic Variables of Type-N. A Mathematical Model - Seminários do LoLITA (UFRN)

2009-10-14T20:44:00.001-03:00

Caríssimos,mais um seminário do LoLITA. Seguem as informações:Linguistic Variables of Type-N. A Mathematical Model Prof. Regivan Hugo Nunes Santiago (DIMAp-UFRN) Local: Auditório do CCET Dia: 16-Out-09Horário: 09:00hs Resumo This talk shows a model for linguistic variables and the fuzzyfication process for fuzzy systems which deals with different level of uncertainty in the same

Sobre o objeto da Lógica: alguns aspectos de Filosofia da Lógica - Seminário - CLE - UNICAMP

2009-10-12T17:42:00.001-03:00

Prezados Colegas, Nesta próxima quarta-feira, 14/10, teremos o Seminário de Lógica, a ser apresentado pelo Professor Pedro Monticelli, Bacharel, Mestre e Doutorando em Filosofia pela Pontifícia Universidade Católica de São Paulo, PUC-SP. Bacharel e Mestrando em Direito pela Universidade de São Paulo, USP. Docente da Pós-Graduação do Centro de Lógica Jurídica e Teorias da

Seminário no IC - UNICAMP

2009-10-07T21:12:00.000-03:00

Caros Colegas, Convidamos todos a participar do seminário abaixo. Palestrante: Igor Carboni Oliveira Título: Indecidibilidade e Expressividade em Modelos Computacionais. Resumo: Neste seminário vamos discutir algumas idéias presentes no Relatório Técnico TR-09-34 do IC - Unicamp (http://www.ic.unicamp.br/

Análise de Complexidade e Inferência Variacional em uma Lógica de Descrição Probabilística - Seminário do LIAMF dia 8/10

2009-10-05T15:20:00.000-03:00

--------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Análise de Complexidade e Inferência Variacional em uma

"A verdade das mentiras. A ficção na história, nas ciências, na filosofia"

2009-09-29T12:57:00.001-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra: "A verdade das mentiras. A ficção na história, nas ciências, na filosofia" Prof. Dr. Eduardo Aníbal Pellejero DEFIL - UFRN Local: UFRN, Setor II, sala G1 Data: 02 / 10 / 2009 às 16 h. ___

Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities - Seminário do LIAMF dia 1/10

2009-09-29T12:55:00.001-03:00

--------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Efficient Solutions to Factored MDPs with Imprecise

Uma Abordagem Pictográfica da Lógica Proposicional Clássica - Seminário - CLE - UNICAMP

2009-09-28T13:55:00.000-03:00

Prezados Colegas, Nesta próxima quarta-feira, 30/09, teremos o Seminário de Lógica, a ser apresentado pelos mestrandos Dante Cardoso Pinto de Almeida e Roberto Guilherme Dumaresq Junior (IFCH-CLE / UNICAMP). Título: Uma Abordagem Pictográfica da Lógica Proposicional Clássica. Resumo: Partindo dos ideogramas usados por Peirce (x-slash) e McCulloch (x-dot) para descrever

Revisão de crenças em lógica de Horn - Seminário do LIAMF dia 24/9

2009-09-22T10:58:00.001-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Revisão de crenças em lógica de Horn Palestrante: Renata

Prototética Modal - COLLOQUIUM LOGICAE - CLE - UNICAMP

2009-09-21T19:45:00.001-03:00

Prezados Colegas, Nesta próxima quarta-feira, 23/09, teremos o Colloquium Logicae, a ser apresentado pelo Professor Rodrigo Bacellar (FFLCH-USP). Título: Prototética Modal. Resumo: A palestra será sobre alguns sistemas de lógica modal com quantificação proposicional. Local: Sala 208 - CLE - UNICAMP Horário: 16:00h. Lembramos, em especial aos

Colóquio de Lógica e Filosofia da Linguagem na USP [1 Attachment]

2009-09-16T22:43:00.000-03:00

COLÓQUIO DE LÓGICA E FILOSOFIA DA LINGUAGEM Departamento de Filosofia www.fflch.usp.br/df Quinta‐feira, 17 de setembro: 15h00 "Alguns resultados construtivos na lógica clássica de primeira ordem" Prof. Dr. Luiz Carlos Pereira (PUC‐RJ) 17h00: Intervalo 17h30 "Valorações e decidibilidade" Profa. Dra. Andréa Loparic (USP) Sexta‐feira, 18 de setembro: 11h00 "Modalidade e

Recuperação e relevância em revisão de crenças - Seminário do LIAMF dia 17/9

2009-09-15T16:24:00.000-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Recuperação e relevância em revisão de crenças

Revisão de crenças em lógica de Horn - Serminário do LIAMF dia 10/9

2009-09-08T12:14:00.000-03:00

---------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Revisão de crenças em lógica de Horn Palestrante: Renata

Probabilistic Entailment and Probabilistic Satisfiability: a Report of Work in Progress

2009-08-31T11:42:00.001-03:00

--------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Probabilistic Entailment and Probabilistic Satisfiability:

Revisão Lógico Probabilística - Seminário LIAMF - Kate Revoredo 13/08/2009

2009-08-12T17:11:00.000-03:00

Data: 13/08/2008, 15h Local: Sala 243A, bloco A do IME-USP. Título: Revisão Lógico Probabilística Palestrante: Kate Revoredo Resumo Aprendizado Lógico Probabilístico, algumas vezes denominado Aprendizado Relacional Estatístico, aborda uma das questões centrais em Inteligência Artificial: a integração de raciocínio probabilístico com representações em lógica de primeira-ordem e aprendizado de

"O que significa dizer que algo é formal?", Catarina Dutilh Novaes - Sexta-feira 14: Colloquium Logicae no CLE

2009-08-11T13:54:00.001-03:00

---------- Forwarded message ----------From: Marcelo Esteban Coniglio Date: 2009/8/11Subject: [seminarios-CLE] Sexta-feira 14: Colloquium Logicae no CLE To: seminarios-CLE@yahoogroups.comPrezados colegas, Tenho o prazer de anunciar que nesta próxima sexta-feira 14 de agosto às 14hs teremos uma conferência no CLE, no âmbito dos tradicionais Colloquium Logicae: "O que significa dizer que algo é

COLÓQUIO DE LÓGICA - USP

2009-07-23T08:18:00.001-03:00

---------- Forwarded message ----------From: BEZIAU Jean-YvesDate: 2009/7/22Subject: [Logica-l] COLÓQUIO DE LÓGICA - USPCOLÓQUIO DE LÓGICA Departamento de Filosofia - USP Quarta-feira, 19 de agosto 14 hs O que é a Lógica Modal? Prof. Dr. Jean-Yves Béziau (Universidade Federal do Ceará) 15.30: Intervalo 16 hs Introdução à Combinação de Lógicas Prof. Dr. Alexandre Costa-Leite (Unicamp)

Dedutcion and Abduction of Information about an Entity, Prof. Luis Fariñas del Cerro

2009-06-26T16:37:00.000-03:00

---------- Forwarded message ----------From: Mario R. F. Benevides (COS-UFRJ)Date: 2009/6/26Caros, Gostaria de convidá-los para a palestra do Prof. Luis Fariñas del Cerro, da Universidade Paul Sabatier, que estará visistando o PESC dias 1,2 e 3 de julho. Título: Dedutcion and Abduction of Information about an Entity Data: 01 de julho Local: PESC, sala H 324 B Hora: 14:00 Prof. Luis Fariñas

"Os Teoremas de Gödel e o problema da Parada de Turing"

2009-06-25T13:47:00.001-03:00

---------- Forwarded message ----------From: Walter CarnielliDate: 2009/6/23Subject: [seminarios-CLE] Seminário: "Os Teoremas de Gödel e o problema da Parada de Turing" To: Seminarios-CLE@yahoogroups.comPrezados amigos, no dia 3 de julho, sexta-feira, 14-15h, na sala 85 do Instituto de Computação da UNICAMP, farei um seminário na "Série de Seminários em Computação" com tema: "Os Teoremas

Building medical ontologies using Description Logics: what does it buy us?, Prof. Franz Baader (TU Dresden)

2009-06-20T08:50:00.001-03:00

---------- Forwarded message ----------From: Renata Wassermann (IME-USP)Date: 2009/6/19Subject: Seminário do LIAMF dia 25/6To: liamf-anuncios Na próxima semana receberemos a visita do Prof. Franz Baader (TU Dresden) que apresentará o último seminário do semestre. Notem o local diferente do usual. Todos são bem-vindos. ---------------------------------------------------------------------------

Teste de Programas Java auxiliados por ferramentas de análise e verificação

2009-06-15T16:11:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html------------------------------------------------------------------------------------------- Palestrante: Simone Hanazumi (MSc. -

Reflexões e formalizações acerca do paradoxo do exame surpresa.

2009-06-09T14:43:00.000-03:00

Quarta-feira, 10 de junho de 2009, 17hLocal: Auditório do CLE-UNICAMP ++++++++++++++++++++++++++++++ Título: Reflexões e formalizações acerca do paradoxo do exame surpresa. Resumo: Michel Scriven publicou em 1951 no periódico britânico de filosofia Mind um artigo em que descrevia uma determinada situação considerada paradoxal. Este paradoxo ficou conhecido como Paradoxo do Exame Surpresa. O

Algumas ideias de calculo estocástico, Professor Pedro Jose Catuogno, livre docente da Unicamp (IMECC)

2009-06-02T12:38:00.000-03:00

---------- Forwarded message ----------From: Rafael TestaDate: 2009/6/2Subject: [seminarios-CLE] Seminário CLE Pessoal, lembro a todos que na próxima quarta-feira (dia 03 de junho, também conhecido como amanhã) teremos seminário do Professor Pedro Jose Catuogno, livre docente da Unicamp (IMECC).+++++++++++++++ Titulo: Algumas ideias de calculo estocástico. Resumo: Apresentaremos de modo

A estrutura lógica da imaginação

2009-05-25T13:49:00.000-03:00

---------- Forwarded message ----------From: Rafael Testa Date: 2009/5/25 Pessoal,lembro a todos que nesta quarta-feira, dia 27 de maio, teremos seminário:+++++++++++++++++++++++++++++++++++++++Título: A estrutura lógica da imaginaçãoAutor: Alexandre Costa-Leite (CLE-UNICAMP) Este trabalho pretende investigar condiçõessemânticas para o

Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos.

2009-05-22T15:03:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Palestrante: Paulo de Tarso

"O significado da Matemática na História".

2009-05-20T13:01:00.001-03:00

---------- Forwarded message ----------From: Rafael TestaDate: 2009/5/20Subject: [seminarios-CLE] Seminário Pessoal,lembro a todos que hoje (20/05/2009) teremos seminário do Prof. Rubens Lintz, Professor Emérito da Mc Master University Título: "O significado da Matemática na História". Contamos com a presença de todos,Rafael Local: Sala de Seminários do CLE -

Aprendizagem de Ontologias

2009-05-12T12:25:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Palestrante: Carlos Eduardo

Value Iteration to solve Factored MDP-IPs

2009-05-06T13:02:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Título: Value Iteration to solve

"Verdade ou verdades: Foucault e o paradoxo da Linguagem".

2009-05-03T16:22:00.002-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra:"Verdade ou verdades: Foucault e o paradoxo da Linguagem".Prof. Dr. Antônio Basílio Novaes Thomaz de MenezesDEFIL - UFRNLocal: UFRN, Setor II, sala G1Data: 08/05/2009 às 16 h.

Uma abordagem lógico-social do fenômeno da incompletude

2009-04-28T14:43:00.001-03:00

Quarta-feira, dia 29 de abril de 2009, 16hLocal: auditório do CLE, IFCH, UNICAMP _______________________________________________________________ Título: Uma abordagem lógico-social do fenômeno da incompletude Resumo: Daqui alguns anos, a prova de Gödel de seus dois famosos teoremas da incompletude completará cem anos. Em virtude do grande impacto desses resultados para a compreensão dos

Revisão de Crenças em Lógica de Horn e Outros Fragmentos

2009-04-28T13:49:00.000-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Título: Revisão de Crenças em

Next Steps in Propositional Horn Contraction

2009-04-23T11:58:00.001-03:00

Amanhã teremos a visita do Ivan Varzinczak, que foi aluno de doutorado do Andreas Herzig em Toulouse e atualmente trabalha no Instituto Meraka, na África do Sul. Faremos um seminário extra às 11:30, na sala de reuniões do bloco C. Seguem os dados abaixo. ------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência

O Algoritmo de Dubois e a transição de fase

2009-04-23T11:57:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título:O Algoritmo de Dubois e a transição de fase Palestrante:

Classes de Complexidade de Linguagens

2009-04-16T14:53:00.001-03:00

==========================================Adolfo NetoDepartamento Acadêmico de InformáticaUniversidade Tecnológica Federal do ParanáFone: (41) 3310-4644 / Fax: (41) 3310-4646Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com========================================== ---------- Forwarded message ----------From: Rafael Testa Date: 2009/

KEMS - Um provador de teoremas multi-estratégia

2009-04-16T09:44:00.001-03:00

Programação do 1º semestre de 2009:http://www.dainf.ct.utfpr.edu.br/wiki/index.php/Semin%C3%A1rios_de_Pesquisa_do_DAINF SÉRIE DE SEMINÁRIOS DE PESQUISA DO DAINF ***** 2ª PALESTRA ***** DAINF - UTFPR Data: 22 DE ABRIL de 2009, QUARTA-FEIRAHora: 10:30h Local: Mini-Auditório da UTFPR - Campus Curitiba Palestrante: Prof. Adolfo Neto (DAINF-UTFPR) Titulo: "KEMS - Um

Argumentation as a Methodology to Reason over Inconsistency

2009-04-14T11:51:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Título: "Argumentation as a

Workshop Negação - PROGRAMAÇÃO

2009-04-13T13:21:00.001-03:00

------------------------------------------------------- WORKSHOP - ASPECTOS LÓGICOS DA NEGAÇÃO 20 e 21 de Abril de 2009 Natal-RN - Departamento de Filosofia ------------------------------------------------------- PROGRAMA SEGUNDA - 20/04 09:00 (Frank Sautter) - Silogísticas Paraclássicas. 10:00 (Patrick Terrematte) - Princípio de Prova Indireta e Relações Positivas em Dedução Natural. 11:00 (

Multimodalidades anódicas e catódicas: de completude a incompletude, de traduções possíveis a mundos (im)possíveis

2009-03-31T13:51:00.002-03:00

Quarta-feira dia 1 de abril, às 16h00.CLE-UNICAMPJuliana Bueno-SolerDiscutirei os sistemas modais anódicos (sem negação) e catódicos (com graus de negação) e suas extensões multimodais, discorrendo sobre resultados de completude e incompletude com respeito à semânticas de Kripke. Num segundo momento mostrarei como caracterizar tais sistemas através de semânticas de traduções possíveis, e como

Seminário do LIAMF dia 2/4/2009

2009-03-31T11:53:00.002-03:00

------------------------------------------------------------------------------------------Seminário do Grupo de Lógica, Inteligência Artificiale Métodos Formais - LIAMFSeminário Registrado na CPG do IME/USPPágina: http://www.ime.usp.br/~liamf/seminarios/index.html-------------------------------------------------------------------------------------------Título: "A Lição Final": o que a vida e obra

Site dos seminários do CLE está no ar - com o resumo do prof. Walter Carnielli

2009-03-23T12:46:00.001-03:00

---------- Forwarded message ----------From: Fernando Girotto Date: 2009/3/22Subject: [seminarios-CLE] site dos seminários está no ar - com o resumo do prof. walterBoa noite pessoas. O novo site dos 'Seminários Regulares de Lógica' está no ar, e pode ser acessado no seguinte endereço: http://www.cle.unicamp.br/principal/grupoglta/seminarios/ A versão ainda

Verdade e Discurso Normativo: problemas para a filosofia da lógica

2009-03-20T17:07:00.001-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", inicia a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra: Verdade e Discurso Normativo: problemas para a filosofia da lógica Prof. Anderson Souza da Silva DIPRI – UFRN Local: UFRN, Setor II, sala G1 Data: 27 / 03 / 2009 às 16 h.

CoGrOO - Um sistema de análise gramatical para a língua portuguesa

2009-03-20T10:38:00.001-03:00

---------- Forwarded message ----------From: Marcelo Finger Date: 2009/3/20Subject: Seminário LIAMF dia 10/11/2008To: liamf-anuncios@ime.usp.br CoGrOO - Um sistema de análise gramatical para a língua portuguesaPalestrante: William Daniel Colen de Moura Silva Data: 26/03/2009, 14h00 Local: Sala 241A, IME-USP Resumo: O CoGrOO (Corretor Gramatical para o OpenOffice) é um sistema para a

Compte-Rendu, Rendiconti, Bericht: Memórias acadêmicas de uma viagem sabática pela Europa.

2009-03-17T22:15:00.001-03:00

==========================================Adolfo NetoDepartamento Acadêmico de InformáticaUniversidade Tecnológica Federal do ParanáFone: (41) 3310-4644 / Fax: (41) 3310-4646Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com========================================== Pessoal, conforme nosso cronograma o próximo seminário será dia 25 de

Problemas em Aberto em Lógica Computacional e em Lógica Probabilística -- Seminário LIAMF dia 12/03/2009

2009-03-10T16:53:00.001-03:00

---------- Forwarded message ----------From: Marcelo Finger Date: 2009/3/10 Subject: Seminário LIAMF dia 12/03/2009------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/

SEMANA DA LÓGICA, na UFRN (2008.2)

2008-12-10T12:17:00.004-03:00

O LoLITA (grupo de "Lógica, Linguagem, Informação, Teoria e Aplicações") do DIMAp/UFRN, em colaboração com o grupo de pesquisa em "Lógica, Conhecimento e Ética" do DeFil/UFRN, dá sua contribuição semestral aos Seminários de Lógica e Filosofia Formal da UFRN, com a seguinte programação:Tema: Lógica Combinatória e Cálculo LambdaPalestrante: Plácido Antônio de Souza NetoData: 15 de dezembro de 2008,

Reasoning about Dynamic Depth Profiles

2008-12-04T12:40:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Título: Reasoning about Dynamic

Verdade em Gottlob Frege

2008-12-02T17:20:00.003-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra:Verdade em Gottlob FregeProf. Fernando Raul NetoDepartamento de Filosofia, UFPEData: 12/12/2008 às 16hLocal: UFRN, Setor II, sala D1

"O Cisne Negro"

2008-11-28T09:43:00.001-03:00

---------- Forwarded message ----------From: Alvaro Augusto Waldrigues de AlmeidaDate: 2008/11/27Subject: [Ct] Convite para palestra: "O Cisne Negro" Dando continuidade ao programa de palestras da UTFPR/DAELT, venho convidá-los para a palestra "O Cisne Negro: ciência, filosofia, os limites do conhecimento e o impacto do altamente improvável". Data: 01/12/2008 Horário: 19h30min às 21h20min

Real-Time Dynamic Programming

2008-11-28T09:18:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Título: Real-Time Dynamic Programming

SPUDD: usando Diagramas de Decisão para resolver Processos Markovianos de Decisão fatorados.

2008-11-23T10:02:00.001-03:00

------------------------------------------------------------------------------------------ Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ------------------------------------------------------------------------------------------- Título: SPUDD: usando Diagramas de

Revising Specifications with CTL Properties using Bounded Model Checking

2008-11-13T15:08:00.001-03:00

==========================================Adolfo NetoDepartamento Acadêmico de InformáticaUniversidade Tecnológica Federal do ParanáFone: (41) 3310-4644 / Fax: (41) 3310-4646Web: http://www.dainf.ct.utfpr.edu.br/~adolfo Blog: http://professoradolfo.blogspot.com========================================== ---------- Forwarded message ----------From: Marcelo Finger Date: Thu, Nov

"Semantical completeness, categoricity and logical consequence: an unpublished lecture by Tarski (1940)"

2008-11-08T21:05:00.001-03:00

==================================Palestra sobre Filosofia da Lógica==================================Prof. Paolo MancosuDepartment of PhilosophyUniversity of California, Berkeley"Semantical completeness, categoricity and logical consequence: anunpublished lecture by Tarski (1940)"Resumo:In the Tarski archive at Berkeley there is a lecture entitled "On theCompleteness and Categoricity of

Alternating-time Temporal Logic, Coalition Logic and STIT theory of agency and their epistemic extensions

2008-11-06T09:26:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Alternating-time Temporal Logic, Coalition Logic and

"Observaçoes sobre o teorema do ponto fixo de Gödel"

2008-11-03T12:47:00.001-03:00

Quarta-feira, dia 05/11/2008, 16h, sala de seminários (209) do CLE-Unicamp. Seminário de Rodrigo Freire, doutorando no CLE-Unicamp.

Ontological Engineering and its Applications (emphasis in Educational Contexts)

2008-11-01T08:28:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Ontological Engineering and its Applications (emphasis

Alternating-time Temporal Logic, Coalition Logic and STIT theory of agency and their epistemic extensions

2008-10-24T11:14:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Alternating-time Temporal Logic, Coalition Logic and

Depuração de programas baseada em modelos: uma abordagem hierárquica

2008-10-18T09:45:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Depuração de programas baseada em modelos: uma abordagem

Existência e Verdade

2008-10-15T15:14:00.003-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a mesa redonda:Existência e VerdadeProf. João Branquinho - Universidade de LisboaProf. Cláudio Ferreira Costa - UFRNProf. Daniel Durante Alves - UFRN (moderador)Data: 22/10/2008 às 19hLocal: UFRN, CHLA, Auditório

An optimal method for reasoning about actions

2008-10-08T09:53:00.001-03:00

Construção de mapas semânticos com robôs móveis

2008-10-05T22:43:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Construção de mapas semânticos com robôs móveis

Densidade e bolas fechadas em análise de agrupamentos

2008-09-26T17:15:00.001-03:00

-----------------------------------------------------------------------------Seminário do Grupo de Lógica, Inteligência Artificiale Métodos Formais - LIAMFSeminário Registrado na CPG do IME/USPPágina: http://www.ime.usp.br/~liamf/seminarios/index.html-----------------------------------------------------------------------------Título: Densidade e bolas fechadas em análise de

Towards the self-regulation of personality-based social exchange processes in multiagent systems

2008-09-25T14:57:00.005-03:00

O grupo de pesquisa em "Teoria e Inteligência Computacional" da UFRN tem o prazer de anunciar a palestra:Towards the self-regulation of personality-based social exchange processes in multiagent systemsProf. Graçaliz DimuroUniversidade Católica de PelotasData: 26/09/2008 às 14hLocal: UFRN, DIMAp, sala de reuniõesAbstract:The regulation of agent interactions based on Piaget's theory of social

LÓGICAS DA INCONSISTÊNCIA DEÔNTICA

2008-09-24T17:47:00.002-03:00

---------- Forwarded message ----------From: Rafael Testa (CLE-UNICAMP) Lembro a todos que na próxima quarta, dia 1 de outubro, às 16h00, teremos seminário de nosso colega Newton Perón (Mestrando IFCH/CLE), cujo resumo segue abaixo.Abraços,Rafael++++++++++++++++++++++++++++++++++++++++++++++++++++LÓGICAS DA INCONSISTÊNCIA DEÔNTICAresumoLógicas da Inconsistência Formal (LFI's). são lógicas

Verdade: mito e demito

2008-09-22T19:36:00.001-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra:Verdade: mito e demitoProf. Abrahão Costa AndradeDepartamento de Filosofia - UFPBData: 26/09/2008 às 16 h.Local: UFRN, Setor II, sala D1

A Conferência KR 2008 (Knowledge Representation) - Seminário LIAMF dia 22/09

2008-09-19T17:06:00.001-03:00

Seminário LIAMF 15/09/2008

2008-09-19T14:22:00.001-03:00

----------------------------------------------------------------------------- Seminário do Grupo de Lógica, Inteligência Artificial e Métodos Formais - LIAMF Seminário Registrado na CPG do IME/USP Página: http://www.ime.usp.br/~liamf/seminarios/index.html ----------------------------------------------------------------------------- Título: Using Abduction to Compute Efficient Proofs Palestrante:

O conceito de verdade nas línguas naturais

2008-08-21T18:44:00.003-03:00

O Departamento de Filosofia da UFRN, através da Base de Pesquisa "Lógica, Conhecimento e Ética", dá continuidade a sua programação anual dos Seminários de Lógica e Filosofia Formal, com a palestra:O conceito de verdade nas línguas naturaisProf. André LeclercDepartamento de Filosofia - UFPBData: 29/08/2008 às 16 h.Local: UFRN, Setor II, sala D1

Seminários de Lógica

Seminário do LIAMF quinta, dia 31/3

Fwd: [Logica-l] Seminários LoLITA / UFRN - 10Dez2010

Fwd: [Logica-l] Seminários LoLITA / UFRN - 26Nov10

Seminário do LIAMF dia 24/8 ***DIA e HORÁRIO não usuais***

Seminário do Grupo de Lógica e Filosofia da Ciência

Seminário Claudio Pizzi

Seminários do CLE

Seminarios LIAMF 10/06/2010

Lógica informal - Seminários CLE

Fwd: [seminarios-CLE] Alteração Seminários

Seminários sobre Lógica Modal em Aristóteles, no CLE- Unicamp:

IV Seminário dos alunos do Programa de Pós-graduação em Lógica e Metafísica da UFRJ

Seminário do LIAMF dia 20/5

Seminaire "Logiques en format polynomial" (W. Carnielli)

[seminarios-CLE] Seminário - URGENTE

[seminarios-CLE] Seminário

[seminarios-CLE] seminario 05/05

Anytime Lifted Belief Propagation - Seminário do LIAMF - 29/04/2010

Seminário LIAMF 22/04/2010

Seminário do LIAMF - 15/04

Seminários do LoLITA

"O realismo modal de Alvin Plantinga"

Workshop do LoLITA

Mini-curso de Andrea Loparic na UFBA

Seminário LIAMF 03/12/2009

Seminários - CLE - UNICAMP

ALGUMAS REFLEXÕES SOBRE A ARQUITETÔNICA DO PENSAMENTO DE PEIRCE

Qué son las leyes de la naturaleza?

Qué son las leyes de la naturaleza?

UNIVERSALIDADE COMPUTACIONAL E A MENTE HUMANA

Verdade Transcendental - Seminário - CLE - UNICAMP

Das Kontinuun e o Descontínuo - Seminário - CLE - UNICAMP

"Planejamento Automatizado: uma visão unificada e resultados de pesquisa" - Seminário do LIAMF dia 5/11

Sistemas de informação utilizando ontologias - Seminário do LIAMF dia 29/10

Linguistic Variables of Type-N. A Mathematical Model - Seminários do LoLITA (UFRN)

Sobre o objeto da Lógica: alguns aspectos de Filosofia da Lógica - Seminário - CLE - UNICAMP

Seminário no IC - UNICAMP

Análise de Complexidade e Inferência Variacional em uma Lógica de Descrição Probabilística - Seminário do LIAMF dia 8/10

"A verdade das mentiras. A ficção na história, nas ciências, na filosofia"

Efficient Solutions to Factored MDPs with Imprecise Transition Probabilities - Seminário do LIAMF dia 1/10

Uma Abordagem Pictográfica da Lógica Proposicional Clássica - Seminário - CLE - UNICAMP

Revisão de crenças em lógica de Horn - Seminário do LIAMF dia 24/9

Prototética Modal - COLLOQUIUM LOGICAE - CLE - UNICAMP

Colóquio de Lógica e Filosofia da Linguagem na USP [1 Attachment]

Recuperação e relevância em revisão de crenças - Seminário do LIAMF dia 17/9

Revisão de crenças em lógica de Horn - Serminário do LIAMF dia 10/9

Probabilistic Entailment and Probabilistic Satisfiability: a Report of Work in Progress

Revisão Lógico Probabilística - Seminário LIAMF - Kate Revoredo 13/08/2009

"O que significa dizer que algo é formal?", Catarina Dutilh Novaes - Sexta-feira 14: Colloquium Logicae no CLE

COLÓQUIO DE LÓGICA - USP

Dedutcion and Abduction of Information about an Entity, Prof. Luis Fariñas del Cerro

"Os Teoremas de Gödel e o problema da Parada de Turing"

Building medical ontologies using Description Logics: what does it buy us?, Prof. Franz Baader (TU Dresden)

Teste de Programas Java auxiliados por ferramentas de análise e verificação

Reflexões e formalizações acerca do paradoxo do exame surpresa.

Algumas ideias de calculo estocástico, Professor Pedro Jose Catuogno, livre docente da Unicamp (IMECC)

A estrutura lógica da imaginação

Revisão de Especificações Formais Inconsistentes: Conceitos e Caminhos.

"O significado da Matemática na História".

Aprendizagem de Ontologias

Value Iteration to solve Factored MDP-IPs

"Verdade ou verdades: Foucault e o paradoxo da Linguagem".

Uma abordagem lógico-social do fenômeno da incompletude

Revisão de Crenças em Lógica de Horn e Outros Fragmentos

Next Steps in Propositional Horn Contraction

O Algoritmo de Dubois e a transição de fase

Classes de Complexidade de Linguagens

KEMS - Um provador de teoremas multi-estratégia

Argumentation as a Methodology to Reason over Inconsistency

Workshop Negação - PROGRAMAÇÃO

Multimodalidades anódicas e catódicas: de completude a incompletude, de traduções possíveis a mundos (im)possíveis

Seminário do LIAMF dia 2/4/2009

Site dos seminários do CLE está no ar - com o resumo do prof. Walter Carnielli

Verdade e Discurso Normativo: problemas para a filosofia da lógica

CoGrOO - Um sistema de análise gramatical para a língua portuguesa

Compte-Rendu, Rendiconti, Bericht: Memórias acadêmicas de uma viagem sabática pela Europa.

Problemas em Aberto em Lógica Computacional e em Lógica Probabilística -- Seminário LIAMF dia 12/03/2009

SEMANA DA LÓGICA, na UFRN (2008.2)

Reasoning about Dynamic Depth Profiles

Seminário do LIAMF dia 24/8 DIA e HORÁRIO não usuais