Parameterized runtime monitoring formalisms allow predicates to bind free variables to values during the program’s execution. Some runtime monitoring tools, like J-LO , increase the formalism’s expressiveness by allowing predicates to query variables already during the matching process. This is problematic because, if no special care is taken, the predicate’s evaluation may need to query a vari...

We examine the conditions that lead to Stroop interference for a meaningless linguistic label. Tiffany’s cognitive model of drug abuse implies that individuals will respond more slowly to drugrelated words compared to neutral words in an emotional Stroop task, because the former have many automatic associations (e.g. positive expectancies). To examine this proposal, we trained participants to a...

One of the key issues Existentialism is taking complete responsibility one’s life and actions making no excuses. It might be conceived as a movement not sensibility. can think it in many different ways but literature that has come out years when first became popular just after Second World War ever since, often connotation being particularly gloomy philosophy – one obsessed with notions anxiety...

Traditionally, cognition has been considered as a “mental processes” only domain. Recently, however, there is a growing consensus that cognition should be “embodied”, i.e. it emerges from physical interaction with the world through a body with given perceptual and motoric abilities. Terms like “emergence”, “enaction”, “grounding”, and “situatedness” are often used, but little attention is being...

It is often recommended that identifiers for ontology terms should be semantics-free or meaningless. In practice, ontology developers tend to use numeric identifiers, starting at 1 and working upwards. Here we describe a number of significant flaws to this scheme, and the alternatives to them which we have implemented in our library,

In this paper we present a set of necessary and sufficient conditions on a set of lambda terms to serve as the set of meaningless terms in an infinitary bottom extension of lambda calculus. So far only a set of sufficient conditions was known for choosing a suitable set of meaningless terms to make this construction produce confluent extensions. The conditions covered the three main known examp...

Three experiments tested how structural information affects the processing of fragmented forms, using evidence from both normal subjects and an agnosic patient. The stimuli were either (a) outline drawings of objects; (b) "well" or "poorly" structured fragmented forms derived from outline drawings (Experiments 1 and 2) or (c) "well" or "poorly" structured fragmented forms derived from outline d...