: A Divergence Critic for Inductive Proof.
: Practical Methods for Proving Termination of General Logic Programs.
Douglas H. Fisher
: Iterative Optimization and Simplification of Hierarchical Clusterings.
, Gökhan Tür
: Combining Hand-crafted Rules and Unsupervised Learning in Constraint-based Morphological Disambiguation.
: Magic for Filter Optimization in Dynamic Bottom-up Processing.
: Unsupervised Learning of Word-Category Guessing Rules.
: A Model-Theoretic Framework for Theories of Syntax.
: Learning Part-of-Speech Guessing Rules from Lexicon: Extension to Non-Concatenative Operations.
, founded at