Advances in Property-Based Testing for $α$Prolog.
James CheneyAlberto MomiglianoMatteo PessinaPublished in: CoRR (2016)
Keyphrases
- programming language
- logic programming
- artificial intelligence
- test cases
- computer vision
- expert systems
- real time
- global consistency
- decision making
- recent advances
- knowledge representation
- hidden markov models
- desirable properties
- recent developments
- test data
- test set
- bayesian networks
- image sequences
- multimedia
- real world
- data sets