Temporal logics in AI: semantical and ontological considerations
Two temporal formalisms in AI are examined and problems for application are shown. A new formalism, interval logic, is presented with syntax similar to meta-syntax and semantics similar Kripke-semantics. Some ontological definitions are given on this formal basis.
scientific article; zbMATH DE number 4030959