Practical tools from formal models: the ECHR as a case study.

Katie Atkinson Joe Collenette Trevor J. M. Bench-Capon Kanstantsin Dzehtsiarou

Published in: ICAIL (2021)

Keyphrases

formal models
rule based systems
formal model
process model
test bed
case study
real world
databases
social networks
information systems
real time
artificial intelligence
e learning
decision trees
genetic programming
user friendly