Sciweavers

6 search results - page 2 / 2
» From a Zoo to a Zoology: Descriptive Complexity for Graph Po...
Sort
View
AGP
1994
IEEE
13 years 9 months ago
What the Event Calculus actually does, and how to do it efficiently
Kowalski and Sergot's Event Calculus (EC) is a formalism for reasoning about time and change in a logic programming framework. From a description of events which occur in the...
Iliano Cervesato, Luca Chittaro, Angelo Montanari