: The phase transition in random Horn satisfiability and its algorithmic implications.
Myung Ho Kim
: A Geometric Model for Information Retrieval Systems.
: Deduction over Mixed-Level Logic Representations for Text Passage Retrieval.
: Fast Hierarchical Clustering and Other Applications of Dynamic Closest Pairs.
: Mixed-Level Knowledge Representation and Variable-Depth Inference in Natural Language Processing.
Neil J. Gunther
: Seeing the Forest in the Tree: Applying VRML to Mathematical Problems in Number Theory.