Cover Image

Formal verification of the properties of coreferent resolution model based on decision trees

The paper examines the problem of coreference resolution, which involves identifying objects - words or phrases in a text, that refer to the same real or imaginary entity. The solution of this task is explored for Ukrainianlanguage texts using decision trees, which autonomously structure themselves...

Full description

Saved in:

Bibliographic Details
Date:	2024
Main Authors:	Pogorilyy, S.D., Slynko, M. S., Biletskyi, P.V.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2024
Subjects:	artificial intelligence natural language processing coreference resolution decision trees transition systems Buchi automata UDC 004.8
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/652
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Coreference resolution algorithm for Ukrainian-language texts using decision trees
by: Pogorilyy, S.D., et al.
Published: (2023)

Algebras of generalized tree languages with fixed variables
by: Phuapong, S., et al.
Published: (2024)

Formalization for sign units creation based on 3d human model for Ukrainian sign language
by: Krivonos, Yu.G., et al.
Published: (2015)

The definition of formal languages in the meta language of normal forms of knowledge
by: Kurgaev, A.F., et al.
Published: (2018)

Knowledge bases and description logics applications to natural language texts analysis
by: Hoherchak, H.I.
Published: (2020)

On the finite state automorphism group of a rooted tree
by: Lavrenyuk, Yaroslav
Published: (2018)

Modern AI methods for detecting propaganda in text
by: Бойко , О.А.
Published: (2025)

Software framework for satellite spatial resolution enhancement
by: Stankevich, S.A., et al.
Published: (2024)

Problem of data analysis and forecasting using decision trees method
by: Lytvynenko, T.I.
Published: (2018)

A modern approach to calculating the abilities and capabilities of military units to perform tasks using artificial intelligence
by: Бойченко, А. В., et al.
Published: (2025)

An evaluation of task performance capabilities in a network-centric system with neural networks usage
by: Бойченко, А. В., et al.
Published: (2025)

Transition systems as method of designing applications in GPGPU technology
by: Kryvyi, S.L., et al.
Published: (2018)

Dynamics of finite groups acting on the boundary of homogenous rooted tree
by: Szaszkowski, Zbigniew
Published: (2018)

HIGH-PRECISION MICROWAVE SPECTROMETER WITH SUB-DOPPLER SPECTRAL RESOLUTION
by: Alekseev, E. A., et al.
Published: (2015)

Graph Model of Information-Psychological Warfare
by: Качинський, А. Б., et al.
Published: (2025)

ОНЛАЙН-ЕНЦИКЛОПЕДИСТИКА І ГЕНЕРАТИВНИЙ ШТУЧНИЙ ІНТЕЛЕКТ: ВИКЛИКИ ТА ПЕРСПЕКТИВИ (НА ПРИКЛАДІ ЕНЦИКЛОПЕДІЇ СУЧАСНОЇ УКРАЇНИ)
by: ZHELEZNIAK, M., et al.
Published: (2025)

Formal verification of deep neural networks
by: Panchuk, B.O.
Published: (2024)

Binary Trees Approach to Speedup Address Range Lookup in Peer-to-Peer Solutions
by: Poryev, G. V.
Published: (2013)

Probable use of regional situational centers of the intellectual system «Сontrol_TEE» using UAVs
by: Pisarenko, J.V., et al.
Published: (2023)

Transmission line planning using global best artificial bee colony method
by: Desai, J. P.
Published: (2023)

Complex systems in geophysics: methods of research and prediction of their behavior
by: Mykulyak, Serhiy
Published: (2025)

Management of innovative projects and products in the conditions of digitalization and turbulent environment
by: Bushueva, Natalia, et al.
Published: (2025)

System for Coreference Analysis of Natural Language Texts
by: O. O. Marchenko
Published: (2015)

Cognitive and functional potential of linguistic terms-coreferents
by: Ye. A. Karpilovska
Published: (2017)

Rapid vs. Qualitative Development
by: Panchenko, T.V.
Published: (2025)

Software architectural design for the interactive learning of sign language
by: Kryvonos, Yu.G., et al.
Published: (2025)

A Parallel Genetic Algorithm to Solve Scheduling the University Class Problem
by: Glybovets, M.M., et al.
Published: (2017)

Specialized search engine system of scientific materials in Ukrainian language with social aspects
by: Glybovets, A.M.
Published: (2025)

Using multicore processors for 3d animation of the sign language
by: Kryvonos, Y.G., et al.
Published: (2026)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2010)

Survey on modern tools and methods of formal models verification
by: Kolchin, A.V., et al.
Published: (2015)

Solving contest problems via formal program verification
by: Shilov, N.V., et al.
Published: (2026)

Method of Neuro-Fuzzy Network Synthesis Based on Decision Trees
by: Гофман, Є. О., et al.
Published: (2012)

Influence of precipitations on angular coordinates resolution for a radar
by: Putyatin, V. G., et al.
Published: (2017)

Peculiarities of Computer Modeling of Thought Dissemination in Society on the Example of Student Society
by: Shevchenko, V.V., et al.
Published: (2022)

The modification of the meta-language of normal forms of knowledge
by: Kurgaev, A.F.
Published: (2019)

On the need to use modern capabilities in situational management to protect the state's critical infrastructure
by: Гречанінов , В.Ф.
Published: (2025)

A method for sorting of spanning trees
by: Каденко, С. В.
Published: (2026)

An automated scenario generation system for analytical activities.
by: Dodonov, O. G., et al.
Published: (2019)

Use of metods of algebraic programming for the formal verification of legal acts
by: V. Peschanenko, et al.
Published: (2018)