The completeness and soundness of temporal theories

Generally speaking, the term temporal logic refers to any system of rules and symbolism for representing and reasoning about propositions qualified in terms of time. In computer science, particularly in the domain of Artificial Intelligence, there are mainly two known approaches to the representation of temporal information: modal logic approaches including tense logic and hybrid temporal logic, and predicate logic approaches including temporal arguement method and reified temporal logic. On one hand, while tense logic, hybrid temporal logic and temporal argument method enjoy formal theoretical foundations, their expressiveness has been criticised as not power enough for representing general temporal knowledge; on the other hand, although reified temporal logic provides greater expressive power, most of the current systems following the temporal reification lack of complete and sound axiomatic theories. With there observations in mind, a new reified temporal logic with clear syntax and semantics in terms of a sound and complete axiomatic formalism is introduced in this paper, which retains all the expressive power of temporal reification.

Writing about war: Jung, Much Ado About Nothing, and the Troy novels of Lindsay Clarke

Arguably, in a time of war literature, and indeed all writing, is saturated with deep psychic responses to conflict. So that not only in literary genres such as epic and tragedy, but also in the novel and comedy, can writing about war be discerned. C.G. Jung, Shakespeare and Lindsay Clarke are fundamentally writers of war who share allied literary strategies. Moreover, they diagnose similar origins to the malaise of a culture tending to war in the neglect of aspects of the feminine that patriarchy prefers to ignore. In repressing or evading the dark feminine, cultures as dissimilar as ancient Greece, the 21st century, Shakespeare's England and Jung's Europe prevent the healing energies of the conjunctio of masculine and feminine from stabilising an increasingly fragile consciousness. In the Troy novels of Clarke, Answer to Job by Jung and Much Ado About Nothing by Shakespeare, some attempt at spiritual nourishment is made through the writing. [From the Publisher]

Reaching across organisational, sectoral and geographical boundaries: exploring the learning potential of an EU cross-border project

Research This paper outlines some of the key findings from an evaluation of the project and demonstrates that EC funded projects such as this, which seek to promote cross border collaboration and understanding (i.e. across organisational, sectoral and geographical boundaries) offer considerable learning potential – not least about variances in health politics across different communities. However, for this learning to be realised a comprehensive system of knowledge management needs to be an integral part of project planning alongside a system for sustaining embryonic professional networks. The concept of managing relationships was also a key part of the projects success. Executing a project funded by the EU demands the development of complex organisational skills to negotiate all the administrative challenges en route to successful completion and this project in particular relied for its success on the development of social relationships of trust and mutual respect across national, professional and social boundaries. Context A three–year European Commission funded project designed to exchange a wide range of staff (professional semiprofessional and voluntary staff in health and social care) project led by the University of Greenwich (UK) and the Université Catholique de Lille, France was completed this year (February 2008). The project was complex because it involved working in different national contexts, was multi-disciplinary, and demanded the negotiation of multiple boundaries. Theories A mixed method evaluation including written reports gathered immediately after each exchange visit and a post hoc series of individual interviews and focus groups was conducted in order to gain qualitative information (from the participants perspective) on their experiences and to identify any learning gained. Results Analysis of the data provided evidence of learning on a number of levels; personally, inter and intra professionally and organisationally as well as across sectors and also from a project management perspective. The learning crystallised around the extent of the differences noted by the participants between the UK and the French health and social care systems despite geographical proximity, common membership of the EU and many shared challenges in health and social care. The extent of these differences, noted at every level from policy to practice proved a rich source for reflection on organisational philosophies, ways of working, distribution of resources, professional roles and autonomy and professional registration and mobility - in short on health politics at ‘macro’ and ‘micro’ levels.

A comparison of the degree of implementation of marine biodiversity indicators by European countries in relation to the Marine Strategy Framework Directive (MSFD)

The degree of development and operability of the indicators for the Marine Strategy Framework Directive (MSFD) using Descriptor 1 (D1) Biological Diversity was assessed. To this end, an overview of the relevance and degree of operability of the underlying parameters across 20 European countries was compiled by analysing national directives, legislation, regulations, and publicly available reports. Marked differences were found between countries in the degree of ecological relevance as well as in the degree of implementation and operability of the parameters chosen to indicate biological diversity. The best scoring EU countries were France, Germany, Greece and Spain, while the worst scoring countries were Italy and Slovenia. No country achieved maximum scores for the implementation of MSFD D1. The non-EU countries Norway and Turkey score as highly as the top-scoring EU countries. On the positive side, the chosen parameters for D1 indicators were generally identified as being an ecologically relevant reflection of Biological Diversity. On the negative side however, less than half of the chosen parameters are currently operational. It appears that at a pan-European level, no consistent and harmonized approach currently exists for the description and assessment of marine biological diversity. The implementation of the MSFD Descriptor 1 for Europe as a whole can therefore at best be marked as moderately successful.

Nomenclature and syntaxonomic notes on some high-rank syntaxa of the European grassland vegetation

We present descriptions of a new order (Ranunculo cortusifolii-Geranietalia reuteri and of a new alliance (Stachyo lusitanicae-Cheirolophion sempervirentis) for the herbaceous fringe communities of Macaronesia and of the southwestern Iberian Peninsula, respectively. A new alliance, the Polygalo mediterraneae-Bromion erecti (mesophilous post-cultural grasslands), was introduced for the Peninsular Italy. We further validate and typify the Armerietalia rumelicae (perennial grasslands supported by nutrient-poor on siliceous bedrocks at altitudes characterized by the submediterranean climate of central-southern Balkan Peninsula), the Securigero-Dasypyrion villosae (lawn and fallow-land tall-grass annual vegetation of Italy), and the Cirsio vallis-demoni-Nardion (acidophilous grasslands on siliceous substrates of the Southern Italy). Nomenclatural issues (validity, legitimacy, synonymy, formal corrections) have been discussed and clarified for the following names: Brachypodio-Brometalia, Bromo pannonici-Festucion csikhegyensis, Corynephoro-Plantaginion radicatae, Heleochloion, Hieracio-Plantaginion radicatae, Nardetea strictae, Nardetalia strictae, Nardo-Callunetea, Nardo-Galion saxatilis, Oligo-Bromion, Paspalo-Heleochloetalia, Plantagini-Corynephorion and Scorzoneret alia villosae.