This paper presents systems for syntactic chunking and clause identification for Basque, combining rule-based grammars with machine-learning techniques. Precisely, we used Filtering-Ranking with Perceptrons (Carreras, Màrquez and Castro, 2005): a learning model that recognizes partial syntactic structures in sentences, obtaining state-of-the-art performance for these tasks in English. This mode...

This experimental study investigated the learners’ integrative acquisition of obligatory overt subjects and subject-verb clause agreement in English as an L2. In L1 acquisition research, correlations between superficially unrelated linguistic phenomena are analyzed in terms of integrative effects. For instance, in English L1 acquisition, there is evidence for an integrative appearance of subjec...

The paper is concerned with the relevant practical problem of selecting a small unsatisfiable subset of clauses inside an unsatisfiable CNF formula. Moreover, it deals with the algorithmic problem of improving an enumerative (DPLL-style) approach to SAT, in order to overcome some structural defects of such approach. Within a complete solution framework, we are able to evaluate the difficulty of...

A software architecture that interfaces a concurrent logic programming system to a Prolog database machine is described. The concurrent logic programming system connects a guarded clause inference engine with a definite clause inference engine to support concurrent execution of mutually invoking guarded and definite clause programs. An interface to a Prolog database machine allows the concurren...