Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large class of modal and description logics. The class of description logics suitable for the proposed methods is strong on the arithmetical side. In particular there may be complex arithmetical conditions on sets of accessib...

The measurement of high-dimensional entangled states of orbital angular momentum prepared by spontaneous parametric down-conversion can be considered in two separate stages: a generation stage and a detection stage. Given a certain number of generated modes, the number of measured modes is determined by the measurement apparatus. We derive a simple relationship between the generation and detect...

A select operation that is part of an expression applying to a relational database is decomposed into one or more independent select operations for the purpose of optimising the relational expression. The select expression is treated as a logical expression. From the canonical form of this expression an optimal conjunctive form is obtained which can be decomposed into separate select operations...

In this paper we consider the hermitian extension of the cross-ΨB-energy operator that we will denote by ΨH . In addition, cross energy terms are formalized through multivariate signals representation. We investigate the connection between the interaction energy function of ΨH and the cross-power spectral density (CPSD) of two complex valued signals. In particular, this link permits to use this...

An ontologically transparent semantics for justifications that interprets justifications as sets of formulas they justify has been recently presented by Artemov. However, this semantics of modular models has only been studied for the case of the basic justification logic J, corresponding to the modal logic K. It has been left open how to extend and relate modular models to the already existing ...

A GA’s performance on a specific problem is related to many factors, such as genetic operators and corresponding parameter settings and the representation of the problem on the chromosome. Optimization of these factors to improve the speed and robustness of search is essential to successful application of a GA. The work reported here uses a two-level GA system (DAGA2) to solve a practical probl...

This paper examines a voxel (N-dimensional pixel) based representation for shape optimisation problems, and shows that although a basic genetic algorithm performed poorly on a simplified beam design problem, the use of three domain specific operators improved performance greatly. Additionally, the use of a ‘directed smoothing’ operator that preferentially adds material to high stress areas was ...

Many languages allow for ”fake” uses of their past tense marker: the marker can occur in certain contexts without conveying temporal pastness. Instead it appears to bear a modal meaning. Iatridou [2000] has coined this phenomenon Fake Tense. Fake Tense is particularly common to conditional construction. This paper proposes to explain Fake Tense in English conditional sentences as a certain kind...