Learning Interpretable Models in the Property Specification Language.
Rajarshi RoyDana FismanDaniel NeiderPublished in: CoRR (2020)
Keyphrases
- specification language
- accurate models
- learning algorithm
- learning process
- supervised learning
- information systems
- real world
- learning models
- learning tasks
- knowledge acquisition
- state space
- probabilistic model
- prior knowledge
- domain specific
- search algorithm
- cooperative
- database systems
- formal specification
- artificial intelligence
- databases