• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
National Research University Higher School of EconomicsResearch projectsExplanation-oriented Methods of Data Analysis and Their Applications: The Case of Semantically Rich Data

Explanation-oriented Methods of Data Analysis and Their Applications: The Case of Semantically Rich Data

Priority areas of development: mathematics
2017
The project has been carried out as part of the HSE Program of Fundamental Studies.

Publications:


Galitsky B., Ilvovsky D. Chatbot with a Discourse Structure-Driven Dialogue Management, in: Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, 2017. P. 87-90.
Makarov I., Konoplya O., Pavel Polyakov, Maxim Martynov, Zyuzin P., Gerasimova O., Bodishtianu Valeria. Adapting First-Person Shooter Video Game for Playing with Virtual Reality Headsets, in: Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2017, Marco Island, Florida, USA, May 22-24, 2017. AAAI Press 2017, ISBN 978-1-57735-787-2. Palo Alto : AAAI Press, 2017. P. 412-415.
Korepanova N., Kuznetsov S. O. Pattern Structures for Risk Group Identification, in: Formal Concept Analysis for Knowledge Discovery. Proceedings of International Workshop on Formal Concept Analysis for Knowledge Discovery (FCA4KD 2017), Moscow, Russia, June 1, 2017. / Ed. by S. O. Kuznetsov, B. W. Watson. Vol. 1921. CEUR-WS.org, 2017. P. 13-21.
Пономарева М. А., Milintsevich K., Chernyak E. L., Starostin A. Automated Word Stress Detection in Russian, in: Proceedings of the First Workshop on Subword and Character Level Models in NLP. Association for Computational Linguistics, 2017. P. 31-35.
Shishkova A., Chernyak E. L. Annotated Suffix Tree Method for German Compound Splitting, in: Сборник по результатам семинара CLLS 2016. , 2016. P. 42-47.
Chernyak E. L. Comparison of String Similarity Measures for Obscenity Filtering, in: Proceedings of the 6th Workshop on Balto-Slavic Natural Language Processing. Stroudsburg, PA : The Association for Computational Linguistics, 2017. P. 97-101.
Kanovich M., Scedrov A., Kirigin T. B., Nigam V., Talcott C., Perovic R. A rewriting framework and logic for activities subject to regulations // Mathematical Structures in Computer Science. 2017. Vol. 27. No. 3. P. 332-375. doi
Zakharyaschev M. Horn fragments of the Halpern-Shoham interval temporal logic, in: ACM Transactions on Computational Logic (TOCL) Vol. 18. Issue 3. NY : ACM, 2017. doi
Kanovich M., Kuznetsov S., Scedrov A., Morrill G. A Polynomial-Time Algorithm for the Lambek Calculus with Brackets of Bounded Order, in: Second International Conference on Formal Structures for Computation and Deduction, FSCD 2017 Vol. 84: 2nd International Conference on Formal Structures for Computation and Deduction (FSCD 2017). , 2017. doi
Kanovich M., Scedrov A., Kuznetsov S. Undecidability of the Lambek Calculus with Subexponential and Bracket Modalities, in: 21st International Symposium, Fundamentals of Computation Theory 2017, FCT 2017. Springer Berlin Heidelberg, 2017. doi P. 326-340. doi
Kanovich M., Brotherston J., Gorogiannis N. Biabduction (and Related Problems) in Array Separation Logic, in: 26th International Conference on Automated Deduction – CADE 26. Springer, 2017. doi doi
Kanovich M., Scedrov A., Kirigin T. B., Nigam V., Talcott C. Time, computational complexity, and probability in the analysis of distance-bounding protocols // Journal of Computer Security. 2017. Vol. 25. No. 6. P. 585-630. doi
Maksimenkova O. V., Neznanov A., Papushina I. O., Parinov A. On mind maps evaluation: a case of an automatic grader development // Advances in Intelligent Systems and Computing. 2017
Masyutin A., Kashnitsky Y. Query-Based Versus Tree-Based Classification: Application to Banking Data, in: Foundations of Intelligent Systems. Warsz. : Springer International Publishing, 2017. P. 664-673.
Makarov I., Bulanov O., Zhukov L. E. Co-author Recommender System, in: Models, Algorithms, and Technologies for Network Analysis. Springer Proceedings in Mathematics & Statistics / Ed. by V. A. Kalyagin, A. I. Nikolaev, P. M. Pardalos, O. Prokopyev. Vol. 197. Springer International Publishing, 2017. doi P. 1-6.
Borchmann D., Hanika T., Obiedkov S. On the Usability of Probably Approximately Correct Implication Bases, in: Formal Concept Analysis: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings Vol. 10308. Cham : Springer International Publishing, 2017. doi P. 72-88. doi