Browsing by Subject "Time line"
Now showing items 1-1 of 1
-
Article
Modular-E and the role of elaboration tolerance in solving the qualification problem
(2010)We describe Modular-E (ME), a specialized, model-theoretic logic for reasoning about actions. ME is able to represent non-deterministic domains involving concurrency, static laws (constraints), indirect effects (ramifications), ...