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 10 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