Statecharts: From Visual Syntax to Model-Theoretic Semantics.
Gerald LüttgenMichael MendlerPublished in: GI Jahrestagung (1) (2001)
Keyphrases
- model theoretic
- operational semantics
- description logics
- deductive databases
- decision procedures
- fixpoint semantics
- proof theoretic
- logic programs
- default reasoning
- formal semantics
- probabilistic reasoning
- fixpoint
- mental states
- data model
- reasoning mechanism
- high level
- nonmonotonic reasoning
- query answering
- integrity constraints
- autoepistemic logic
- special case