학술논문
'학술논문'
에서 검색결과 13건 | 목록
1~10
Academic Journal
In: KI - Kunstliche Intelligenz . (KI - Kunstliche Intelligenz, 2024)
Spectra: An Expressive STRIPS-Inspired AI Planner Based on Automated Reasoning: (System Description)
Academic Journal
In: KI - Kunstliche Intelligenz . (KI - Kunstliche Intelligenz, 2024)
Conference
In: Proceedings of the AAAI Conference on Artificial Intelligence . (Proceedings of the AAAI Conference on Artificial Intelligence, 25 March 2024, 38(21):23635-23636)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2023. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 17 November 2023, 396:36-51)
Book
In: Artificial General Intelligence - 16th International Conference, AGI 2023, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13921 LNCS:62-73)
Academic Journal
In: Kardiologia Polska . (Kardiologia Polska, 2018, 76(1):173-180)
Conference
Chichester, D.; Kauffman, R.; Marshall, A.M.; Ravishankar, V.; Rovira, L.; Du, W.; Narendran, P.; Lin, H.; Lynch, C.; Meadows, C.A.; Rozek, B.
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, G and ALF 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 20 September 2022, 370:147-161)
Academic Journal
Andrzejewska, M.; Stolińska, A.; Błasiak, W.; Pęczkowski, P.; Rosiek, R.; Rożek, B.; Sajka, M.; Wcisło, D.
In: Interactive Learning Environments . (Interactive Learning Environments, 16 November 2016, 24(8):1981-1995)
Book
In: Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2021, 12941 LNAI:253-270)
Academic Journal
In: Polski Przeglad Kardiologiczny . (Polski Przeglad Kardiologiczny, 2012, 14(1):75-78)
검색 결과 제한하기
제한된 항목
[AR] Rozek, B.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어