Buchumschlag

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2023
Hauptverfasser:	Letychevskyi, O.O., Peschanenko, V.S., Poltorackiy, M. Yu.
Format:	Artikel
Sprache:	Englisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2023
Schlagworte:	legal text mining behavior algebra symbolic modeling formalization algebraic matching incompleteness UDC 519.85
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/514
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2023)

Use of methods of algebraic programming for the formal verification of legal acts
von: Peschanenko, V.S., et al.
Veröffentlicht: (2018)

Molecular modeling in the radiation therapy. The algebraic approach
von: Volkov, V.A., et al.
Veröffentlicht: (2023)

Neuro-symbolic approach for the biological systems and processes research
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2024)

Algebraic patterns of binary code vulnerabilities
von: Yakovlev, V.M.
Veröffentlicht: (2020)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 1. A mathematical model and its characteristics
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

An optimization problem of packing identical circles into a multiply connected region. Part 2. A solution method and its realisation
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2016)

Insertion semantics of quantum interactions
von: Tarasich, Yu.G., et al.
Veröffentlicht: (2023)

Algebraic modeling in international and local service logistical systems
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2021)

A balanced layout problem of cylinders in a cylindrical container of the minimal radius
von: Панкратов, А. В., et al.
Veröffentlicht: (2015)

A balanced layout problem of cylinders in a cylindrical container of the minimal radius
von: Панкратов, А. В., et al.
Veröffentlicht: (2015)

Method of detection of http attacks on a smart home using the algebraic matching method
von: Gorbatiuk, V.O., et al.
Veröffentlicht: (2023)

Packing non-equal hyperspheres into a hypersphere of minimal radius
von: Yaskov, G. N.
Veröffentlicht: (2014)

Packing non-equal hyperspheres into a hypersphere of minimal radius
von: Yaskov, G. N.
Veröffentlicht: (2014)

Algebraic approach to the analysis of legal documents
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2022)

Digital twins in intrusion detection systems based on deep learning
von: Letychevskyi, O.O., et al.
Veröffentlicht: (2025)

Steiner \(P\)-algebras
von: Chakrabarti, Sucheta
Veröffentlicht: (2018)

On solvable \(Z_3\)-graded alternative algebras
von: Goncharov, Maxim
Veröffentlicht: (2016)

Packing convex homothetic polytopes into a cuboid
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2018)

Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
von: Hil, Mykola I., et al.
Veröffentlicht: (2025)

Packing convex homothetic polytopes into a cuboid
von: Stoyan, Yu. G., et al.
Veröffentlicht: (2018)

Construction of both Geometric Relationships of Ellipses and Parabola-bounded Regions in Geometric Placement Problems
von: Hil, Mykola I., et al.
Veröffentlicht: (2025)

About relationship between table algebra of infinite tables and multiset table algebra
von: Glushko, I.M.
Veröffentlicht: (2018)

Survey on modern tools and methods of formal models verification
von: Kolchin, A.V., et al.
Veröffentlicht: (2015)

Ideally finite Leibniz algebras
von: Kurdachenko, L. A., et al.
Veröffentlicht: (2023)

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras
von: Kosakowska, Justyna
Veröffentlicht: (2018)

Gentle \(m\)-Calabi-Yau tilted algebras
von: Garcia Elsener, A.
Veröffentlicht: (2020)

Gram matrices and Stirling numbers of a class of diagram algebras, I
von: Karimilla Bi, N., et al.
Veröffentlicht: (2018)

Gram matrices and Stirling numbers of a class of diagram algebras, II
von: Karimilla Bi, N., et al.
Veröffentlicht: (2018)

The completeness of the algorithm algebra with data
von: Akulovskiy, V.G., et al.
Veröffentlicht: (2018)

Automorphic equivalence of the representations of Lie algebras
von: Shestakov, I., et al.
Veröffentlicht: (2018)

Uncountably many non-isomorphic nilpotent real \(n\)-Lie algebras
von: Stitzinger, Ernest, et al.
Veröffentlicht: (2018)

Multi-level model of parallel computing for linear algebra problems
von: Popov, A.V., et al.
Veröffentlicht: (2018)

Deductive verification of requirements for event-driven architecture
von: Letichevsky, A.A., et al.
Veröffentlicht: (2025)

On maximal and minimal linear matching property
von: Aliabadi, M., et al.
Veröffentlicht: (2018)

Automatic text summarization of Chinese legal information
von: Lande, Dmytro, et al.
Veröffentlicht: (2018)

On the algebra of derivations of some Leibniz algebras
von: Kurdachenko, Leonid A., et al.
Veröffentlicht: (2024)

Quantum Boolean algebras
von: Diaz, Rafael
Veröffentlicht: (2017)