BIT predicate
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
- 2014
Motivated by the unusual patterns and dyn amics of the Arab Spring, we construct a model explaining the vulnerability of the… (More)
Is this relevant?
2011
2011
- Logical Methods in Computer Science
- 2011
This article shows that there exist two particular linear orders such that firstorder logic with these two linear orders has the… (More)
Is this relevant?
2005
2005
- 2005
Two studies looked at whether children used transitivity as a structural cue to telicity semantics. Telicity comprehension was… (More)
Is this relevant?
Review
2003
Review
2003
- 2003
The significance of ‘‘being similar’’ in the inference of species relationships is refuted once again (see also Hennig, 1966… (More)
Is this relevant?
2001
2001
- 2001
This report is intended as a companion to another report, Asymmetry and Reverse Transfers in Metaphor, [Barnden et al., 2002]. In… (More)
Is this relevant?
2000
2000
- CSL
- 2000
We investigate the complexity of the xed-points of bounded formulas in the context of nite set theory; that is, in the context of… (More)
Is this relevant?
1999
1999
- LICS
- 1999
The ordered conjecture states that least fixed-point logic LFP is strictly more expressive than first-order logic FO on every… (More)
Is this relevant?
1998
1998
- STACS
- 1998
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper… (More)
Is this relevant?
1986
1954