Features and fluents : representation of knowledge about dynamical systems

Inert and inhabited dynamical systems Inference operations on scenario descriptions Underlying semantics for IDS worlds Elementary feature logic and meta-logical concepts Lexical-domain object-feature logic Temporal feature logic for discrete time domains Chronicle completion in k-IA Intended models for chronicles in k-IA Entailment methods for k-IA using DFL-1 Duration constraints Entailment methods for k-OA using occlusion Composite actions Upper applicability bounds and assessment of soundness Future directions Terms index Notation References to related work