Attribut:Short description EN

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  +
Center for Perspicuous Computing  +
Formula simplifier for CNF, QBF, MaxSAT and MUS formulas  +
D
Data Integration and Access by Merging Ontologies and Databases  +
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 (Collaborative Research Centre SFB 912)  +
Semantic Technology for Context Awareness (HAEC Teilprojekt B02)  +
High-Capacity Knowledge Processing Pipeline (HAEC Project B08)  +
I
ICCL Summer School 2015: Reasoning  +
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence  +
K
AI Assisted Certification of Medical Software  +
M
Secure Low Power Medical Edge Computing  +
N
Navigation Approaches for Answer Sets  +
A fast, scalable, and reliable rule engine  +
P
Parallel Satisfiability Testing  +
Q
Quantitative Logics and Automata  +
R
SAT Solver -- a programm that solves the satisfiability testing problem  +
S
School of Embedded Composite Artificial Intelligence  +