المؤلفون: Zhang, Liao, Mitterwallner, Fabian, Jakubuv, Jan, Kaliszyk, Cezary

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, F.4.2, I.2.8

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

المؤلفون: Zhang, Liao, Cerna, David M., Kaliszyk, Cezary

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

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

المؤلفون: Niederhauser, Johannes, Brown, Chad E., Kaliszyk, Cezary

المصدر: Proceedings of the 12th International Joint Conference on Automated Reasoning, LNAI 14739, pp 86-104, 2024

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Ranalter, Daniel, Brown, Chad E., Kaliszyk, Cezary

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Artificial Intelligence, F.4.1, I.2.3

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

المؤلفون: Pąk, Karol, Kaliszyk, Cezary

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Blaauwbroek, Lasse, Cerna, David, Gauthier, Thibault, Jakubův, Jan, Kaliszyk, Cezary, Suda, Martin, Urban, Josef

مصطلحات موضوعية: Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Computer Science - Logic in Computer Science, Computer Science - Neural and Evolutionary Computing, Computer Science - Symbolic Computation

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

المؤلفون: Jakubův, Jan, Chvalovský, Karel, Goertzel, Zarathustra, Kaliszyk, Cezary, Olšák, Mirek, Piotrowski, Bartosz, Schulz, Stephan, Suda, Martin, Urban, Josef

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

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

المؤلفون: Purgał, Stanisław J., Cerna, David M., Kaliszyk, Cezary

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

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

المؤلفون: Brown, Chad E., Kaliszyk, Cezary

المصدر: IJCAR 2022 Conference Submission

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: 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

المؤلفون: Pąk, Karol, Kaliszyk, Cezary

المصدر: ITP 2022 Conference Paper

مصطلحات موضوعية: Mathematics - Number Theory, Computer Science - Logic in Computer Science

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

المؤلفون: Purgał, Stanisław J., Kaliszyk, Cezary

المصدر: FLAIRS 2022

مصطلحات موضوعية: Computer Science - Artificial Intelligence

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

المؤلفون: Purgał, Stanisław J., Cerna, David M., Kaliszyk, Cezary

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

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

المؤلفون: Wang, Qingxiang, Kaliszyk, Cezary

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

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

المؤلفون: Zhang, Liao, Blaauwbroek, Lasse, Piotrowski, Bartosz, Černý, Prokop, Kaliszyk, Cezary, Urban, Josef

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

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

المؤلفون: Müller, Dennis, Kaliszyk, Cezary

مصطلحات موضوعية: Computer Science - Machine Learning

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

المؤلفون: Purgał, Stanisław, Parsert, Julian, Kaliszyk, Cezary

مصطلحات موضوعية: Computer Science - Machine Learning

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

المؤلفون: Kaliszyk, Cezary, Rabe, Florian

مصطلحات موضوعية: Computer Science - Logic in Computer Science

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

المؤلفون: Wang, Qingxiang, Brown, Chad, Kaliszyk, Cezary, Urban, Josef

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

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

المؤلفون: Olšák, Miroslav, Kaliszyk, Cezary, Urban, Josef

المصدر: ECAI 2020 - 24th European Conference on Artificial Intelligence

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

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