On completion of the initial stages of the programme, as outlined last month, the next stage is the actual mediation itself, or the party meeting stage. This usually begins at 9.30 am in the morning, with a brief outline of the mediator’s own background in medical malpractice litigation, as well as any previous legal experience in general; all of which assures the parties to the mediation that ...

Some constraints on functions from sets and relations to sets are studied. Such constraints are satisfied by anaphoric functions, that is functions denoted by anaphoric determiners. These constraints are generalisations of anaphor conditions known from the study of simpler cases of nominal anaphors. In addition a generalisation of the notion of conservativity as applied to anaphoric functions i...

We propose to use the visual denotations of linguistic expressions (i.e. the set of images they describe) to define novel denotational similarity metrics, which we show to be at least as beneficial as distributional similarities for two tasks that require semantic inference. To compute these denotational similarities, we construct a denotation graph, i.e. a subsumption hierarchy over constituen...

Recent measurements are suggesting that we live in a flat Universe and that its present accelerating stage is driven by a dark energy component whose equation of state may evolve in time. Assuming two different parameterizations for the function ω(z), we constrain their free parameters from a joint analysis involving measurements from X-Ray luminosity of galaxy clusters and SNe type Ia data.

We prove the completeness of the regular strategy of derivations for superposition-based calculi. The regular strategy was pioneered by Kanger in (Kan63), who proposed that all equality inferences take place before all other steps in the proof. We show that the strategy is complete with the redundancy notions of tautology elimination and subsumption. The implication of our result is the complet...

We define the direction of knowledge, and what it means to extend that direction. A special case is function inversion, and we give three algorithms for function inversion. Their performance on non-trivial problems and their shortcomings are demonstrated. All algorithms are implemented in Prolog

The role of parents-in-law according to Erik Erikson’s theory, has been analyzed in this paper. Erikson claims that a man develops throughout his whole life, solving subsequently appearing crises. The proper solution of these crises enables the achievement of integration. The results of research, carried out by Menelaos Apostolou, regarding the influence of parents on the choice of a son or dau...