Algebraic approach to the analysis of legal documents
In this study, problems regarding the analysis of law articles and their conformance to legal documents are considered. The algebraic approach is used for the formal verification of legal texts that is presented as specification of behavior algebra. Having a formal presentation of legal texts allows...
Збережено в:
| Дата: | 2023 |
|---|---|
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
PROBLEMS IN PROGRAMMING
2023
|
| Теми: | |
| Онлайн доступ: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/514 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Problems in programming |
| Завантажити файл: |  |
Репозитарії
Problems in programmingСхожі ресурси
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
Neuro-symbolic approach for the biological systems and processes research
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2024)
Algebraic patterns of binary code vulnerabilities
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
за авторством: Yakovlev, V.M.
Опубліковано: (2020)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2016)
Insertion semantics of quantum interactions
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)
Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
A balanced layout problem of cylinders in a cylindrical container of the minimal radius
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
A balanced layout problem of cylinders in a cylindrical container of the minimal radius
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
за авторством: Панкратов, А. В., та інші
Опубліковано: (2015)
Method of detection of http attacks on a smart home using the algebraic matching method
за авторством: Gorbatiuk, V.O., та інші
Опубліковано: (2023)
за авторством: Gorbatiuk, V.O., та інші
Опубліковано: (2023)
Packing non-equal hyperspheres into a hypersphere of minimal radius
за авторством: Yaskov, G. N.
Опубліковано: (2014)
за авторством: Yaskov, G. N.
Опубліковано: (2014)
Packing non-equal hyperspheres into a hypersphere of minimal radius
за авторством: Yaskov, G. N.
Опубліковано: (2014)
за авторством: Yaskov, G. N.
Опубліковано: (2014)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
Digital twins in intrusion detection systems based on deep learning
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2025)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2025)
Steiner \(P\)-algebras
за авторством: Chakrabarti, Sucheta
Опубліковано: (2018)
за авторством: Chakrabarti, Sucheta
Опубліковано: (2018)
On solvable \(Z_3\)-graded alternative algebras
за авторством: Goncharov, Maxim
Опубліковано: (2016)
за авторством: Goncharov, Maxim
Опубліковано: (2016)
Packing convex homothetic polytopes into a cuboid
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
Packing convex homothetic polytopes into a cuboid
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
About relationship between table algebra of infinite tables and multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2018)
за авторством: Glushko, I.M.
Опубліковано: (2018)
Survey on modern tools and methods of formal models verification
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
за авторством: Kolchin, A.V., та інші
Опубліковано: (2015)
Ideally finite Leibniz algebras
за авторством: Kurdachenko, L. A., та інші
Опубліковано: (2023)
за авторством: Kurdachenko, L. A., та інші
Опубліковано: (2023)
Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
за авторством: Kosakowska, Justyna
Опубліковано: (2018)
за авторством: Kosakowska, Justyna
Опубліковано: (2018)
Gentle \(m\)-Calabi-Yau tilted algebras
за авторством: Garcia Elsener, A.
Опубліковано: (2020)
за авторством: Garcia Elsener, A.
Опубліковано: (2020)
Gram matrices and Stirling numbers of a class of diagram algebras, I
за авторством: Karimilla Bi, N., та інші
Опубліковано: (2018)
за авторством: Karimilla Bi, N., та інші
Опубліковано: (2018)
Gram matrices and Stirling numbers of a class of diagram algebras, II
за авторством: Karimilla Bi, N., та інші
Опубліковано: (2018)
за авторством: Karimilla Bi, N., та інші
Опубліковано: (2018)
The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
Automorphic equivalence of the representations of Lie algebras
за авторством: Shestakov, I., та інші
Опубліковано: (2018)
за авторством: Shestakov, I., та інші
Опубліковано: (2018)
Uncountably many non-isomorphic nilpotent real \(n\)-Lie algebras
за авторством: Stitzinger, Ernest, та інші
Опубліковано: (2018)
за авторством: Stitzinger, Ernest, та інші
Опубліковано: (2018)
Multi-level model of parallel computing for linear algebra problems
за авторством: Popov, A.V., та інші
Опубліковано: (2018)
за авторством: Popov, A.V., та інші
Опубліковано: (2018)
Deductive verification of requirements for event-driven architecture
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
за авторством: Letichevsky, A.A., та інші
Опубліковано: (2025)
On maximal and minimal linear matching property
за авторством: Aliabadi, M., та інші
Опубліковано: (2018)
за авторством: Aliabadi, M., та інші
Опубліковано: (2018)
Automatic text summarization of Chinese legal information
за авторством: Lande, Dmytro, та інші
Опубліковано: (2018)
за авторством: Lande, Dmytro, та інші
Опубліковано: (2018)
On the algebra of derivations of some Leibniz algebras
за авторством: Kurdachenko, Leonid A., та інші
Опубліковано: (2024)
за авторством: Kurdachenko, Leonid A., та інші
Опубліковано: (2024)
Quantum Boolean algebras
за авторством: Diaz, Rafael
Опубліковано: (2017)
за авторством: Diaz, Rafael
Опубліковано: (2017)