Proceedings of the 1st international conference on Artificial intelligence and law