Rousseau on the Tourist Trail

This essay looks at the post-Napoleonic tourist trail associated with Rousseau in Switzerland, reconstructing the tourist sentiment which the figure of the philosopher elicited. This was a complex meld of the biographical and the fictional, which solicited the self-conscious and performative occupation by the visitor of a Rousseauistic sensibility. By comparing and contrasting early nineteenth-century travellers’ accounts of visiting Voltaire’s chateau at Ferney and Rousseau’s homes, especially his farmhouse refuge on the Ile St Pierre in the Lac de Bienne, this paper traces the emergence and contours of a new, romantic type of tourist sensibility and matching practices created by and around Rousseau before considering the way in which this model was subsumed within the exilic appeal of the Byronic

A \textsf{C++} reasoner for the description logic \shdlssx (Extended Version)

We present an ongoing implementation of a \ke\space based reasoner for a decidable fragment of stratified elementary set theory expressing the description logic \dlssx (shortly \shdlssx). The reasoner checks the consistency of \shdlssx-knowledge bases (KBs) represented in set-theoretic terms. It is implemented in \textsf{C++} and supports \shdlssx-KBs serialized in the OWL/XML format. To the best of our knowledge, this is the first attempt to implement a reasoner for the consistency checking of a description logic represented via a fragment of set theory that can also classify standard OWL ontologies.Comment: 15 pages. arXiv admin note: text overlap with arXiv:1702.03096, arXiv:1804.1122

Automated Synthesis of Tableau Calculi

This paper presents a method for synthesising sound and complete tableau calculi. Given a specification of the formal semantics of a logic, the method generates a set of tableau inference rules that can then be used to reason within the logic. The method guarantees that the generated rules form a calculus which is sound and constructively complete. If the logic can be shown to admit finite filtration with respect to a well-defined first-order semantics then adding a general blocking mechanism provides a terminating tableau calculus. The process of generating tableau rules can be completely automated and produces, together with the blocking mechanism, an automated procedure for generating tableau decision procedures. For illustration we show the workability of the approach for a description logic with transitive roles and propositional intuitionistic logic.Comment: 32 page

Benchmarks for Parity Games (extended version)

We propose a benchmark suite for parity games that includes all benchmarks that have been used in the literature, and make it available online. We give an overview of the parity games, including a description of how they have been generated. We also describe structural properties of parity games, and using these properties we show that our benchmarks are representative. With this work we provide a starting point for further experimentation with parity games.Comment: The corresponding tool and benchmarks are available from https://github.com/jkeiren/paritygame-generator. This is an extended version of the paper that has been accepted for FSEN 201

Linear Temporal Logic and Propositional Schemata, Back and Forth (extended version)

This paper relates the well-known Linear Temporal Logic with the logic of propositional schemata introduced by the authors. We prove that LTL is equivalent to a class of schemata in the sense that polynomial-time reductions exist from one logic to the other. Some consequences about complexity are given. We report about first experiments and the consequences about possible improvements in existing implementations are analyzed.Comment: Extended version of a paper submitted at TIME 2011: contains proofs, additional examples & figures, additional comparison between classical LTL/schemata algorithms up to the provided translations, and an example of how to do model checking with schemata; 36 pages, 8 figure

Quantifying the impact of services liberalization in a developing country

The authors consider how service liberalization differs from goods liberalization in terms of welfare, the level and composition of output, and factor prices within a developing economy, in this case Tunisia. Despite recent movements toward liberalization, Tunisian service sectors remain largely closed to foreign participation and are provided at high cost relative to many developing nations. The authors develop a computable general equilibrium (CGE) model of the Tunisian economy with multiple products and services and three trading partners. They model goods liberalization as the unilateral removal of product tariffs. Restraints on services trade involve both restrictions on cross-border supply (mode 1 in the GATS) and on foreign ownership through foreign direct investment (mode 3 in the GATS). The former are modeled as tariff-equivalent price wedges while the latter are comprised of both monopoly-rent distortions (arising from imperfect competition among domestic producers) andinefficiency costs (arising from a failure of domestic service providers to adopt least-cost practices). They find that goods-trade liberalization yields a gain in aggregate welfare and reorients production toward sectors of benchmark comparative advantage. However, a reduction of services barriers in a way that permits greater competition through foreign direct investment generates larger welfare gains. Service liberalization also requires lower adjustment costs, measured in terms of sectoral movement of workers, than does goods-trade liberalization. And it tends to increase economic activity in all sectors and raise the real returns to both capital and labor. The overall welfare gains of comprehensive service liberalization amount to more than 5 percent of initial consumption. The bulk of these gains come from opening markets for finance, business services, and telecommunications. Because these are key inputs into all sectors of the economy, their liberalization cuts costs and drives larger efficiency gains overall. The results point to the potential importance of deregulating services provision for economic development.Payment Systems&Infrastructure,Environmental Economics&Policies,Decentralization,Economic Theory&Research,Banks&Banking Reform,Economic Theory&Research,Environmental Economics&Policies,TF054105-DONOR FUNDED OPERATION ADMINISTRATION FEE INCOME AND EXPENSE ACCOUNT,Health Economics&Finance,Banks&Banking Reform