Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381).
Nikolaj BjørnerJasmin Christian BlanchetteViorica Sofronie-StokkermansChristoph WeidenbachPublished in: Dagstuhl Reports (2015)
Keyphrases
- prior knowledge
- historical data
- information sources
- contextual information
- prior information
- information sharing
- temporal information
- theorem proving
- real time
- information seeking
- information content
- raw data
- statistical models
- spatial information
- semantic information
- higher level
- knowledge representation
- probability distribution
- hidden markov models