In the context of knowledge-based systems interacting with dynamic or even real time processes, experts need to express domain specific relations in a natural way. We thus propose an expert language and a C++ implementation of these relations as first-class objects. The relations may have associated constraints such as multiplicities or any predicate expressing a necessary condition. The focus ...

This report is a rst attempt of formalizing the diagonalization proof technique. We give a strategy how to systematically construct diagonalization proofs: (i) nding an indexing relation, (ii) constructing a diagonal element, and (iii) making the implicit contradiction of the diagonal element explicit. We suggest a declarative representation of the strategy and describe how it can be realized i...

The last few years have seen an opening up of what is considered to be the legitimate terrain of international relations (IR). This move is, for the most part, extremely welcome. Yet, the multiple theoretical and empirical openings in IR since the end of the Cold War have failed to elucidate many of the puzzles, questions and problems posed by the contemporary conjuncture. There are a number of...

The evolution of the metal content of galaxies and its relations to other global properties [such as total stellar mass (M∗), circular velocity, star formation rate (SFR), halo mass, etc.] provides important constraints on models of galaxy formation. Here we examine the evolution of metallicity scaling relations of simulated galaxies in the Galaxies-Intergalactic Medium Interaction Calculation ...