Semantics of logic programs with explicit negation

After a historical introduction, the bulk of the thesis concerns the study of a declarative semantics for logic programs. The main original contributions are: ² WFSX (Well–Founded Semantics with eXplicit negation), a new semantics for logic programs with explicit negation (i.e. extended logic programs), which compares favourably in its properties with other extant semantics. ² A generic characterization schema that facilitates comparisons among a diversity of semantics of extended logic programs, including WFSX. ² An autoepistemic and a default logic corresponding to WFSX, which solve existing problems of the classical approaches to autoepistemic and default logics, and clarify the meaning of explicit negation in logic programs. ² A framework for defining a spectrum of semantics of extended logic programs based on the abduction of negative hypotheses. This framework allows for the characterization of different levels of scepticism/credulity, consensuality, and argumentation. One of the semantics of abduction coincides with WFSX. ² O–semantics, a semantics that uniquely adds more CWA hypotheses to WFSX. The techniques used for doing so are applicable as well to the well–founded semantics of normal logic programs. ² By introducing explicit negation into logic programs contradiction may appear. I present two approaches for dealing with contradiction, and show their equivalence. One of the approaches consists in avoiding contradiction, and is based on restrictions in the adoption of abductive hypotheses. The other approach consists in removing contradiction, and is based in a transformation of contradictory programs into noncontradictory ones, guided by the reasons for contradiction.

A importância da linha costeira na estruturação do Reino medieval português. Algumas reflexões

pp. 9-24

Bibliografia de heráldica medieval portuguesa

Bibliografia crítica da produção historiográfica respeitante à heráldica portuguesa nos séculos XX e XXI.

Bestiário Fantástico das Águas. Evolução do legado da Antiguidade na época medieval

Maria Adelaide Miranda e Pedro Chambel (Coord.)

São Salvador do Mundo. Interpretação de um edifício medieval através da Arqueologia da Arquitetura

O presente trabalho debruça-se sobre o edifício medieval de São Salvador, listado no “Inventário do Património Arquitetónico” com a designação de “Capela Românico-Gótica de Sobral de Monte Agraço/Capela do Salvador”. Fazendo uso da disciplina da Arqueologia da Arquitetura, e das suas metodologias, através das análises do sistema de medidas utilizado no edifício, das marcas de canteiro presentes nos seus paramentos, e da sua estratigrafia vertical, o objetivo deste trabalho passa por identificar as várias fases construtivas do edifício, traçando uma linha evolutiva do edificado desde a sua origem até à atualidade. O cruzamento dos dados da Arqueologia da Arquitetura com as informações provenientes da pesquisa de documentação histórica, referente ao objeto de estudo, oferece novas perspetivas sobre o edifício e todas as funcionalidades associadas a este durante a sua vida. Espera-se que através desta abordagem, seja possível conhecer em definitivo, o papel que o edifício medieval de São Salvador teve na origem da povoação de Montagraço.

O Castro do Jarmelo em época medieval: o contributo da arqueologia para o seu estudo

A presente investigação aborda o estudo do Castro do Jarmelo (Guarda) em época medieval. Trata-se de um povoado fortificado que se formou no cimo de um hilseberg o que lhe confere um amplo domínio visual e controlo do planalto mesetanho para além de óptimas condições naturais de defesa. O período cronológico analisado estende-se entre o século IX/X até aos meados do século XV, período que em termos macro-espaciais engloba o avanço e consolidação da fronteira cristã para sul, a criação e desenvolvimento do reino de Portugal e a crise dinástica que levaria à instalação da dinastia joanina no trono de Portugal. A investigação desenvolvida assentou em diferentes mas complementares abordagens. Inicialmente compilaram-se os dados proporcionados pelas fontes históricas medievais já estudadas por outros autores. De seguida procedeu-se ao estudo exaustivo dos materiais exumados das duas intervenções arqueológicas realizadas neste sítio. Igualmente se efectuaram visitas ao local e suas imediações de forma a se aprofundar o conhecimento das estruturas militares, civis e religiosas presentes neste povoado. Por fim, foram realizadas prospecções circunscritas a alguns locais que referências bibliográficas, toponímicas, ou fornecidas pela população local indiciavam a presença de eventuais vestígios de época medieval. A conjugação dos diferentes dados obtidos permitiu, embora ainda num estado embrionário, atestarem-se as diferentes valências do sítio, ou seja, o seu caracter habitacional, militar e religioso. Quanto à relação entre o Castro e os territórios envolventes os resultados alcançados são ainda muito limitados. Todavia tanto na Alta Idade Média como na Baixa Idade Média é perceptível reconhecerem-se matrizes de povoamento, em que se denota um papel de destaque e primazia do Castro do Jarmelo sobre o território envolvente.

