Browsing by Subject "Modeltheoretic logic"
Now showing items 1-1 of 1
-
Article
Modular-ε: An elaboration tolerant approach to the ramification and qualification problems
(2005)We describe Modular-ε (Mε), a specialized, modeltheoretic logic for narrative reasoning about actions, able to represent non-deterministic domains involving concurrency, static laws (constraints) and indirect effects ...