Browsing by Subject "Temporal granularity"
Now showing items 1-1 of 1
-
Conference Object
Modular-ε: An elaboration tolerant approach to the ramification and qualification problems - Preliminary report
(2005)We describe Modular-ε (ME), a specialized, model-theoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...