We present alternative definitions of the first-order stable model semantics and its extension to incorporate generalized quantifiers by referring to the familiar notion of a reduct instead of referring to the SM operator in the original definitions. Also, we extend the FLP stable model semantics to allow generalized quantifiers by referring to an operator that is similar to the SM operator. Fo...

Given a compact orientable surface , let S(() be the set of isotopy classes of essential simple loops on. We determine a complete set of relations for a function from S(() to Z to be a geometric intersection number function. As a consequence, we obtain explicit equations in R S(() and P(R S(()) deening Thurston's space of measured laminations and Thurston's compactiication of the Teichm uller s...

PARSEVAL, the default paradigm for evaluating constituency parsers, calculates parsing success (Precision/Recall) as a function of the number of matching labeled brackets across the test set. Nodes in constituency trees, however, are connected together to reflect important linguistic relations such as predicate-argument and direct-dominance relations between categories. In this paper, we presen...