The Complexity of Model Checking in Modal Event Calculi with Quantifiers

Abstract

Kowalski and Sergot’s Event Calculus (EC ) is a simple temporal formalism that, given a set of event occurrences, derives the maximal validity intervals (MVIs) over which properties initiated or terminated by these events hold. It does so in polynomial time with respect to the number of events. Extensions of its query language with Boolean connectives and… (More)

1 Figure or Table

Topics

  • Presentations referencing similar topics