Estudo Arqueológico dos Códices Iluminados do Fundo Laurbanense. As Intervenções de Conservação num Corpus Medieval

O códice medieval chega-nos, materialmente, como resultado de uma sobreposição de intervenções, induzidas pela necessidade de conservar e transmitir o seu conteúdo intelectual, espiritual e artístico. As sucessivas alterações na aparência dos códices iluminados do fundo medieval do Mosteiro de Lorvão, sobretudo ao nível das encadernações, constitui matéria para uma análise estratigráfica, que nos propomos desenvolver e sistematizar. Este estudo, de modelo arqueológico, utiliza os elementos codicológicos, enquanto elementos de linguagem visual, integrados num determinado sistema cronológico, permitindo descrever o processo de transformação desses manuscritos, ao longo do tempo. Complementamos o estudo arqueológico dos códices laurbanenses com a análise das manchas de manuseamento, sedimentadas sobre as margens do suporte de pergaminho, durante a leitura e acesso continuados. Caracterizadas pelo grau de saturação e interpretadas quanto à sua distribuição no corpo de texto, ampliam a perspectiva sobre o estado de conservação do manuscrito medieval e significado do ‘dano’. Esta abordagem, pretende contribuir com novos dados, de carácter interdisciplinar, para o estudo dos códices medievais, assim como para a reflexão teórica sobre a caracterização e conservação destas alterações temporais.

Reconfigurable photonic logic architecture

The amorphous silicon photo-sensor studied in this thesis, is a double pin structure (p(a-SiC:H)-i’(a-SiC:H)-n(a-SiC:H)-p(a-SiC:H)-i(a-Si:H)-n(a-Si:H)) sandwiched between two transparent contacts deposited over transparent glass thus with the possibility of illumination on both sides, responding to wave-lengths from the ultra-violet, visible to the near infrared range. The frontal il-lumination surface, glass side, is used for light signal inputs. Both surfaces are used for optical bias, which changes the dynamic characteristics of the photo-sensor resulting in different outputs for the same input. Experimental studies were made with the photo-sensor to evaluate its applicability in multiplexing and demultiplexing several data communication channels. The digital light sig-nal was defined to implement simple logical operations like the NOT, AND, OR, and complex like the XOR, MAJ, full-adder and memory effect. A pro-grammable pattern emission system was built and also those for the validation and recovery of the obtained signals. This photo-sensor has applications in op-tical communications with several wavelengths, as a wavelength detector and to execute directly logical operations over digital light input signals.

Inventário e Georreferenciação do mundo funerário rupestre medieval no Centro de Portugal

O presente relatório resultou do estágio efetuado na DGPC, no âmbito da componente não-letiva do Mestrado em Arqueologia. O seu propósito centrou-se no Inventário e Georreferenciação das manifestações funerárias rupestres medievais, enquadradas na região do Centro de Portugal. Este trabalho possibilitou a atualização e introdução de inúmeras ocorrências, respeitantes a sepulturas e necrópoles escavadas na rocha, na base de dados da DGPC – o Endovélico. A concretização deste objetivo assentou essencialmente na consulta de bibliografia especializada, assim como de relatórios técnico-científicos. Ao constar do Endovélico, a informação inserida afigura-se como um contributo para o conhecimento e divulgação deste tipo de património medieval, auxiliando, inevitavelmente, no que concerne à sua salvaguarda e proteção. O processamento e sistematização da vasta informação inventariada e georreferenciada possibilitou o desenvolvimento de uma análise, na perspetiva das sepulturas escavadas na rocha como fenómeno funerário alto-medieval. Esta permitiu a criação de uma imagem, ainda que incompleta, dos tipos de agrupamentos existentes e da relação entre as sepulturas e as zonas envolventes, com lugar numa parte do território de Viseu.