For example, in arithmetic, it allows the expression of the statement that every natural number has a successor. A language element which generates a… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2010

2010

- Antonio Bella, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana
- 2010 IEEE International Conference on Data Mining
- 2010

Quantification is the name given to a novel machine learning task which deals with correctly estimating the number of elements of… (More)

Is this relevant?

2009

2009

- MIKO LAJ
- 2009

We study tree languages that can be defined in ∆2. These are tree languages definable by a first-order formula whose quantifier… (More)

Is this relevant?

2009

2009

Superlative quantifiers (“at least 3”, “at most 3”) and comparative quantifiers (“more than 2”, “fewer than 4”) are traditionally… (More)

Is this relevant?

2005

2005

We present data from a preferential looking method to investigate when infants have mapped singular and plural markers in English… (More)

Is this relevant?

2004

2004

- Christopher W. Brown
- ACM SIGSAM Bulletin
- 2004

QEPCAD B<sup>2</sup> is a system for computing with semi-algebraic sets. a <i>semi-algebraic set</i> is a subset of ℝ<sup><i>n</i… (More)

Is this relevant?

2003

2003

- Bart Geurts
- 2003

Newstead’s critique is an exercise in carpet-bombing: he doesn’t raise one big objection but a host of smaller ones. I hope I… (More)

Is this relevant?

2003

2003

- Yngve Lamo, Michal Walicki
- Electr. Notes Theor. Comput. Sci.
- 2003

We develop a new logic for deriving consequences of multialgebraic theories (specifications). Multilagebras are used as models… (More)

Is this relevant?

Highly Cited

1991

Highly Cited

1991

- George E. Collins, H. Hong
- J. Symb. Comput.
- 1991

The Cylindrical Algebraic Decomposition method (CAD) decomposes R r into regions over which given polynomials have constant signs… (More)

Is this relevant?

Highly Cited

1990

Highly Cited

1990

- David Luckham
- Texts and Monographs in Computer Science
- 1990

ion issues are related to expressing what is often called design. The manipulation of annotations is related to reasoning how to… (More)

Is this relevant?

Highly Cited

1975

Highly Cited

1975

- Gary G. Hendrix
- IJCAI
- 1975

in which the various nodes and arcs are partitioned into "net spaces." These net spaces delimit the scopes of quantified… (More)

Is this relevant?