| |
| Issue |
Title |
| |
| No 3-4 (2022) |
Table interpretation of the temporal description logic LTLALC |
Abstract
PDF
|
|
V.A. Reznichenko, I.S. Chystiakova |
| |
| No 1 (2017) |
Integration of the description logics axiomatic into relational data model |
Abstract
PDF (Русский)
|
|
I.S. Chystiakova |
| |
| No 4 (2016) |
Integration of the description logics with operations at role constructors into relational data model |
Abstract
PDF (Русский)
|
|
I.S. Chystiakova |
| |
| No 2-3 (2018) |
Formal foundations for software model to model transformation operation |
Abstract
PDF
|
|
O.V. Chebanyuk |
| |
| 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 4 (2024) |
Description of the web service process. Tabular interpretation |
Abstract
PDF (Українська)
|
|
V.A. Reznichenko, O.V. Zakharova |
| |
| 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 4 (2024) |
First-order logics with partial predicates for checking variable definedness |
Abstract
PDF (Українська)
|
|
S.S. Shkilniak |
| |
| No 1 (2016) |
Algebras of quasiary and of bi-quasiary relations |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, S.S. Shkilniak |
| |
| 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 1 (2018) |
Semantic properties of five-valued logics |
Abstract
PDF (Русский)
|
|
M.S. Nikitchenko, E.V. Shyshatska |
| |
| No 2-3 (2024) |
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics |
Abstract
PDF (Українська)
|
|
О.S. Shkilniak, S.S. Shkilniak |
| |
| No 4 (2015) |
Semantic annotation of Web-services |
Abstract
PDF (Українська)
|
|
O.V. Zakharova |
| |
| No 4 (2018) |
Method of information and analytical support for information security risk management of information systems |
Abstract
PDF (Українська)
|
|
Y.S. Rodin |
| |
| No 1 (2018) |
Algebras of general non-deterministic predicates |
Abstract
PDF
|
|
M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak |
| |
| 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 2 (2017) |
Binary Relational Data Model |
Abstract
PDF (Русский)
|
|
I.S. Chystiakova, V.A. Reznichenko |
| |
| 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 (2012) |
Multiagent models based on fuzzy logic of the highest type for a high-performance environment |
Abstract
PDF (Українська)
|
|
I.N. Parasyuk, S.V. Ershov |
| |
| No 2 (2017) |
Composition nominative modal logics of partial non-monotone predicates and their calculi |
Abstract
PDF (Українська)
|
|
O.S. Shkilniak, V.S. Kasianiuk, L.M. Malutenko |
| |
| No 1 (2017) |
Logical consequence relations in logics of monotone predicates and logics of antitone predicates |
Abstract
PDF (Українська)
|
|
O.S. Shkilniak |
| |
| No 1 (2021) |
Mapping of the descriptive logic into RDF using binary relational data model |
Abstract
PDF
|
|
I.S. Chystiakova |
| |
| No 2 (2017) |
Pure first-order quasiary logics with equality predicates |
Abstract
PDF (Українська)
|
|
M.S. Nikitchenko, S.S. Shkilniak |
| |
| No 4 (2020) |
Implementation of mappings between the description logic and the binary relational data model on the RDF level |
Abstract
PDF
|
|
I.S. Chystiakova |
| |
| No 4 (2017) |
Tasks for information security risks management in making-decision process |
Abstract
PDF (Українська)
|
|
Y.S. Rodin |
| |
| 1 - 25 of 37 Items |
1 2 > >> |
