Proceedings of the 4th international conference on Artificial intelligence and law