| |
| Issue |
Title |
| |
| No 1 (2017) |
Integration of the description logics axiomatic into relational data model |
Abstract
PDF (Русский)
|
|
I.S. Chystiakova |
| |
| No 2-3 (2016) |
Integration of the family of extended description logic languages with relational data model |
Abstract
PDF (Русский)
|
|
V.A. Reznichenko, I.S. Chystiakova |
| |
| No 1 (2019) |
Propositional logics of partial predicates with composition of predicate complement |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak, T.A. Mamedov |
| |
| No 4 (2016) |
Integration of the description logics with operations at role constructors into relational data model |
Abstract
PDF (Русский)
|
|
I.S. Chystiakova |
| |
| No 4 (2018) |
Method of information and analytical support for information security risk management of information systems |
Abstract
PDF (Українська)
|
|
Y.S. Rodin |
| |
| No 3-4 (2022) |
Table interpretation of the temporal description logic LTLALC |
Abstract
PDF
|
|
V.A. Reznichenko, I.S. Chystiakova |
| |
| No 4 (2015) |
Mappings of the description logic ALC into the binary relational data struc-ture |
Abstract
PDF (Русский)
|
|
V.A. Reznichenko, I.S. Chystiakova |
| |
| No 4 (2017) |
Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators |
Abstract
PDF (Українська)
|
|
S.V. Yershov, R.N. Ponomarenko |
| |
| No 2-3 (2018) |
Formal foundations for software model to model transformation operation |
Abstract
PDF
|
|
O.V. Chebanyuk |
| |
| No 1 (2017) |
Logical consequence relations in logics of monotone predicates and logics of antitone predicates |
Abstract
PDF (Українська)
|
|
O.S. Shkilniak |
| |
| No 1 (2018) |
Algebras of general non-deterministic predicates |
Abstract
PDF
|
|
M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak |
| |
| No 2-3 (2016) |
Usage of AI-planning techniques to solve problems of Web-services composition |
Abstract
PDF (Українська)
|
|
O.V. Zakharova |
| |
| No 1 (2018) |
Semantic properties of five-valued logics |
Abstract
PDF (Русский)
|
|
M.S. Nikitchenko, E.V. Shyshatska |
| |
| No 2-3 (2016) |
Pure first-order logics of quasiary predicates |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak |
| |
| No 1 (2016) |
Logical consequence relations in logics of quasiary predicates |
Abstract
PDF (Українська)
|
|
O.S. Shkilniak |
| |
| No 1 (2016) |
Algebras of quasiary and of bi-quasiary relations |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, S.S. Shkilniak |
| |
| No 3-4 (2022) |
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality |
Abstract
PDF (Українська)
|
|
О.S. Shkilniak, S.S. Shkilniak |
| |
| No 2-3 (2020) |
Model of information object for digital library and its verification |
Abstract
PDF (Українська)
|
|
A.V. Novitsky, V.A. Reznichenko |
| |
| No 3 (2019) |
First-order composition-nominative logics with predicates of weak equality and of strong equality |
Abstract
PDF (Українська)
|
|
S.S. Shkilniak |
| |
| No 2-3 (2016) |
Composition-nominative logics of free-quantifier levels |
Abstract
PDF (Українська)
|
|
S.S. Shkilniak, D.B. Volkovytskyi |
| |
| No 3 (2019) |
Relations of logical consequence in logics of partial predicates with composition of predicate complement |
Abstract
PDF (Українська)
|
|
O.S. Shkilniak |
| |
| No 1 (2018) |
The technique of using Description Logics in the process of constructing a composite service at the functional level |
Abstract
PDF (Українська)
|
|
O.V. Zakharova |
| |
| No 2 (2017) |
Pure first-order quasiary logics with equality predicates |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, S.S. Shkilniak |
| |
| No 2-3 (2018) |
Mapping of the relational algebra to the description logic |
Abstract
PDF (Українська)
|
|
І.S. Chystiakova |
| |
| No 2-3 (2018) |
Logics of general non-deterministic predicates: semantic aspects |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak |
| |
| 1 - 25 of 34 Items |
1 2 > >> |
