Buchumschlag

Formal-logical approach to building analysis systems of knowledge in different domains

We proposed a formal statement of the problem of knowledge extraction from natural language objects. For manipulation, analysis and transformation of texts the notion of an algebraic system of list structures is introduced. For presentation and storage of semantic networks it is offered to use reali...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2026
Hauptverfasser:	Palagin, O.V., Kryvyi, S.L., Bibikov, D.S., Velychko, V.Yu., Markov, K., Ivanova, K., Mitov, I.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2026
Schlagworte:	UDC 51.681.3
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/926
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

The algebro-logical approach to the analysis and processing of the text information
von: Palagin, O.V., et al.
Veröffentlicht: (2026)

Development and substantiation of algorithms based on semantic properties
von: Kryvyi, S.L., et al.
Veröffentlicht: (2025)

On incompatibility of a nonlinear equations over set of natural numbers
von: Krivoi, S.L., et al.
Veröffentlicht: (2015)

Verification of programs: status, problems and experimental results. I
von: Maksymets, A.N.
Veröffentlicht: (2025)

Verification of programs: status, problems and experimental results. II
von: Maksymets, A.N.
Veröffentlicht: (2025)

Search for invariants of U-Y-programs by an interactive algorithm over completely free data algebras
von: Maksymets, O.M.
Veröffentlicht: (2015)

Parallel Computations with Large-scale Air Pollution Models
von: Dimov, I., et al.
Veröffentlicht: (2015)

Model of the "department" ecosystem
von: Kryvyi, S.L., et al.
Veröffentlicht: (2024)

Encryption system based on abelian groups and rings
von: Kryvyi, S.L.
Veröffentlicht: (2020)

Solving contest problems via formal program verification
von: Shilov, N.V., et al.
Veröffentlicht: (2026)

Software model of genetic optimizer for regular neural networks in LabVIEW
von: Zherebko, V.A.
Veröffentlicht: (2025)

Developing software model of neural network PID controller in LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2025)

Methodical support of adaptive regulator design by software of LabVIEW
von: Zherebko, V.A., et al.
Veröffentlicht: (2026)

About one technique for forming an object representation of relational data
von: Likhatsky, I.A.
Veröffentlicht: (2025)

Symbolic computation system for dynamical application programming
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

About relational-object mapping technique
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Algebraic automata specification of common and distributed memory parallel programs
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2015)

The formal basic developing and testing the distributed program systems
von: Lavrischeva, K.M., et al.
Veröffentlicht: (2025)

The origin and interpretation of Kleene three-valued logics
von: Shishatska, O.V.
Veröffentlicht: (2026)

Relations of logical consequence in composition nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Formalized design and synthesis of parallel programs for videographic shortcuts
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Formalized design and synthesis of a parallel program for constructing Voronoi diagrams
von: Berezovsky, K.A., et al.
Veröffentlicht: (2026)

Итеративный подход к анализу естественно-языковых текстов: логический аспект
von: Kryvyi, S.L., et al.
Veröffentlicht: (2015)

Formal description of the types and - data structures mixed programmes
von: Stenyashin, A.Yu.
Veröffentlicht: (2025)

Designing and program implementation of the subsystem for creation and use of the ontological knowledge base of the scientific employee publications
von: Palagin, O.V., et al.
Veröffentlicht: (2018)

Development of formal models, algorithms, procedures, engineering and functioning of the software system “Instrumental complex for ontological engineering purpose”
von: Palagin, O.V., et al.
Veröffentlicht: (2025)

Using ontological knowledge in recommender systems
von: Rogushina, J.V.
Veröffentlicht: (2025)

About one approach to automatic creation of formal queries to ontological knowledge bases
von: Palagin, O.V., et al.
Veröffentlicht: (2024)

-calculus as a realistic formalization of a class of rewriting systems
von: Shevchenko, R.S., et al.
Veröffentlicht: (2025)

Formalized designing and generation of parallel program for numerical weather forecasting task
von: Doroshenko, A.Yu., et al.
Veröffentlicht: (2025)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Using of ontological models for formalized knowledge assessment
von: Ya. Hladun, et al.
Veröffentlicht: (2019)

Recursive queries in SQL: samples, intensional and formal semantics
von: Buy, D.B., et al.
Veröffentlicht: (2026)

Semantic properties of composition nominative modal logics
von: Shkilnyak, O.S.
Veröffentlicht: (2026)

Approach to building factories of student programs
von: Aronov, A.A., et al.
Veröffentlicht: (2025)

Compositional-nominative modal logics of the functional-equational level
von: Shkilniak, O.S.
Veröffentlicht: (2026)

Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

The argument theory: formal contra informal logic
von: I. S. Matviienko
Veröffentlicht: (2020)

The argument theory: formal contra informal logic
von: I. S. Matviienko
Veröffentlicht: (2020)

Defining and resolving Web-services discovery problems using description logics formalism
von: Zakharova, O.V.
Veröffentlicht: (2018)