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!