To generate natural language feedback for an intelligent tutoring system, we developed a simple planning model with a distinguishing feature: its plan operators are derived automatically, on the basis of the association rules mined from our tutorial dialog corpus. Automatically mined rules are also used for realization. We evaluated 5 different versions of a system that tutors on an abstract se...

In recent years (though influenced by papers of G. Kreisel going back to the 50’s, e.g. [75–77]) as well as subsequent work by H. Luckhardt ([83, 84]) and others an applied form of proof theory systematically evolved which is also called ‘Proof Mining’ ([73]). It is concerned with transformations of prima facie ineffective proofs into proofs from which certain quantitative computational informa...

abstract introduction: septicemia is an important and common cause of neonatal mortality and morbidity. several factors such as genetic, social, hygienic and nutritional factors are effective on the frequency of bacterial pathogens in neonatal septicemia, several studies have performed to determine common pathogens in the different parts of the world. objective: comparison of neonatal bacterial...

This article draws attention to a central dispute in the interpretation of Church’s Thesis. More precisely, we are concerned with the Church-Turing thesis, as it emerged in 1936 when Church endorsed Turing’s characterization of the concept of effective calculability. (The article by Sieg in this volume details this history. It is valuable also to note from Krajewski, also in this volume, that t...

The continuing development of Semantic Web technologies and the increasing user adoption in the recent years have accelerated the progress incorporating explicit semantics with data on the Web. With the rapidly growing RDF (Resource Description Framework) data on the Semantic Web, processing large semantic graph data have become more challenging. Constructing a summary graph structure from the ...