Revision based total semantics for extended normal logic programs

Dissertação para obtenção do Grau de Doutor em Matemática - Lógica e Fundamentos da Matemática

Towards an integrated technology management across the rail supply chain extended to society: building the case study on high-speed trains

The present paper was prepared for the course “Project III”, with the supervision of Prof. António Moniz, reporting on the author speaking notes at the Winter School on Technology Assessment, 6-7 December 2010, as part of the Doctoral Programme on Technology Assessment at FCT-UNL.