segunda-feira, 4 de agosto de 2008

Dissertação de Mestrado na Área de Lógica para Computação é premiada no CTD 2008


Não fui ao congresso da Sociedade Brasileira de Computação deste ano. Hoje entrei no site da SBC e vi a página dos premiados no Concurso de Teses e Dissertações de 2008: http://www.sbc.org.br/index.php?language=1&subject=507
Fiquei feliz em ver que aquela que foi escolhida como a segunda melhor dissertação de mestrado

2º Lugar: Francicleber Ferreira, Ana Teresa Martins (UFC) - "Minimal Models and Expressiveness Hierarchy".

The minimality concept is widely used in Computer Science to define
objects. We find this concept in the definition of inductive sets, in denotational
semantics for recursive programs, in Logic Programming, in Artificial Intelligence,
etc. We analysed the minimality concept from a logical standpoint. We
investigated logics whose semantics are based on minimal models, and its applications
to Computer Science. Among our main results, we demonstrated theorems
about definability and the expressive power of Least Fixed-Point Logic
(LFP), Lifschitz's Nested Abnormality Theories (NATs), McCarthy's Circumscription
and the MIN extension of van Benthem's MIN(FO) Logic.


http://www.prodepa.gov.br/sbc2008/anais/pdf/arq0044.pdf

foi uma dissertação da área de Lógica para Computação.

Parabéns a Ana Teresa e Francicleber!



Nenhum comentário:

Postar um comentário

Deixe seu comentário! Não uso verificação de palavras.

Receba as postagens deste blog por email