Querying and Reasoning Under Expressive Constraints (Dagstuhl Seminar 14331).
Michael BenediktCarsten LutzBalder ten CatePublished in: Dagstuhl Reports (2014)
Keyphrases
- knowledge base
- constraint satisfaction
- consistency checking
- databases
- query processing
- database
- knowledge representation
- constrained optimization
- reasoning process
- constraint language
- model based reasoning
- reasoning systems
- qualitative reasoning
- query language
- automated reasoning
- spatial reasoning
- multimedia databases
- temporal planning