Decision support tools for Arno DRESCHER