### Table 1. A short summary of literature on Situation Calculus and Event Calculus. Situation Calculus Event Calculus Authors Contribution Author(s) Contribution

1996

"... In PAGE 1: ...vent Calculus apos; forte is the ability to assimilate a narrative, i.e. the description of a course of events, adjusting the e ects of action and the time-line of the narrative as it becomes more and more precise, in an additive only fashion. These two formalisms have received attention from several authors, with various perspectives; Table1 is a summary of contributions related to this paper. In their recent production, Pinto and Reiter (1993a and 1993b) have introduced an extended version of Situation Calculus (ESC) which makes it possible to represent dates and time-stamp actions and situations; to represent a narrative which actually occurred in the world as a branch of the tree of possible developments of the world that SC handles.... ..."

Cited by 17

### Table 1: Situations and their partitions

"... In PAGE 9: ... Similarly, the goodness of a cast can be determined as a function of the geometric layout of the objects in the cast and the distances between them. Table1 indicates the simplicity of choosing actions given a cast for the five activities in the Flox system. The first row of the table indicates the number of roles in each activity.... ..."

### Table 1. Sample situations used in a questionnaire to determine preferences among communications media; there were 21 situations in total.

"... In PAGE 7: ... For our study these 14 situations have been re-used, along with 7 new situations involving discussions of spe- cific documents. Table1 lists three example situations from the survey. Of course, given the early stage of the testing and the small test group, statistically significant results are not expected.... ..."

### Table 12 Determine Action Required to Rectify Undesirable Situation

1996

### Table 1 Focalized sequent calculus for MNL

2000

"... In PAGE 19: ... Note that we omit the sym- bol turnstileleft at the beginning of sequents, since it is useless in one-sided sequents. The rules of the sequent calculus are given in Table1 As we are interested in proof search, we only deal with cut-free sequent calculus. Observe that a crucial rule of NL, entropy, does not appear explicitely in Table 1 As we have already said in the introduction, entropy is a source of non-determinism in proof search.... In PAGE 19: ... The rules of the sequent calculus are given in Table 1 As we are interested in proof search, we only deal with cut-free sequent calculus. Observe that a crucial rule of NL, entropy, does not appear explicitely in Table1 As we have already said in the introduction, entropy is a source of non-determinism in proof search. In Table 1, it is included in the rule for circledot, the only place where it is actually necessary: this is not trivial, but a consequence of the results in the previous section, and the rest of the present section is devoted to proving that this optimized sequent calculus is actually equivalent to the original one in [1,14] or in Appendix 9.... In PAGE 19: ... Observe that a crucial rule of NL, entropy, does not appear explicitely in Table 1 As we have already said in the introduction, entropy is a source of non-determinism in proof search. In Table1 , it is included in the rule for circledot, the only place where it is actually necessary: this is not trivial, but a consequence of the results in the previous section, and the rest of the present section is devoted to proving that this optimized sequent calculus is actually equivalent to the original one in [1,14] or in Appendix 9. We do this by proving adequacy and sequentialization w.... ..."

### Table 1. Linear relationship between the volume of VP affected by injected tracer and the amount of cortex containing labeled thalamocortical ramifications

1998

Cited by 2

### Table.1. We will use the simulation experiments to determine which strategy is the best, and in which situations.

2007

Cited by 1

### Table: Indication of the ability of the analysis to determine the unknowns in different physical situations and to lowest order in curvature.

### Table 1. Embedding agility into the situated process framework.

"... In PAGE 5: ... In practice, making the deci- sion process visible is extremely valuable because it forces management to actively determine whether an activity or artifact is both necessary and sufficient. Table1 describes how the framework applies in the context of agile principles and practice. In broad terms, the situated process framework aims to ori- ent users toward adopting agile development in everyday practice by suggesting suitable techniques for collaboration, interaction, and communication.... ..."

### Table 1. Three situations of errors correction.

"... In PAGE 4: ... Whenever text input evaluation involves corrections, human factors must be considered because we cannot predict how the user will correct the errors. For example, in Table1 there are three situations, but only situation S0 lends itself to automatic experiments because there is no concern about corrections. In character-based text entry, if we assume that the same number of errors occur in different situations and users adopt the same method to fix the problems, we would still need to design a keystroke event logger to record all the editing processes in order to determine the boundary of the amortized cost: .... ..."