Continuous Verification of Machine Learning: a Declarative Programming Approach.
Ekaterina KomendantskayaWen KokkeDaniel KienitzPublished in: PPDP (2020)
Keyphrases
- data model
- machine learning
- database systems
- declarative programming
- decision trees
- text mining
- machine learning methods
- information extraction
- machine learning algorithms
- artificial intelligence
- answer set programming
- learning algorithm
- knowledge representation
- logic programming
- model checking
- query formulation
- support vector machine
- general purpose
- knowledge acquisition