Browsing by Subject "Model-theoretic"
Now showing items 1-2 of 2
-
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), ...
-
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 ...