ATEL is one of the most expressive logics for reasoning about knowledge, time and strategies. Several issues around the interpretation of this logic are still unresolved. This paper contributes to the ongoing discussion by showing that agents do not have to know a specific strategy for doing something in order to have a capability. Furthermore we claim that agents can possess so-called strategi...

This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded constructions. Such theories of human language processing can usually be restated in terms of geometrical constraints on proof nets. The paper ends with a discussion of the relationship between these constraints and incrementa...

the famous theory in the field of textual meaning and interpretation is called “intentionalism” and on that basis, “the intention of the author of a work is in relation to the meaning of the work or its interpretation”. in recent years, a theory has been widely developed in contrast to the (above) famous theory, titled the theory of “anti-intentionalism”, or in its extreme form, the theory of “...

I present two novel thread-safe in-place streaming schemes for the lattice Boltzmann method (LBM) on graphics processing units (GPUs), termed Esoteric Pull and Push, that result in LBM only requiring one copy of density distribution functions (DDFs) instead two, greatly reducing memory demand. These build upon idea existing Twist scheme, to stream half DDFs at end stream-collide kernel remainin...