Reasoning on Sequences in Constraint-Based Local Search Frameworks.
Renaud De LandtsheerYoann GuyotGustavo OspinaFabian GermeauChristophe PonsardPublished in: CPAIOR (2018)
Keyphrases
- constraint programming
- knowledge base
- hidden markov models
- reasoning systems
- long sequences
- automated reasoning
- knowledge representation
- sequential patterns
- evaluation methods
- qualitative reasoning
- domain knowledge
- variable length
- reasoning engine
- data sets
- model based reasoning
- reasoning process
- reasoning tasks
- information systems
- artificial intelligence
- genetic algorithm