Computational Logic Group

The Computational Logic (CL) group at the Technische Universität Dresden has a rich faculty of experience in the areas of cognitive robotics, intelligent agents, planning, nonmonotonic and default reasoning. read more ...