The frame problem originally surfaced within McCarthy’s Situation Calculus [McCarthy68], when [McCarthy&Hayes69] applied it to reasoning about goal achievement. To illustrate their approach, they… Expand

I argue in favor of associating situations (events, episodes, eventualities, etc.) with arbitrarily complex sentences, not just atomic predicates, in NL interpretation. In that respect, a Situation… Expand

We address the problem of scalability in temporal reasoning by providing a collection of new algorithms for efficiently managing large sets of qualitative temporal relations.Expand

Semantic networks present special problems with respect to the use of logical connectives, quantifiers, descriptions, and certain other constructions.Expand

We show that the straight-line dual of the bounded Voronoi diagram of a set of non-intersecting line segments is the Delaunay triangulation of that set.Expand