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

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

Formal semantics and analysis of tokenomics properties
von: Letychevskyi, O.O., 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)

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

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

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

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

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

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

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)

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

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

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

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)

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

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

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)

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

On maximal and minimal linear matching property
von: Aliabadi, M., 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)

Some (Hopf) algebraic properties of circulant matrices
von: Albuquerque, Helena, et al.
Veröffentlicht: (2018)

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

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

The generalized path algebras over standardly stratified algebras
von: Wang, Shugui
Veröffentlicht: (2018)

Natural dualities for varieties generated by a set of subalgebras of a semi-primal algebra
von: Mathonet, P., 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)

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)

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