Smart test data generators via logic programming.
Lukas BulwahnPublished in: ICLP (Technical Communications) (2011)
Keyphrases
- test data
- logic programming
- logic programs
- training data
- test cases
- test set
- knowledge representation
- answer set programming
- logic programming language
- deductive databases
- nonmonotonic reasoning
- answer sets
- computational logic
- default logic
- programming language
- data sets
- training set
- knowledge base
- inductive logic programming
- constraint logic programming
- stable models
- training and test data
- pseudo boolean constraints
- reasoning about actions
- relational databases
- artificial intelligence
- active learning
- prior knowledge
- propositional variables
- classical first order logic
- machine learning