The Design of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarative programming that has been developed in the field of logic programming and nonmonotonic reasoning. Advances in ASP solving technology are customarily assessed in competition events, as it happens for other closely-related problem-solving technologies like SAT/SMT, QBF, Planning and Scheduling. ASP Competitions are (usually) biennial events; however, the Fifth ASP Competition departs from tradition, in order to join the FLoC Olympic Games at the Vienna Summer of Logic 2014, which is expected to be the largest event in the history of logic. This edition of the ASP Competition series is jointly organized by the University of Calabria (Italy), the Aalto University (Finland), and the University of Genova (Italy), and is affiliated with the 30th International Conference on Logic Programming (ICLP 2014). It features a completely re-designed setup, with novelties involving the design of tracks, the scoring schema, and the adherence to a fixed modeling language in order to push the adoption of the ASP-Core-2 standard. Benchmark domains are taken from past editions, and best system packages submitted in 2013 are compared with new versions and solvers. To appear in Theory and Practice of Logic Programming (TPLP).Comment: 10 page

Translation in distraction : on Eileen Chang’s “Chinese translation: a vehicle of cultural influence”

This essay focuses on a previously obscure and only recently republished English text held at USC that offers an unparalleled window into Chang’s engagement with translation. The untitled manuscript, typed with handwritten additions and corrections, is contained in a folder marked “Untitled article or speech” and appears to be the script of an oral presentation in which Chang surveys the development of translation in China from the late-Qing period, through the 1911 revolution, the May Fourth period, the war with Japan, the 1949 revolution and the Cultural Revolution. Her speech emphasizes how translation functioned as an index to China’s fraught relationship with the outside world, particularly the West (including Japan and Russia); to that end, the text engages with historical movements such as imperialism, modernization, and the ideological polarization of the Cold War, resulting in an account that belies her reputation as an apolitical figure. While the rediscovery of a text by Eileen Chang is certainly a matter of anecdotal interest, the purpose of this essay is not only to reconstruct its history but also to consider how it illuminates her lifelong relationship to translation through which, I will argue, she tried to unsettle the geopolitical categories that Chih-ming Wang 王智明 (2012) has identified as foundational to modern Chinese literary culture. In what follows, I start by providing an overview of the text based on archival and other sources and provide a summary of its contents. Turning to Shuang Shen’s 沈雙 (2012) discussion of translation as impersonation, I consider how the oral address, a rare textual form in the oeuvre of a notoriously reclusive writer, involves navigating the roles of reader, author, and translator. Through this genre, Chang hints at the possibility of distancing herself from the geopolitics of translation even as the ultimate failure to do so reveals the constraints of her diasporic condition

Focal Spot, Summer 1987

https://digitalcommons.wustl.edu/focal_spot_archives/1046/thumbnail.jp

Barry Smith an sich

Festschrift in Honor of Barry Smith on the occasion of his 65th Birthday. Published as issue 4:4 of the journal Cosmos + Taxis: Studies in Emergent Order and Organization. Includes contributions by Wolfgang Grassl, Nicola Guarino, John T. Kearns, Rudolf Lüthe, Luc Schneider, Peter Simons, Wojciech Żełaniec, and Jan Woleński

Learning morphological phenomena of Modern Greek an exploratory approach

This paper presents a computational model for the description of concatenative morphological phenomena of modern Greek (such as inflection, derivation and compounding) to allow learners, trainers and developers to explore linguistic processes through their own constructions in an interactive open‐ended multimedia environment. The proposed model introduces a new language metaphor, the ‘puzzle‐metaphor’ (similar to the existing ‘turtle‐metaphor’ for concepts from mathematics and physics), based on a visualized unification‐like mechanism for pattern matching. The computational implementation of the model can be used for creating environments for learning through design and learning by teaching

Social networking and transnational capitalism

Social Networking Sites (SNS) have become a key component of users’ experience of the internet. Whilst much has been made of the social dynamics of online SNS, the influence of the structures and operations of these sites – and the business models behind them – on users is rarely accounted for. This paper argues that behind the social behaviours sup- ported by SNS, there is a growing shift towards viewing online communities as commodities, and SNS as an extension of mainstream capitalist ideologies fostered by existing patterns of commercialization and consumption. Using the works of Gramsci, Gill and Hardt & Negri to provide a critical grounding, this paper explores the popular SNS site ‘Facebook’ and suggests that SNS may feel to the users to be free, social, personal, but in fact SNS are business as usual

Eternity and Print How Medieval Ideas of Time Influenced the Development of Mechanical Reproduction of Texts and Images

The methods of intellectual history have not yet been applied to studying the invention of technology for printing texts and images ca. 1375–ca. 1450. One of the several conceptual developments in this period refl ecting the possibility of mechanical replication is a view of the relationship of eternity to durational time based on Gregory of Nyssa’s philosophy of time and William of Ockham’s. Th e article considers how changes in these ideas helped enable the conceptual possibilities of the dissemination of ideas. It describes a direct connection of human perceptual knowledge to divine knowledge that enhanced the authority of printed production to transfer and reproduce the true and the good