Results 1 - 10 of 325,755

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

in Hypothetical Reasoning About Actions: From Situation Calculus To Event Calculus
by Alessandro Provetti 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 The language of the event calculus

in
by Murray Shanahan 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 1. The Event Calculus Predicates

in Correctness Requirements for Multiagent Commitment Protocols
by Pınar Yolum
"... In PAGE 2: ... Initiating and termination of events allow manipulation of uents. Table1 supplies a list of predicates to help reason about the events in an easier form. Below, events are shown with a; b; : : :; uents are shown with f; g; : : :; and time points are shown with t; t1; and t2.... ..."

Table 2: Results on event calculus benchmark problems

in
by unknown authors
"... In PAGE 5: ... [actor1,actor2,time] Happens(DisapproveOf(actor1,actor2),time) - gt; Initiates(ApproveOf(actor1,actor2),Confused(actor2),time). Evaluation on Event Calculus Problems As shown in Table2 , our tool solves 12 of the 14 benchmark commonsense reasoning problems that have been described for the event calculus by Shanahan (1997; 1999a). All of the problems are solved in less than one second.... ..."

Table 6. Intrinsic event-related knowledge expressed by nouns

in Knowledge-rich Contexts Discovery
by Council Canada, Barrière C, Caroline Barrière 2004
"... In PAGE 6: ... Furthermore, some nouns are defined as place, agent or point in time. Table6 shows a few examples. The noun definition therefore leads to a typical action and becomes an answer to who, where or when for that action.... ..."

Table 2. Action events and parameters

in View-based interpretation of real-time optical flow for gesture recognition
by Ross Cutler 1998
"... In PAGE 5: ... This frequency, along with the left and right beat and the maximum average flow (over a period of time) can be used as input to control an interactive environment. The events and parameters for the other actions (see Table2 ) are computed in a similar fashion. 6Results In order to test our gesture recognition system, we have developed an interactive environment for children.... ..."
Cited by 63

Table 2. Action events and parameters

in View-based Interpretation of Real-time Optical Flow for Gesture Recognition
by Ross Cutler, Matthew Turk 1998
"... In PAGE 5: ... This frequency, along with the left and right beat and the maximum average flow (over a period of time) can be used as input to control an interactive environment. The events and parameters for the other actions (see Table2 ) are computed in a similar fashion. 6 Results In order to test our gesture recognition system, we have developed an interactive environment for children.... ..."
Cited by 63

Table 3. A Mapping of Representative Knowledge Management Theory against Five Structuration Theory Elements

in A STRUCTURATIONIST REVIEW OF KNOWLEDGE MANAGEMENT THEORIES
by Greg Timbrell, Patrick Delaney, Taizan Chan, Aaron Yue, Guy Gable
"... In PAGE 8: ... Having harmonized the theories, we were left with a final set of 18 papers. (The papers are presented in Table3 . Note that where multiple articles were found to reference the same theory, Table 3 includes the first such article in time; in other words, the origin of the theory, at least in the realm of IS research, if not KM research.... In PAGE 8: ... The criteria for each construct are presented in Table 2. Discussion Table3 presents the results of the mapping exercise. Our analysis provides an indication of whether the KM theories, identified in the literature, exhibit themes identified from structuration theory.... ..."

Table 1: Event calculus predicates

in ABSTRACT Towards Design Tools for Protocol Development
by unknown authors
"... In PAGE 2: ... Fluents are manipulated by initi- ation and termination of events. Table1 supplies a list of predicates to help reason about the events in an easier form. Below, events are shown with a,b,.... ..."

Table 1. Main Predicates of the Event Calculus.

in A Formalisation of Dynamic Argument Systems
by Er Artikis, Dimosthenis Kaponis
"... In PAGE 2: ... An action description in EC includes axioms that define, amongst other things, the action occurrences (with the use of happens predicates), the effects of actions (with the use of initiates and terminates predicates), and the values of the fluents (with the use of initially and holdsAt predicates). Table1... ..."
Results 1 - 10 of 325,755