학술논문
'학술논문'
에서 검색결과 31건 | 목록
1~10
Academic Journal
In: AI and Society . (AI and Society, April 2023, 38(2):801-813)
Book
In: Social Robotics - 15th International Conference, ICSR 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2024, 14454 LNAI:230-239)
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, June 2021, 22(3))
Academic Journal
In: Journal of Symbolic Logic . (Journal of Symbolic Logic, 1 June 2021, 86(2):635-668)
Book
In: Social Robots in Social Institutions - Proceedings of Robophilosophy 2022 . (Frontiers in Artificial Intelligence and Applications, 9 January 2023, 366:70-79)
Book
In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14278 LNAI:v-vi)
Conference
In: Proceedings - Symposium on Logic in Computer Science , 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023. (Proceedings - Symposium on Logic in Computer Science, 2023, 2023-June)
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2018, 14(4-18):1-25)
Conference
Bolotov, A.; Fang, J.; Francez, N.; Goranko, V.; Grygiel, J.; Kamide, N.; Leitsch, A.; Malinowski, J.; Martins, M.A.; Mundici, D.; Odintsov, S.; Ono, H.; Orlandelli, E.; Paoli, F.; Pelletier, J.; Pereira, L.C.; Poggiolesi, F.; Ramanayake, R.; Schmidt, R.; Shramko, Y.; Urchs, M.; Tourlakis, G.; Wansing, H.; Zaitsev, D.; Gruszczyński, R.; Jarmużek, T.; Klonowski, M.; Mruczek-Nasieniewska, K.; Nasieniewski, M.; Palczewski, R.; Pietruszczak, A.; Indrzejczak, A.; Kaczmarek, J.; Zawidzki, M.; Berger, U.; Conradie, W.; Dalmonte, T.; Dicher, B.; Drobyshevich, S.; Enqvist, S.; Figueiredo, D.; Fiorino, G.; Grabarczyk, P.; Greco, G.; Huuskonen, T.; Kubyshkina, E.; Leszczyńska-Jasion, D.; Lopes, B.; Łukowski, P.; Madeira, A.; Nowak, M.; Petrolo, M.; Płaczek, P.; Tesi, M.; Zhao, Z.
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 14 April 2022, 358)
Academic Journal
In: Logic Journal of the IGPL . (Logic Journal of the IGPL, 20 June 2016, 24(3):441-452)
검색 결과 제한하기
제한된 항목
[AR] Ramanayake, R.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어