Enviar registro por correo electrónico: Formal methods in artificial intelligence /