Every normal logic program has a 2-valued semantics: theory, extensions, applications, implementations

Trabalho apresentado no âmbito do Doutoramento em Informática, como requisito parcial para obtenção do grau de Doutor em Informática

Código postal

Embora já se tivessem realizado anteriormente alguns ensaios, os estudos com vista ao lançamento do código começaram em 1972. Anteriormente, apenas se tinha constituído um sistema de divisão da cidade de Lisboa em 6 áreas (Lisboa 1,2,3,4,5,6) que se encontrava em vigor há uma década. Assim, a introdução do código postal tinha por objectivo pôr de lado os processos manuais de classificação, encaminhamento e distribuição de correspondência, passando-se a uma divisão automática, simplificando os processos de tratamento manual. O tratamento automático só seria rentável se as operações se executassem a alta velocidade, implicando o uso de um conjunto limitado de variáveis de interpretação electrónica, ou seja, neste caso, os 4 dígitos do código.

Intention recognition, commitment and their roles in the evolution of cooperation

Dissertação para obtenção do Grau de Doutor em Informática