Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
PC AI
Learning in graphical models
Bayesian Learning for Neural Networks
Bayesian Learning for Neural Networks
Machine Learning Methods for Planning
Machine Learning Methods for Planning
Symbolic Logic and Mechanical Theorem Proving
Symbolic Logic and Mechanical Theorem Proving
Automated Reasoning: Introduction and Applications
Automated Reasoning: Introduction and Applications
META-AMPHION: Synthesis of Efficient Domain-Specific Program Synthesis Systems
Automated Software Engineering
AMPHION: Automatic Programming for Scientific Subroutine Libraries
ISMIS '94 Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems
Towards automated synthesis of data mining programs
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Automatic generation of hypertext system repositories: a model driven approach
Proceedings of the fifteenth ACM conference on Hypertext and hypermedia
| Hi-index | 0.00 |