### Table 1 The language of the event calculus

2003

"... In PAGE 5: ... The event calculus is based on first-order predicate calculus, extended with circumscription to overcome the frame problem. Table1 presents the essentials of the language of the calculus, which includes sorts for fluents, actions (events), and time points. The sort of time points is assumed to be interpreted by the positive reals.... ..."

### Table 5.1: Basic functionality annotations for naming concept responsibilities

### Table IV. Implication relationships between the predicates Predicate Implied Predicate

2004

Cited by 7

### Table 2: Join predicates and corresponding -predicates.

"... In PAGE 7: ... In order to be an e cient lter, -predicates should be both selective and relatively easy to compute. Table2 gives several examples; note that the chosen -predicates are often similar or identical to the corresponding join predicates . Now let GTR:A and GTS:B denote the generalization trees de ned on the relevant spatial columns A and B of relations R and S, respectively.... In PAGE 9: ...matter where these rectangles are located (cf. the de nition in Table2 ). This means that for this predicate the expected result size is very large: in the average, 25% of the tuples in R S qualify.... ..."

### Table 10: Control and Enumeration Predicates Predicate Description

1993

Cited by 8