A PLTL-Prover Based on Labelled Superposition with Partial Model Guidance.
Martin SudaChristoph WeidenbachPublished in: IJCAR (2012)
Keyphrases
- probabilistic model
- mathematical model
- computational model
- information systems
- parameter values
- database
- management system
- linear model
- theorem proving
- prediction model
- computational models
- statistical model
- input data
- probability distribution
- multi agent systems
- reinforcement learning
- similarity measure
- website
- neural network
- real time