The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The correctness property concerns the declarative semantics. The proof, however, refers to the operational semantics (LD-resolution) of the source programs. Its conciseness is due to applying a suitable proof method.

We have developed a system that generates evaluative arguments that are tailored to the user, properly arranged and concise. We have also developed an evaluation framework in which the effectiveness of evaluative arguments can be measured with real users. This paper presents the results of a formal experiment we have performed in our framework to verify the influence of argument conciseness on ...

In this paper, I will give a detailed account of vowel harmony, disharmony, dissimilation, and elision in Yucatec Maya. These phenomena provide insights for the treatment of assimilation in Optimality Theory (Prince & Smolensky 1993). The theoretical topics to be dealt with are (i) an adequate formalisation of phonological feature assimilation within Correspondence Theory (McCarthy & Prince 199...

Before discussing the pathogenesis and clinical aspects of this disease, clarification of some of the pertinent terminological definitions may be in order. Hypertrophic emphysema is the most commonly used designation of this disease. Also, it is known under the following names: genuine emphysema, idiopathic emphysema, diffuse vesicular emphysema, obstructive emphysema, dystrophlc emphysema, pul...

Our question answering system was built with a number of priorities in mind. First, we wanted to experiment with natural language processing (NLP) technologies such as shallow parsing, named entity tagging, and coreference chaining. We felt that the small number of terms in the questions coupled with the short length of the answers would make NLP technologies clearly beneficial, unlike previous...

2 Principal contact: This year our primary goal was to improve on the performance of our TREC-8 system. In addition to improving the system directly, we worked on a number of tools to aid our development. We continued our work on a tool for automatic scoring of system responses, a “judge” program. We designed a tool for doing regression testing of question answering systems. W...

The set of programs written in a small subset of pure Prolog called US is shown to accept exactly the class of regular languages. The language US contains only unary predicates and unary function symbols. Also, a subset of US called RUS is shown to be equivalent to US in its ability in accepting the class of regular languages. Every clause in RUS contains at most one function symbol in the head...

There is one concept in medicine which is prominent, the symptom. The omnipresence of the symptom seems, however, not to be reflected by an equally prominent curiosity aimed at investigating this concept as a phenomenon. In classic, traditional or conventional medical diagnostics and treatment, the lack of distinction with respect to the symptom represents a minor problem. Faced with enigmatic ...

Annals of Ibadan Postgraduate Medicine. Vol. 14 No. 2, December 2016 56 Prior to the beginning of the 20th Century, infectious diseases accounted for high morbidity and mortality worldwide. The average life expectancy at birth was 47 years (46 and 48 years for men and women respectively) even in the industrialized world. Infectious diseases such as smallpox, cholera, diphtheria, pneumonia, typh...

The idea of executing sections of code optimistically in parallel in order to increase performance has recently regained popularity in the computer architecture literature. Two papers [6, 7] suggest the speculative elision of lock acquisitions in threaded programs to eliminate unnecessary serialization and to allow the use of more coarse-grained locks without sacrificing performance. These sche...