المؤلفون: Jakubův, Jan, Janota, Mikoláš, Piepenbrock, Jelle, Urban, Josef

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2408.14338

المؤلفون: Blaauwbroek, Lasse, Olšák, Miroslav, Rute, Jason, Massolo, Fidel Ivan Schaposnik, Piepenbrock, Jelle, Pestun, Vasily

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, 68T07 (Primary) 68V15 (Secondary), I.2.3, I.2.6

URL الوصول: http://arxiv.org/abs/2401.02949

المؤلفون: Orvalho, Pedro, Piepenbrock, Jelle, Janota, Mikoláš, Manquinho, Vasco

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2307.13014

المؤلفون: Piepenbrock, Jelle, Urban, Josef, Korovin, Konstantin, Olšák, Miroslav, Heskes, Tom, Janota, Mikolaš

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2210.03590

المؤلفون: Goertzel, Zarathustra A., Jakubův, Jan, Kaliszyk, Cezary, Olšák, Miroslav, Piepenbrock, Jelle, Urban, Josef

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2205.01981

المؤلفون: Piepenbrock, Jelle, Heskes, Tom, Janota, Mikoláš, Urban, Josef

مصطلحات موضوعية: Computer Science - Machine Learning, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science

URL الوصول: http://arxiv.org/abs/2102.05547

المؤلفون: Piepenbrock, Jelle^{Aff10, Aff11}, Heskes, Tom^Aff11, Janota, Mikoláš^Aff10, Urban, Josef^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Yung, Moti, Editorial Board Member^Aff6, Blanchette, Jasmin, editor^Aff7, Kovács, Laura, editor^Aff8, Pattinson, Dirk, editor^Aff9

المصدر: Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings. 13385:597-617

المؤلفون: Piepenbrock, Jelle, Urban, Josef, Korovin, Konstantin, Olšák, Miroslav, Heskes, Tom, Janota, Mikoláš

المصدر: In Journal of Symbolic Computation May-June 2025 128

المؤلفون: Janota, Mikoláš, Piepenbrock, Jelle, Piotrowski, Bartosz

مصطلحات موضوعية: machine learning, quantifier instantiation, Theory of computation → Automated reasoning, satisfiability modulo theories

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d90b3f75a400bd9810656a86327dd804