Methodologies from machine learning in data analysis and software
The Computer Journal - Special issue on distributed systems
Specifications are necessarily informal or: some more myths of formal methods
Journal of Systems and Software - Special issue on formal methods technology transfer
Communications of the ACM
Neural Networks for Pattern Recognition
Neural Networks for Pattern Recognition
Logic Program Synthesis from Incomplete Information: By Pierre Flener
Logic Program Synthesis from Incomplete Information: By Pierre Flener
Introduction to Bayesian Networks
Introduction to Bayesian Networks
Computational Intelligence in Software Engineering
Computational Intelligence in Software Engineering
The Case for Inductive Programming
Computer
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Inductive Logic Program Synthesis with DIALOGS
ILP '96 Selected Papers from the 6th International Workshop on Inductive Logic Programming
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Inductive Synthesis of Recursive Functional Programs
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
An introduction to inductive programming
Artificial Intelligence Review
Synthesis modulo recursive functions
Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications
Hi-index | 0.00 |