|
Issue |
Title |
|
No 2-3 (2020) |
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement |
Abstract
|
M.S. Nikitchenko, О.S. Shkilniak, S.S. Shkilniak |
|
No 3-4 (2022) |
Table interpretation of the temporal description logic LTLALC |
Abstract
PDF
|
V.A. Reznichenko, I.S. Chystiakova |
|
No 4 (2015) |
Semantic annotation of Web-services |
Abstract
|
O.V. Zakharova |
|
No 2 (2017) |
Binary Relational Data Model |
Abstract
|
I.S. Chystiakova, V.A. Reznichenko |
|
No 1 (2021) |
Mapping of the descriptive logic into RDF using binary relational data model |
Abstract
PDF
|
I.S. Chystiakova |
|
No 4 (2017) |
Tasks for information security risks management in making-decision process |
Abstract
|
Y.S. Rodin |
|
No 3-4 (2022) |
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality |
Abstract
|
О.S. Shkilniak, S.S. Shkilniak |
|
No 1 (2019) |
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools |
Abstract
|
O.S. Shkilniak |
|
No 2-3 (2012) |
Multiagent models based on fuzzy logic of the highest type for a high-performance environment |
Abstract
|
I.N. Parasyuk, S.V. Ershov |
|
26 - 34 of 34 Items |
<< < 1 2 |