Teoria básica das estruturas conceptuais

As Estruturas Conceptuais são um formalismo de representação de conhecimentos baseado em grafos, os chamados grafos conceptuais. A teoria foi inicialmente desenvolvida por John Sowa há dez anos. desde então, uma comunidade científica cada vez mais ampla tem-na utilizado em muitas áreas de aplicação e propôs várias alterações à teoria original. Também está em desenvolvimento uma implementação estado-da-arte gratuita e, além disso, os grafos conceptuais foram adoptados num padrão ANSI em preparação. Apesar desta actividade não existe de facto uma definição formal, completa, consistente e revista da Teoria das Estruturas Conceptuais. Esta dissertação vem contribuir para essa definição ao estender, refinar e clarificar as noções básicas da teoria. A clarificação dos grafos conceptuais em * grafos sintacticamente correctos, * grafos bem tipados, * grafos ontologicamente correctos, chamados grafos canónicos, * e grafos verdadeiros é a base da clarificação do significado das várias noções e serve de guia às extensões e aos refinamentos introduzidos. As principais extensões foram feitas no sistema de tipos e no esquema de dependências entre vértices de grafos, e o refinamento de quase todos os aspectos da teoria - em particular das regras de formação de grafos canónicos e de regras de inferência para os grafos verdadeiros - inclui o tratamento formal de algumas propostas informais de outros autores.

O transporte aéreo e o ordenamento do território

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Ordenamento do Território e Planeamento Ambiental

Proposta de medidas para melhoria da mobilidade em transporte rodoviário urbano - o caso do Barreiro

Dissertação para obtenção do Grau de Mestre em Engenharia Civil – Estruturas e Geotecnia pela Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa

Estudo empírico do padrão de congestionamento formado num nó de uma auto-estrada urbana portuguesa

Dissertação de Mestrado Integrado em Engenharia Electrotécnica e de Computadores

Famílias estruturadas de modelos com modelo base ortogonal: Teoria e aplicações

Dissertação apresentada para obtenção do Grau de Doutor em Matemática com especialização em Estatística pela Universidade Nova de Lisboa, Faculdade de Ciências e Tecnologia.

Origem, transporte e deposição do ouro em Manica (Moçambique)

The different types of Archean gold deposits in the Manica greenstone belt of western Mozambique are briefely describcd in the context of their geological setting. Particular attention is devoted to the mineralogy, petrology, geological controls, refractoriness to treatment and prospection of these gold deposits. The genesis of gold was stratigraphically controled, but structural and metamorphic events related to the intrusion of late granites have concentrated and relocated the gold in different geological environments. The possibility of additional gold occurences in different rocks sequences is discussed as well as possible guidelines for future research and development.

A experiência da audiência das telenovelas em Portugal: um modelo a partir da teoria fundamentada em dados

Dissertação apresentada para cumprimento dos requisitos necessários à obtenção do grau de Doutor em Ciências da Comunicação

Método de Bootstrap e teoria da credibilidade na estimativa das provisões para sinistros

Dissertação para obtenção do Grau de Mestre em Matemática e Aplicações, no ramo Actuariado, Estatística e Investigação Operacional

Fiabilidade e manutenção em veículos de transporte público

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia e Gestão Industrial

Da ideia inovadora ao projecto de negócio: metodologia para concepção de negócios que pretendam angariar capital de risco baseada na teoria axiomática do projecto

Dissertação para obtenção do grau de Mestre em Engenharia Mecânica

«Tylorian Professors» e «Japanese Corporals»: teoria antropológica e identidade nacional na etnografia portuguesa

Ethnologia, V. 12-14, pp. 37-52

Um elemento finito para barras esbeltas baseado numa teoria geometricamente exacta

Dissertação para obtenção do Grau de Mestre em Engenharia Civil

Modelação de uma rede logística de recolha e transporte de resíduos de café

Dissertação para obtenção do Grau de Mestre em Engenharia e Gestão Industrial

Da igualdade perante a lei ao imposto per capita na teoria de Thomas Hobbes

pp. 281-295

Curiosidade sobre a teoria lógica da identidade

pp. 61-75