Gelfond and Lifschitz introduce a declarative language A for describing effects of actions and define a translation of theories in this language into extended logic programs(ELP s). The purpose of this paper is to extend the language and the translation to allow reasoning about the effects of concurrent actions. Logic programming formalization of situation calculus with concurrent actions prese...

In this article, I reread sections of Karl Marx’s Capital, substituting the term ‘sign’ wherever he used ‘commodity.’ I show that such a substitution yields statements that have close family relationship with the results of twentieth century scholarship in a variety of disciplines. The question about the origin of such family resemblance can be found in the notion of substitution that occurs in...

Terminological Ontology [1] is a method used for knowledge sharing and domain-specific translation practices, and could potentially be suitable to apply and for simulating the cognitive theories/models explaining real-world inter-cultural communication scenarios. In this paper, we investigate as a preliminary study whether Tversky ́s contrast model [2] is applicable to datasets obtained from the...

In the recent years, several machine translation systems have been built for the Baltic languages. Besides Google and Microsoft machine translation engines and research experiments with statistical MT for Latvian [1] and Lithuanian, there are both English-Latvian [2] and English-Lithuanian [3] rulebased MT systems available. Both Latvian and Lithuanian are morphologically rich languages with qu...

We present a new approach, which proposes to minimize the numerous problems existing in order to have fully interoperable GIS. We discuss the existence of these heterogeneity problems and the fact that they must be solved to achieve interoperability. These problems are addressed on three levels: the syntactic, structural and semantic level. In addition, we identify the needs for an approach per...

We present a declarative framework for the compilation of constraint logic programs into variablefree relational theories which are then executed by rewriting. This translation provides an algebraic formulation of the abstract syntax of logic programs. Logic variables, unification, and renaming apart are completely elided in favor of manipulation of variable-free relation expressions. In this s...

We study the model theory of fields k carrying a henselian valuation with real closed residue field. We give a criteria for elementary equivalence and elementary inclusion of such fields involving the value group of a not necessarily definable valuation. This allows us to translate theories of such fields to theories of ordered abelian groups, and we study the properties of this translation. We...

The dream of cognitive neuroscience has always been a seamless integration of cognitive representations with neural machinery, but—despite decades of work—fundamental gaps remain. Part of the problem is that many contemporary theories of cognition are formulated in terms of representations and computations that are quite different from those used in computational neuroscience. Bridging this gap...

We reconsider aspects of non-commutative dipole deformations of field theories. Among our findings there are hints to new phases with spontaneous breaking of translation invariance (stripe phases), similar to what happens in Moyal-deformed field theories. Furthermore, using zeta-function regularization, we calculate quantum corrections to KK-state masses. The corrections coming from non-planar ...