tlooto
Sign up
Computer ScienceMathematics

A logic-based calculus of events

R. Kowalski, M. Sergot

1989.11.1NEW GENERATION COMPUTING

DOI: 10.1007/bf03037383

tlooto Summary

An approach for reasoning about events and time within a logic programming framework where the notion of event is taken to be more primitive than that of time and both are represented explicitly by means of Horn clauses augmented with negation by failure.

Abstract

Abstract is not available.

Citation format

KOWALSKI, R.; SERGOT, M. A logic-based calculus of events. NEW GENERATION COMPUTING, 1989, 4: 67–95.