Event Related Links

From IT SPb Academy

Jump to: navigation, search

Introductory articles

Circumscription

Implementation

  • http://citeseer.ist.psu.edu/pinto93temporal.html Situation calculus in logic programming. There is a problem in direct Prolog implementation of Event Calculus because we have to present negation in some form but Prolog only support negation as a failure.
Retrieved from "Event_Related_Links.html"
Views