Attribut:Short description DE

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Dies ist eine Eigenschaft des Typs Zeichenkette.

Unterhalb werden 20 Seiten angezeigt, auf denen für dieses Attribut ein Datenwert gespeichert wurde.
C
CENTER FOR ADVANCING ELECTRONICS DRESDEN  +
Grundlagen verständlicher Softwaresysteme  +
Formelvereinfachungen für CNF (SAT), QBF, MaxSAT und MUS Formeln  +
D
Datenintegration und -abfrage durch die Zusammenführung von Ontologien und Datenbanken  +
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation  +
E
European Master's Program in Computational Logic  +
G
Generating and Answering Ontological Queries  +
H
Highly Adaptive Energy-Efficient Computing (Sonderforschungsbereich 912)  +
Semantic Technology for Context Awareness (HAEC Project B02)  +
High-Capacity Knowledge Processing Pipeline (HAEC Teilprojekt B08)  +
I
ICCL Summer School 2015: Reasoning  +
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence  +
K
KI-assistierte Zertifizierung medizinischer Software  +
M
Vertrauenswürdige und energiesparsame Edge-Elektronik für medizinische Anwendungen  +
N
Navigation im Lösungsraum von Answer Sets  +
Ein schnelles, skalierbares und verlässliches Regelsystem  +
P
Paralleles Lösen des Erfüllbarkeitproblems  +
Q
Quantitative Logics and Automata  +
R
SAT Solver - ein Programm, welches das Erfüllbarkeitsproblem löst  +
S
School of Embedded Composite Artificial Intelligence  +