31 search results - page 7 / 7 » Complexity Results for Quantified Boolean Formulae Based on ... |
CI
2000
13 years 5 months ago
2000
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 prop...