Geiger and Wollheim on Expressive Properties and Expressive Perception

The aim of this paper is to reconstruct Geiger’s realist and Wollheim’s projectionist accounts on expressive properties and expressive perception by considering them within the larger contexts from which they emerged, by using as far as possible a common language and by focusing on the questions of the nature of expressive properties and of how we grasp them. My aim is to show that it is possible to put into dialogue phenomenological and Anglo-American aesthetics and that this dialogue might lead to new insights about how we engage with art

Expressive Stream Reasoning with Laser

An increasing number of use cases require a timely extraction of non-trivial knowledge from semantically annotated data streams, especially on the Web and for the Internet of Things (IoT). Often, this extraction requires expressive reasoning, which is challenging to compute on large streams. We propose Laser, a new reasoner that supports a pragmatic, non-trivial fragment of the logic LARS which extends Answer Set Programming (ASP) for streams. At its core, Laser implements a novel evaluation procedure which annotates formulae to avoid the re-computation of duplicates at multiple time points. This procedure, combined with a judicious implementation of the LARS operators, is responsible for significantly better runtimes than the ones of other state-of-the-art systems like C-SPARQL and CQELS, or an implementation of LARS which runs on the ASP solver Clingo. This enables the application of expressive logic-based reasoning to large streams and opens the door to a wider range of stream reasoning use cases.Comment: 19 pages, 5 figures. Extended version of accepted paper at ISWC 201

Expressive Logics for Coinductive Predicates

The classical Hennessy-Milner theorem says that two states of an image-finite transition system are bisimilar if and only if they satisfy the same formulas in a certain modal logic. In this paper we study this type of result in a general context, moving from transition systems to coalgebras and from bisimilarity to coinductive predicates. We formulate when a logic fully characterises a coinductive predicate on coalgebras, by providing suitable notions of adequacy and expressivity, and give sufficient conditions on the semantics. The approach is illustrated with logics characterising similarity, divergence and a behavioural metric on automata

Relationships between working memory, expressive vocabulary and arithmetical reasoning in children with and without intellectual disabilities.

This experiment examined the relationships between working memory and two measures of achievement, namely expressive vocabulary and arithmetical reasoning, in children with and without intellectual disabilities (ID). For 11-12-year-old children with intellectual disabilities, memory measures tapping the central executive were the most important predictors of both expressive vocabulary and arithmetical reasoning, with phonological memory making a small additional contribution to expressive vocabulary. For mainstream 11-12-year-old children, phonological memory was the best predictor of expressive vocabulary, whereas, arithmetical reasoning ability was predicted by visual memory and to a lesser extent phonological memory. The third group of children, 7-8-year-old mainstream children, had been matched on mental age with the intellectual disability group. For these children the most important predictor of expressive vocabulary was phonological memory, with a small additional contribution from visual memory. Arithmetical reasoning was best predicted by memory measures tapping the central executive with an additional contribution from phonological memory. These results suggest that different working memory resources are used by children of varying ages and ability levels to carry out at least some cognitive tasks

Expressive Political Behaviour: Foundations, Scope and Implications

A growing literature has focussed attention on ‘expressive’ rather than ‘instrumental' behaviour in political settings - particularly voting A common criticism of the expressive idea is that its myriad possibilities make it rather ad hoc and lacking in both predictive and normative bite. We agree that no single clear definition of expressive behaviour has emerged to date, and no detailed foundations of specific expressive motivations have been provided, so that there are rather few specific implications drawn from the analysis of expressive behaviour. In response, we provide a foundational discussion and definition of expressive behaviour that accounts for a range of factors. We also discuss the content of expressive choice distinguishing between moral, social and emotional cases, and relate this more general account to the specific theories of expressive choice in the literature. Finally, we discuss the normative and institutional implications of expressive behaviour.expressive behaviour; identity; moral choice; populism; institutional design