Login / Signup
Formalization and Algebraic Verification of Legal Requirements.
Alexander Godlevskyi
Aleksander Letichevskyi
Vladimir S. Peschanenko
Oleksandr A. Letychevskyi
Maryna Morokhovets
Volodymyr G. Skobelev
Maksym Poltorackiy
Published in:
ICTERI (2017)
Keyphrases
</>
model checking
database systems
legal texts
intellectual property
legal documents
legal knowledge
databases
machine learning
genetic algorithm
formal analysis
legal information retrieval
legal knowledge based systems