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Схожі ресурси
Use of methods of algebraic programming for the formal verification of legal acts
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
за авторством: Peschanenko, V.S., та інші
Опубліковано: (2018)
Formal semantics and analysis of tokenomics properties
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2023)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (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)
Molecular modeling in the radiation therapy. The algebraic approach
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
за авторством: Volkov, V.A., та інші
Опубліковано: (2023)
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 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)
Algebraic modeling in international and local service logistical systems
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2021)
Algebraic approach to the analysis of legal documents
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2022)
Insertion semantics of quantum interactions
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)
за авторством: Tarasich, Yu.G., та інші
Опубліковано: (2023)
Method of detection of http attacks on a smart home using the algebraic matching method
за авторством: Gorbatiuk, V.O., та інші
Опубліковано: (2023)
за авторством: Gorbatiuk, V.O., та інші
Опубліковано: (2023)
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)
On solvable \(Z_3\)-graded alternative algebras
за авторством: Goncharov, Maxim
Опубліковано: (2016)
за авторством: Goncharov, Maxim
Опубліковано: (2016)
Steiner \(P\)-algebras
за авторством: Chakrabarti, Sucheta
Опубліковано: (2018)
за авторством: Chakrabarti, Sucheta
Опубліковано: (2018)
Digital twins in intrusion detection systems based on deep learning
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2025)
за авторством: Letychevskyi, O.O., та інші
Опубліковано: (2025)
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)
Automorphic equivalence of the representations of Lie algebras
за авторством: Shestakov, I., та інші
Опубліковано: (2018)
за авторством: Shestakov, I., та інші
Опубліковано: (2018)
About relationship between table algebra of infinite tables and multiset table algebra
за авторством: Glushko, I.M.
Опубліковано: (2018)
за авторством: Glushko, I.M.
Опубліковано: (2018)
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)
Uncountably many non-isomorphic nilpotent real \(n\)-Lie algebras
за авторством: Stitzinger, Ernest, та інші
Опубліковано: (2018)
за авторством: Stitzinger, Ernest, та інші
Опубліковано: (2018)
On maximal and minimal linear matching property
за авторством: Aliabadi, M., та інші
Опубліковано: (2018)
за авторством: Aliabadi, M., та інші
Опубліковано: (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)
Some (Hopf) algebraic properties of circulant matrices
за авторством: Albuquerque, Helena, та інші
Опубліковано: (2018)
за авторством: Albuquerque, Helena, та інші
Опубліковано: (2018)
The completeness of the algorithm algebra with data
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
за авторством: Akulovskiy, V.G., та інші
Опубліковано: (2018)
Automatic text summarization of Chinese legal information
за авторством: Lande, Dmytro, та інші
Опубліковано: (2018)
за авторством: Lande, Dmytro, та інші
Опубліковано: (2018)
The generalized path algebras over standardly stratified algebras
за авторством: Wang, Shugui
Опубліковано: (2018)
за авторством: Wang, Shugui
Опубліковано: (2018)
Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
за авторством: Hil, Mykola I., та інші
Опубліковано: (2025)
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)
Packing convex homothetic polytopes into a cuboid
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
за авторством: Stoyan, Yu. G., та інші
Опубліковано: (2018)
Natural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
за авторством: Mathonet, P., та інші
Опубліковано: (2018)
за авторством: Mathonet, P., та інші
Опубліковано: (2018)