Geometric complexity theory (GCT) is an approach towards the P vs. NP and related problems. The article [GCTflip] describes its defining strategy, called the flip, to resolve the self referential paradox, which is the root difficulty in these problems. This article describes an approach based on positivity hypotheses in algebraic geometry and representation theory to implement the flip and ther...

Crisp databases and fuzzy databases are developed to provide users with the ability to store data that can be used in deriving information satisfying their needs. The design of these databases requires several theoretical foundations, efficiency, and ease of use. Thus, they accommodate a wider range of real-world requirements and provide a friendlier environment for man-machine interaction. The...

This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by means of search trees, referentially transparent encapsulation and sharing across nondeterminism.

The trials in this paper have been devised, led and delivered by Michael Sanders, a member of the Behavioural Insights Team (BIT), and a former BIT Research Fellow from the University of Bristol. We would like to thank those organisations who have partnered with us in the production of this report. In particular, we would like to thank the Charities Aid Foundation, which has supported the resea...

We consider CFDnc, an alternative to the description logic CFD that retains the latter’s ability to support PTIME reasoning in the presence of terminological cycles with universal restrictions over functional roles and also in the presence of functional constraints over functional role paths. In contrast, CFDnc replaces the ability to have conjunction on left-hand-sides of inclusion dependencie...

We present the results of an elicitation experiment conducted to investigate which factors cause speakers to overspecify their referential expressions, where we hypothesized properties of the target and properties of the communicative setting to play a role. The results of this experiment show that speakers tend to provide more information when referring to a target in a more complex domain and...

Determining relationships such as functional or inclusion dependencies within and across databases is important for many applications in information integration. When such information is not available as explicit meta data, it is possible to discover potential dependencies from the source database extents. However, the complexity of such discovery problems is typically exponential in the number...

This paper details how folklore notions of hygiene and referential transparen y of R5RS ma ros are defeated by a systemati atta k. We demonstrate syntax-rules that seem to apture user identi ers and allow their own identi ers to be aptured by the losest lexi al bindings. In other words, we have written R5RS ma ros that a omplish what ommonly believed to be impossible. We build on the the fundam...

This paper presents a quantitative modeling of referential coherence by which conversation systems measure the smoothness of discourse. Investigations of the corpora show that referential coherence depends on languages or genres of discourse. Our goal is to establish a quantitative model that can be statistically adapted to various languages. Centering theory explains referential coherence by u...

Major depression is associated with a bias toward negative emotional processing and increased self-focus, i.e., the process by which one engages in self-referential processing. The increased self-focus in depression is suggested to be of a persistent, repetitive and self-critical nature, and is conceptualized as ruminative brooding. The role of the medial prefrontal cortex in self-referential p...