Seminário de Lógica Matemática (SLM)

Automating deduction in non-classical logics: Signed resolution for many-valued logics

Luís M. Augusto Universidade Aberta – MEMC

Instituto para a Investigação Interdisciplinar da UL, Sala B3-01

Abstract:

Automating deduction in non-classical logics is today a major objective, given their many fundamental and practical applications. This is particularly so with respect to many-valued logics, logical systems with truth-value sets with cardinality > 2.

Adapting well-known automated deduction calculi for classical logic has proved to be an efficient way to automate deduction in non-classical logics. In this talk, I show that the resolution calculus combined with the formalism known as signed logic, i.e., signed resolution, is an adequate calculus for automating deduction in (mostly finitely) many-valued logics.

There being the time and the inclination, possible ways to implement signed resolution in resolution-based ATP (automated theorem proving) software may be discussed.

15h00
Dia Aberto M23

A Universidade de Lisboa promove o Dia Aberto M23, um evento que pretende aproximar o público adulto do meio universitário.

Formação CIÊNCIAVITAE

Sessão de apresentação da nova plataforma de gestão curricular, o CIÊNCIAVITAE.

Carolina Ferreira Duarte da Silva defende o trabalho de projeto “Modelação da elasticidade do preço na renovação automóvel”.

Cursos Avançados cE3c 2018/2019

Symbiosis is a key strategy for life on Earth. Nevertheless, although many research groups have long been committed to the study of symbiosis, its definition and functioning are not fully understood, and its ecological role and relevance are still underestimated.

Programa PhD Contagem Final

Esta formação procura desenvolver nos participantes a capacidade de refletir realisticamente sobre o estilo pessoal de funcionamento e sobre o modo como é feita a abordagem às tarefas conducentes à concretização dos objetivos estabelecidos.

Por Anja Janssen​ (KTH Royal Institute of Technology, Stockholm).

Por Thomas Mikosch (​University of Copenhagen).​​

Por Holger Drees (University of Hamburg).

Simpósio coorganizado pelo cE3c - Centro de Ecologia, Evolução e Alterações Ambientais. A entrada é livre.

Fourth Lisbon mini-school on Particle and Astroparticle Physics

The Lisbon mini-school on Particle and Astroparticle Physics provides under-graduated students with a comprehensive introduction to the field, covering both theoretical and experimental aspects.

As provas, requeridas por Sara Newbery Raposo de Magalhães, decorrem nos dias 11 e 12 de fevereiro de 2019.

Jornadas de Matemática em Ciências

O Departamento de Matemática da Faculdade de Ciências e o Núcleo de Estudantes de Matemática e Matemática Aplicada anunciam as Jornadas de Matemática em Ciências, que irão decorrer na Faculdade de Ciências da Universidade de Lisboa (edifício C6), e estão abertas a todos os interessados, medi

Logótipo do Programa Doutoral em Neurociências Integrativas (NeurULisboa)

Candidaturas a Bolsas de Doutoramento de 14 de janeiro a 14 de fevereiro de 2019.

Mais informações disponíveis na página do Programa Doutoral.

We begin with an introduction to R and provide a protocol for data exploration to avoid common statistical problems. We will discuss how to detect outliers, deal with collinearity and transformations.

Cursos Avançados cE3c 2018/2019

The goal of this course is to provide the participants with current and practical knowledge on urban ecology, including ecological and social aspects. It aims at providing an integrated approach on urban socio-ecological systems.

The course starts with a revision of multiple linear regression, followed by a basic introduction to generalised additive models (GAM) to analyse continuous data, count data and binary/proportional data.

Concurso FCT de projetos para a Investigação em Fogos Florestais

Estão abertas, até 26 de fevereiro de 2019, as candidaturas para a segunda edição do concurso de Projetos de Investigação Científica e Desenvolvimento Tecnológico no âmbito da Prevenção e Combate de Incêndios Florestais.

A course, organized by LIP, will be taking place and focus on the physics that can be exploited at the Large Hadron Collider (in the framework of IDPASC). The objective of the course is to introduce the physics, analysis methods and results on the physics areas covered by the LHC experiments.

O cE3c – Centro de Ecologia, Evolução e Alterações Ambientais está mais uma vez a organizar dois seminários avançados – Seminário I (1.º semestre, em curso) e Seminário II (a decorrer no 2.º semestre, candi

Logótipo EIT Health

Encontram-se abertas, para toda a comunidade da ULisboa, as Calls para o Bussiness Plan do EIT Health para 2020.

 

Cursos Avançados cE3c 2018/2019

Science is increasingly more present in our everyday decisions, with a fundamental role in global problems.

Eleições para os Estudantes Membros do Conselho Geral e do Senado da ULisboa

O processo eleitoral decorre de 14 de janeiro a 15 de abril de 2019.

O ato eleitoral realiza-se nos dias 02 e 03 de abril de 2019.

A sessão, no âmbito da iniciativa VEHITS 2019 - 5th International Conference on Vehicle Technology and Intelligent Transport Systems a decorrer de 03 a 05 de maio de 2019, conta com a participação dos docentes de Ciências ULisboa Carla Silva (chair

Cursos Avançados cE3c 2018/2019

Nature-based approach to Design solutions for a more resilient future aims to support societies address a variety of environmental, social and economic challenges in sustainable ways. This approach relies on actions that are inspired by, supported by or copied from Nature.

Páginas