Symbolic Logic Computerized processing of law-related tasks
Computational processing of legal information as an application of knowledge information processing used as a digital transformation and artificial intelligence task (a European case study).