Synergy of all-purpose static solver and temporal reasoning tools in dynamic integrated expert systems.
Galina V. RybinaAlexey MozgachevDmitry DemidovPublished in: CoRR (2017)
Keyphrases
- temporal reasoning
- expert systems
- temporal constraints
- qualitative and quantitative
- temporal information
- temporal constraint networks
- spatial reasoning
- uncertainty management
- reasoning tasks
- temporal relations
- event calculus
- temporal knowledge
- constraint reasoning
- simple temporal
- dynamic environments
- constraint networks
- artificial intelligence
- series parallel
- knowledge based systems
- relational databases
- constraint solver
- knowledge base