Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
CENTER FOR ADVANCING ELECTRONICS DRESDEN
+Center for Perspicuous Computing
+Centre for Tactile Internet with Human-in-the-Loop
+Formula simplifier for CNF, QBF, MaxSAT and MUS formulas
+Data Integration and Access by Merging Ontologies and Databases
+A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation
+European Master's Program in Computational Logic
+Generating and Answering Ontological Queries
+Highly Adaptive Energy-Efficient Computing (Collaborative Research Centre SFB 912)
+Semantic Technology for Context Awareness (HAEC Teilprojekt B02)
+High-Capacity Knowledge Processing Pipeline (HAEC Project B08)
+ICCL Summer School 2015: Reasoning
+Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
+AI Assisted Certification of Medical Software
+Secure Low Power Medical Edge Computing
+Navigation Approaches for Answer Sets
+A fast, scalable, and reliable rule engine
+Parallel Satisfiability Testing
+Quantitative Logics and Automata
+SAT Solver -- a programm that solves the satisfiability testing problem
+
