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

المؤلفون: Niederhauser, Johannes^Aff27, Brown, Chad E.^Aff28, Kaliszyk, Cezary^{Aff27, Aff29}

المساهمون: Hartmanis, Juris, Founding Editor^Aff1, van Leeuwen, Jan, Series Editor^Aff2, Hutchison, David, Editorial Board Member^Aff3, Kanade, Takeo, Editorial Board Member^Aff4, Kittler, Josef, Editorial Board Member^Aff5, Kleinberg, Jon M., Editorial Board Member^Aff6, Kobsa, Alfred, Series Editor^Aff7, Mattern, Friedemann, Editorial Board Member^Aff8, Mitchell, John C., Editorial Board Member^Aff9, Naor, Moni, Editorial Board Member^Aff10, Nierstrasz, Oscar, Series Editor^Aff11, Pandu Rangan, C., Editorial Board Member^Aff12, Sudan, Madhu, Series Editor^Aff13, Terzopoulos, Demetri, Editorial Board Member^Aff14, Tygar, Doug, Editorial Board Member^Aff15, Weikum, Gerhard, Series Editor^Aff16, Vardi, Moshe Y, Series Editor^Aff17, Goos, Gerhard, Founding Editor^Aff18, Bertino, Elisa, Editorial Board Member^Aff19, Gao, Wen, Editorial Board Member^Aff20, Steffen, Bernhard, Editorial Board Member^Aff21, Yung, Moti, Editorial Board Member^Aff22, Woeginger, Gerhard, Editorial Board Member^Aff23, Benzmüller, Christoph, editor^Aff24, Heule, Marijn J.H., editor^Aff25, Schmidt, Renate A., editor^Aff26

المصدر: Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3–6, 2024, Proceedings, Part I. 14739:86-104

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