Bajwa, I.S., Lee, M.G., Bordbar, B.: SBVR business rules generation from natural language specification. In: 2011 AAAI Spring Symposium Series. Citeseer (2011)
Bartolini, C., Lenzini, G., Santos, C.: An agile approach to validate a formal representation of the GDPR. In: Kojima, K., Sakamoto, M., Mineshima, K., Satoh, K. (eds.) JSAI-isAI 2018. LNCS (LNAI), vol. 11717, pp. 160–176. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-31605-1 13
Governatori, G., Shek, S.: Regorous: a business process compliance checker. In: Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law, pp. 245–246 (2013)
Johnsen, Å., Berre, A.: A bridge between legislator and technologist-formalization in SBVR for improved quality and understanding of legal rules. In: International Workshop on Business Models, Business Rules and Ontologies, Bressanone, Brixen, Italy. Citeseer (2010)
Libal, T.: A meta-level annotation language for legal texts. In: Dastani, M., Dong, H., van der Torre, L. (eds.) CLAR 2020. LNCS (LNAI), vol. 12061, pp. 131–150. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-44638-3 9
Libal, T.: Towards automated GDPR compliance checking. In: Proceedings of the Workshop on the Scientific Foundations of Trustworthy AI, Integrating Learning, Optimisation and Reasoning (to appear)
Libal, T., Pascucci, M.: Automated reasoning in normative detachment structures with ideal conditions. In: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, pp. 63–72 (2019)
Libal, T., Steen, A.: NAI: the normative reasoner. In: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, pp. 262–263 (2019)
Libal, T., Steen, A.: Towards an executable methodology for the formalization of legal texts. In: Dastani, M., Dong, H., van der Torre, L. (eds.) CLAR 2020. LNCS (LNAI), vol. 12061, pp. 151–165. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-44638-3 10
Zeiler, M.D., Fergus, R.: Visualizing and understanding convolutional networks. In: Fleet, D., Pajdla, T., Schiele, B., Tuytelaars, T. (eds.) ECCV 2014. LNCS, vol. 8689, pp. 818–833. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10590-1 53
Prakken, H., Wyner, A., Bench-Capon, T., Atkinson, K.: A formalization of argumentation schemes for legal case-based reasoning in ASPIC+. J. Logic Comput. 25(5), 1141–1166 (2015)
Robaldo, L., Bartolini, C., Palmirani, M., Rossi, A., Martoni, M., Lenzini, G.: Formalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base. J. Logic Lang. Inf. 29(4), 401–449 (2020)
Routen, T., Bench-Capon, T.: Hierarchical formalizations. Int. J. Man Mach. Stud. 35(1), 69–93 (1991)
Sergot, M.J., Sadri, F., Kowalski, R.A., Kriwaczek, F., Hammond, P., Cory, H.T.: The British nationality act as a logic program. Commun. ACM 29(5), 370–386 (1986)
Vitali, F., Zeni, F.: Towards a country-independent data format: the Akoma Ntoso experience. In: Proceedings of the V Legislative XML Workshop, pp. 67–86 (2007)