We use Inductive Logic Programming (ILP) within a chart-parsing framework for grammar learning. Given an existing grammar G, together with some sentences which G can not parse, we use ILP to nd the \miss-ing" grammar rules or lexical items. Our aim is to exploit the inductive capabilities of chart parsing, i.e. the ability to eeciently determine what is needed for a parse. For each unparsable s...

GORMEL is a tool for automatic verification of distributed algorithms based on a method proposed in [SG89]. The algorithm is viewed as an infinite family of finite state programs and is described by means of a network grammar. Given a grammar and a specification, we first check that the grammar is inductive and then check the specification on one of the small programs. If a grammar is not induc...

For second language learners, the value of the explicit teaching of English grammar has never been questioned. However, in recent times there has been dissent about whether or not to teach English grammar to native speakers. From the late 1960s onwards English grammar teaching in the United Kingdom largely disappeared from the curriculum, and was replaced by teachers focusing on students learni...

The primary purpose of the present study was to explore whether there was any significant relationship between attitude, self-efficacy, and job satisfaction of Iranian EFL teachers on the one hand, and their choice of teaching strategies. Strategies mostly used by participants of the study with low, mid, and high levels of self-efficacy comprised another purpose of the study. To this end, a que...