Task Specification and Reasoning in Dynamically Altered Contexts.
George ChatzikonstantinouMichael AthanasopoulosKostas KontogiannisPublished in: CAiSE (2014)
Keyphrases
- multi context systems
- high level
- knowledge representation
- model based reasoning
- reasoning systems
- meta level
- spatial reasoning
- current context
- uncertain information
- qualitative reasoning
- probabilistic reasoning
- formal specification
- default reasoning
- data sets
- automated reasoning
- changing environment
- qualitative simulation
- analogical reasoning
- production rules
- fuzzy logic
- deductive reasoning
- knowledge base