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 de Ciências 2019

Cerimónia comemorativa do 108.º aniversário da Faculdade de Ciências da Universidade de Lisboa.

Programa brevemente disponível.

Curso de 4 módulos, com os seguintes temas:

Field Trip "Tectono-stratigraphic evolution of the SW Iberian Margin and its hydrocarbon potential"

A AAPG-SC UL anuncia a 1.ª Field Trip do presente ano letivo, em parceria com a SEG Técnico Student Chapter Lisbon, intitulada “Tectono-stratigraphic evolution of the SW Iberian Margin and its hydrocarbon potential” e orientada pelo PhD Ricardo Pereira (Partex) e pelo Pr

Petra Alexandra Morbey Ferro Gaspar Pacheco defende a dissertação "Técnicas de Álgebra Multilinear na Resolução de Problemas de Teoria Aditiva".

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

As provas, requeridas por Francisco André de Campos Pereira Dionísio, decorrem nos dias 13 e 14 de maio de 2019.

No dia 14 de maio, será apreciado o sumário do seminário/lição com o título "Pathogens and parasites as effective biological weapons".

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.

Programa Doutoral em Filosofia da Ciência, Tecnologia, Arte e Sociedade

Candidaturas a Bolsas de Doutoramento de 30 de março a 15 de maio de 2019.

Projeto IFiT, desenvolvido no âmbito do ERASMUS+, tem a duração de 3 anos e inclui, duas vezes por ano, um curso de campo (

Municipalities across Europe are unique in their size, structure and challenges.

In preparation for the new decade, society urgently needs to implement actions that can make us more resilient to the challenges of the 21st century.

Plastics Heritage Congress 2019

Under the aegis of the Plastics Heritage European Association (PHEA), the Portuguese Center for the History of Science and Technology (CIUHCT) will host the Plastics Heritage Congress 2019.

SPN2019 - VI Meeting of the Portuguese Society for Neuroscience

SPN2019 aims at bringing together the vibrant Portuguese Neuroscience community that has been contributing to significantly advance this defying area.

Cursos Avançados cE3c 2018/2019

Phylogeography is one of the recent scientific areas emergent from the dissemination of highthrouput technologies of sequencing starting in the 90’s of the XXth century, with the consequent development of intra-specific genetic variance analysis and its geographic distribution.

This conference is devoted to all aspects of Algebraic Geometry and Analysis, and aims at reinforcing the bridge between the fields of Higgs bundles and D-modules.

IDPASC

Candidaturas a Bolsas de Doutoramento a decorrer até 07 de junho de 2019.

Workshop on Integrative Approaches to Protein Folding & Aggregation

In the last decade it has become increasingly accepted that progress in the field of protein folding requires a close dialogue between simulation and experiment.

Cursos Avançados cE3c 2018/2019

This is a mostly practical course offering an overview on different community ecology and macroecological methods and software.

Ações de formação em Química

Ação de Formação CCPFC/ACC - 90348/17 - 25h / 1 crédito. Releva para progressão na carreira de Professores do Grupo 510.

MEC2019 - 5.ª Conferência sobre Morfodinâmica Estuarina e Costeira

Este evento pretende ser um fórum de apresentação de trabalhos de investigação relacionados com a morfodinâmica das zonas costeiras, e de discussão de ideias, conhecimento e informação sobre a zona costeira.

 

Datas importantes:

Cursos Avançados cE3c 2018/2019

This course offers an overview of the different ways to measure biodiversity, and provides tips for the stratification of primary biodiversity data and the construction of variables that describe its various facets.

Páginas