Author:
Mainzer Klaus,Kahle Reinhard
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Gottschlich, J.; Solar-Lzama, A.; Tatbul, N.; Carbin, M.; Rinard, M.; Barzilay, R.; Amarasinghe, S.; Tenenbaum, J.B.; Mattson, T. (2018), The three pillars of machine learning, in: arXiv:1803.07244v2 [cs.AI] 8 May.
2. Ellis, K.; Ritchie, D.; Solar-Lezama, A.; Tenenbaum, J.B. (2017), Learning to Infer graphics programs from hand-drawn images, in: CoRR abs/1707.09627.arXiv:1707.09627.
3. S. A. Cook (1971), The complexity of theorem-proving procedures, in: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, 151–158.
4. Küchlin, W. (2021), Symbolische KI für die Produktkonfiguration in der Automobilindustrie, in: K. Mainzer (HRSG.), Philosophisches Handbuch der Künstlichen Intelligenz, Springer: Berlin.
5. Ehlers, Rüdiger. (2017). Formal verification of piece-wise linear feed-forward neural networks. arXiv:1705.01320v3 [cs.LO] 2 Aug 2017.