Optimization of functional programs by grammar thinning
ACM Transactions on Programming Languages and Systems (TOPLAS)
Conditional independence in propositional logic
Artificial Intelligence
Linearly Bounded Reformulations of Unary Databases
SARA '02 Proceedings of the 4th International Symposium on Abstraction, Reformulation, and Approximation
Linearly Bounded Reformulations of Conjunctive Databases
CL '00 Proceedings of the First International Conference on Computational Logic
Selected M-Related Dissertations Bibliography
ACM SIGART Bulletin
Learning Representation and Control in Markov Decision Processes: New Frontiers
Foundations and Trends® in Machine Learning
Samuel meets Amarel: automating value function approximation using global state space analysis
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Exploiting irrelevance reasoning to guide problem solving
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Explanation, irrelevance and statistical independence
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |