Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and integer coefficients. As to their relationship with respect to termination proving power, Lucas managed to prove in 2006 that there are rewrite systems that can be shown polynomially terminating by polynomial interpretations with real (algebraic) coefficients, but cannot be shown polynomially terminating using polynomials with rational coefficients only. He also proved the corresponding statement regarding the use of rational coefficients versus integer coefficients. In this article we extend these results, thereby giving the full picture of the relationship between the aforementioned variants of polynomial interpretations. In particular, we show that polynomial interpretations with real or rational coefficients do not subsume polynomial interpretations with integer coefficients. Our results hold also for incremental termination proofs with polynomial interpretations.Comment: 28 pages; special issue of RTA 201

Non-termination Analysis of Logic Programs with Integer arithmetics

In the past years, analyzers have been introduced to detect classes of non-terminating queries for definite logic programs. Although these non-termination analyzers have shown to be rather precise, their applicability on real-life Prolog programs is limited because most Prolog programs use non-logical features. As a first step towards the analysis of Prolog programs, this paper presents a non-termination condition for Logic Programs containing integer arithmetics. The analyzer is based on our non-termination analyzer presented at ICLP 2009. The analysis starts from a class of queries and infers a subclass of non-terminating ones. In a first phase, we ignore the outcome (success or failure) of the arithmetic operations, assuming success of all arithmetic calls. In a second phase, we characterize successful arithmetic calls as a constraint problem, the solution of which determines the non-terminating queries.Comment: 15 pages, 2 figures, journal TPLP (special issue on the international conference of logic programming

A clinical heritage of empirical research. In memory of Jeremy Safran

This is Part II of a special issue, Research in Psychotherapy: Psychopathology, Process and Outcome, dedicated in memory of our colleague Jeremy Safran (Part I was published in April 2019). All of the contributions (theoretical papers, clinical cases, qualitative and quantitative studies) presented in this second part of the special issue focus on the topic of ruptures and resolutions in the therapeutic alliance. Each paper demonstrates a unique approach, perspective, and methodology

Introduction: what is Wandelweiser?

The introduction to a special issue of 'Contemporary Music Review' on Wandelweiser

Special Issue, December 2018

Contents: 5 – 7 Terry Beitzel, Gjylbehare Muharti, and Hysen Nimani, Responsibility in the Balkans: Justice, Media and Arts. 8 – 22 Mujë Ukaj and Qendresa Jasharaj, International Criminal Responsibility in Kosovo: Establishment of the International Criminal Court - de lege lata, de lege ferenda. 23 – 41 Avdullah Robaj and Sabiha Shala, Responsibility in Building Rule of Law: Kosovo Challenges. 42 – 54 Mujë Ukaj, The Irresponsible Persons: the Imposition and Execution of the Mandatory Treatment Measures on Criminal Procedure of Kosovo. 55 – 64 Gani Asllani, Bedri Statovci, and Gentiana Gega, Development and Protection of Economic Competition in Kosovo. 65 – 87 Saranda Leka and Dukagjin Leka, Judiciary and State-Building of Kosovo: Execution of Imprisonment for Women in the Republic of Kosovo. 88 – 99 Alba Muçolli and Syzana Jakupi, Working on a Tone - as Challenge of the Music Education Responsibility. 100 – 107 Syzana Jakupi and Alba Muçolli, Music, Institutions and Responsibilities in Kosovo

Special Issue

Normal\u27s Firefighters on Strikehttps://thekeep.eiu.edu/post_amerikan/1073/thumbnail.jp

Introduction to the 26th International Conference on Logic Programming Special Issue

This is the preface to the 26th International Conference on Logic Programming Special IssueComment: 6 page

Special Issue

Normal\u27s Firefighters on Strikehttps://thekeep.eiu.edu/post_amerikan/1073/thumbnail.jp