About Computational Logic Group (Tu Dresden)
The Computational Logic Group at Technische Universität Dresden focuses on research and development in the field of computational logic, which encompasses various aspects of logic programming, automated reasoning, and knowledge representation. The group aims to advance the theoretical foundations of computational logic while also applying these principles to practical problems in computer science and artificial intelligence. Through collaboration with industry and academia, the group contributes to the development of innovative solutions that leverage logical reasoning for complex computational tasks.
Company facts
- Industry
- Research
- Sub-industries
- Computer Science, Artificial Intelligence, Logic Programming, Automated Reasoning, Knowledge Representation
- Location
- Dresden, Germany
- Employees
- 11–50
- Revenue (USD)
- 1–5M
- Founded
- 2003
Products and services
Open Computational Logic Group (Tu Dresden) in GlobalDeal Is this your company? Update the details for free
More Research companies in Germany
- Leibniz Association
The Leibniz Association is a network of 96 research institutes in Germany, dedicated to promoting scientific research and fostering interdisciplinary collaboration. Established… - University Of Dortmund
The University of Dortmund, officially known as Technische Universität Dortmund, is a prominent research university located in Dortmund, Germany. Established in 1968, it has… - University Of Muenster
The University of Münster, founded in 1780, is one of the largest universities in Germany and is known for its strong emphasis on research and teaching. It offers a wide range of… - International Startup Campus
International Startup Campus (ISC) is an innovative hub located in Jena, Germany, dedicated to fostering entrepreneurship and supporting startups through various programs and… - Rwth Aachen University
RWTH Aachen University is one of the leading technical universities in Germany, known for its strong emphasis on engineering and technology. Established in 1870, it has a rich… - University Of Hamburg
The University of Hamburg is one of the largest universities in Germany, known for its research and teaching in various fields including humanities, social sciences, and natural… - Uni Freiburg
The University of Freiburg, founded in 1457, is one of the oldest and most prestigious universities in Germany. It is located in Freiburg im Breisgau and is known for its strong… - Tu Munich Professionals
TU Munich Professionals is a professional network associated with the Technical University of Munich (TUM), one of Europe's leading universities. The organization aims to connect… - Leistungszentrum Smart Production And Materials
Leistungszentrum Smart Production And Materials is a research institution based in Chemnitz, Germany, focusing on innovative solutions in smart production and materials science.… - Ux Fellows
Ux Fellows is a research and consulting firm based in Munich, Germany, specializing in user experience (UX) design and usability testing. The company focuses on helping… - Fraunhofer-Allianz Automobilproduktion
Fraunhofer-Allianz Automobilproduktion is a leading research alliance in the automotive sector, part of the Fraunhofer Society, which is Europe's largest application-oriented… - Pearl - Flexible Perovskite Solar Cells With Carbon Electrodes
Pearl is an innovative research project focused on the development of flexible perovskite solar cells utilizing carbon electrodes. The project aims to enhance the efficiency and…