Advances in Property-Based Testing for \alpha Prolog.
James CheneyAlberto MomiglianoMatteo PessinaPublished in: TAP@STAF (2016)
Keyphrases
- logic programming
- programming language
- knowledge representation
- recent advances
- artificial intelligence
- information systems
- test cases
- expert systems
- logic programming language
- real world
- lecture notes in artificial intelligence
- inference engine
- test data
- test set
- probabilistic model
- hidden markov models
- relational databases
- digital libraries
- learning environment
- similarity measure
- decision trees
- knowledge base
- computer vision