Finding models of logical formulas is a challenging problem. For first-order formulas, a finite model can be found by exhaustive search. For many structured problem instances, there is much isomorphism in the search space. This paper proposes general-purpose techniques for eliminating isomorphic subspaces, which can be helpful when the formulas have many predicates. The techniques are based on ...

This paper proposes a method for automatically acquiring strongly-related events from a large corpus using predicateargument co-occurring statistics and case frames. The strongly-related events are acquired in the form of strongly-related two predicates with their relevant arguments. First, strongly-related events are acquired from predicate-argument cooccurring statistics. Then, the remaining ...

We define a new invariant for shift equivalence of sofic shifts. This invariant, that we call the syntactic graph of a sofic shift, is the directed acyclic graph of characteristic groups of the non null regular D-classes of the syntactic semigroup of the shift.

A regular language L over an alphabet A is called piecewise testable if it is a finite boolean combination of languages of the form Aa1A a2A ∗ . . . Aa`A ∗, where a1, . . . , a` ∈ A, ` ≥ 0. An effective characterization of piecewise testable languages was given in 1972 by Simon who proved that a language L is piecewise testable if and only if its syntactic monoid is J -trivial. Nowadays there e...

e description of the reciprocity phenomenon is more tricky than it is supposed in grammatical handbooks: It must cover both the issues of lexicon and of syntax and of their interplay as well. e lexical counterpart of the English expression each other is not the central (core) means for denoting reciprocity in some Slavonic languages, esp. in Czech. e troublemaking Czech reflexive se/siplays ...

Knowledge about aging of perceptual-motor skills is based almost exclusively on cross-sectional studies. We examined age-related changes in the retention of mirror-tracing skills in healthy adults who practiced for 3 separate days at baseline and retrained 5 years later at follow-up. Overall, the speed and accuracy of an acquired skill were partially retained after a 5-year interim, although th...