Capturing performance assumptions using stochastic performance logic.
Lubomír BulejTomás BuresJaroslav KezniklAlena KoubkováAndrej PodzimekPetr TumaPublished in: ICPE (2012)
Keyphrases
- data sets
- logic programming
- modal logic
- logical framework
- classical logic
- stochastic optimization
- simplifying assumptions
- probabilistic logic
- underlying assumptions
- proof theory
- deontic logic
- predicate logic
- defeasible logic
- multi valued
- automated reasoning
- knowledge base
- information retrieval
- machine learning
- databases