年別の研究成果
年別の研究成果
フィンガープリント
Oleg Evgenievich Kiselyovが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
- 1 類似のプロファイル
ネットワーク
国/地域レベルにおける最近の外部共同研究。点をクリックして詳細を開くか、または
-
Generating C: System Description
Kiselyov, O., 2022, Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Proceedings. Hanus, M. & Igarashi, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 75-93 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13215 LNCS).研究成果: Conference contribution
-
Not by equations alone: Reasoning with extensible effects
Kiselyov, O., Mu, S. C. & Sabry, A., 2021, (Accepted/In press) In: Journal of Functional Programming. e2.研究成果: Article › 査読
3 被引用数 (Scopus) -
Polynomial Event Semantics: Negation: Negation
Kiselyov, O., 2021, New Frontiers in Artificial Intelligence - JSAI-isAI 2020 Workshops, JURISIN, LENLS 2020 Workshops, 2020, Revised Selected Papers. Okazaki, N., Yada, K., Satoh, K. & Mineshima, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 82-95 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12758 LNAI).研究成果: Conference contribution
-
Lambek Grammars as Second-Order Abstract Categorial Grammars
Kiselyov, O. & Hoshino, Y., 2020, New Frontiers in Artificial Intelligence - JSAI-isAI International Workshops, JURISIN, AI-Biz, LENLS, Kansei-AI, 2019, Revised Selected Papers. Sakamoto, M., Okazaki, N., Mineshima, K. & Satoh, K. (eds.). Springer Science and Business Media Deutschland GmbH, p. 231-243 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12331 LNAI).研究成果: Conference contribution
-
Many more predecessors: A representation workout
Kiselyov, O. L. E. G., 2020, (Accepted/In press) In: Journal of Functional Programming. e7.研究成果: Article › 査読