المؤلفون: Waga, Masaki, Matsuoka, Kotaro, Suwa, Takashi, Matsumoto, Naoki, Banno, Ryotaro, Bian, Song, Suenaga, Kohei

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory

الوصول الحر: http://arxiv.org/abs/2405.16767Test

المؤلفون: Kawamoto, Yusuke, Kobayashi, Kentaro, Suenaga, Kohei

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

الوصول الحر: http://arxiv.org/abs/2405.17492Test

المؤلفون: Shijubo, Junya, Waga, Masaki, Suenaga, Kohei

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Formal Languages and Automata Theory, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

الوصول الحر: http://arxiv.org/abs/2308.07930Test

المؤلفون: Gurung, Amit, Waga, Masaki, Suenaga, Kohei

مصطلحات موضوعية: Computer Science - Distributed, Parallel, and Cluster Computing

الوصول الحر: http://arxiv.org/abs/2301.03915Test

المؤلفون: Kikuchi, Atsushi, Uchida, Kotaro, Waga, Masaki, Suenaga, Kohei

مصطلحات موضوعية: Computer Science - Computer Vision and Pattern Recognition, Computer Science - Artificial Intelligence

الوصول الحر: http://arxiv.org/abs/2210.17130Test

المؤلفون: Kawamoto, Yusuke, Sato, Tetsuya, Suenaga, Kohei

المصدر: Proc. of the 18th European Conference on Logics in Artificial Intelligence (JELIA 2023), Lecture Notes in Computer Science, Vol.14281, pp.681-696, 2023

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

الوصول الحر: http://arxiv.org/abs/2210.16751Test

المؤلفون: Kawamoto, Yusuke, Sato, Tetsuya, Suenaga, Kohei

المصدر: Artificial Intelligence, Vol.326, 104045, Elsevier, 2024

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

الوصول الحر: http://arxiv.org/abs/2208.07074Test

المؤلفون: Hasuo, Ichiro, Eberhart, Clovis, Haydon, James, Dubut, Jérémy, Bohrer, Rose, Kobayashi, Tsutomu, Pruekprasert, Sasinee, Zhang, Xiao-Yi, Pallas, Erik André, Yamada, Akihisa, Suenaga, Kohei, Ishikawa, Fuyuki, Kamijo, Kenji, Shinya, Yoshiyuki, Suetomi, Takamasa

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

الوصول الحر: http://arxiv.org/abs/2207.02387Test

المؤلفون: Banno, Ryotaro, Matsuoka, Kotaro, Matsumoto, Naoki, Bian, Song, Waga, Masaki, Suenaga, Kohei

مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Formal Languages and Automata Theory, Computer Science - Logic in Computer Science

الوصول الحر: http://arxiv.org/abs/2206.03582Test

المؤلفون: Kori, Mayuko, Urabe, Natsuki, Katsumata, Shin-ya, Suenaga, Kohei, Hasuo, Ichiro

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Programming Languages, 68N30

الوصول الحر: http://arxiv.org/abs/2203.14261Test