SWISH: SWI-Prolog for Sharing

Recently, we see a new type of interfaces for programmers based on web technology. For example, JSFiddle, IPython Notebook and R-studio. Web technology enables cloud-based solutions, embedding in tutorial web pages, atractive rendering of results, web-scale cooperative development, etc. This article describes SWISH, a web front-end for Prolog. A public website exposes SWI-Prolog using SWISH, which is used to run small Prolog programs for demonstration, experimentation and education. We connected SWISH to the ClioPatria semantic web toolkit, where it allows for collaborative development of programs and queries related to a dataset as well as performing maintenance tasks on the running server and we embedded SWISH in the Learn Prolog Now! online Prolog book.Comment: International Workshop on User-Oriented Logic Programming (IULP 2015), co-located with the 31st International Conference on Logic Programming (ICLP 2015), Proceedings of the International Workshop on User-Oriented Logic Programming (IULP 2015), Editors: Stefan Ellmauthaler and Claudia Schulz, pages 99-113, August 201

Some Aspects of Community Empowerment and Resilience

Editors: Venkat Pulla and Bharath Bhushan Mamidi. 2015. New Delhi: Allied Publishers Pvt. Ltd, ISBN: 978-81-8424-962-0, 258 pages, Paperback US$25.00 /₹75

Introduction to the Special Issue

[Without Abstract] Introduction to International Review of Applied Linguistics in Language Teaching, Volume 53, Issue 2 (Jun 2015)- Special Issue: Processing instruction: New insights after twenty years of theory, research and application. Guest Editors: Alessandro Benati and James F. Lee

NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle

We present a new software tool for teaching logic based on natural deduction. Its proof system is formalized in the proof assistant Isabelle such that its definition is very precise. Soundness of the formalization has been proved in Isabelle. The tool is open source software developed in TypeScript / JavaScript and can thus be used directly in a browser without any further installation. Although developed for undergraduate computer science students who are used to study and program concrete computer code in a programming language we consider the approach relevant for a broader audience and for other proof systems as well.Comment: Proceedings of the Fourth International Conference on Tools for Teaching Logic (TTL2015), Rennes, France, June 9-12, 2015. Editors: M. Antonia Huertas, Jo\~ao Marcos, Mar\'ia Manzano, Sophie Pinchinat, Fran\c{c}ois Schwarzentrube

The loyal editor effect: Russian online journalism after independence

This is the author accepted manuscript. The final version is available from Taylor & Francis via https://doi.org/10.1080/1060586X.2016.1200797This article investigates what effect pressure from owners - via loyal editors, had on journalistic output at the popular Russian online newspapers Lenta and Gazeta. Using novel methods to analyse a dataset of nearly 1 million texts from the period 2010-2015, this article separates the effect of a changing news agenda from new editorial priorities. Statistical tests show that changes in output coincide temporally with editorial change, and that the direction of change sees new editors move away from publication patterns associated with other independent outlets. In both Gazeta and Lenta, editorial changes were accompanied by a move away from core news areas such as domestic and international politics, towards lifestyle and human interest subjects. The loyal editor effect resulted in a 50% reduction in coverage of controversial legal proceedings, together with the business dealings of Russian elites