Attribut:Name EN
Aus International Center for Computational Logic
Dies ist eine Eigenschaft des Typs Zeichenkette.
A
Abstract Argumentation +
Algebra and Discrete Structures +
Answer Set Programming +
Automata Theory +
B
Description Logics +
Proof Theory +
C
Computational Logic +
Constraint Satisfaction Problems +
D
Database Theory +
E
Existential Rules +
F
Formal Concept Analysis +
L
Logic Programming and Argumentation +
M
Modal and Temporal Logics +
N
Non-Monotonic Reasoning +
R
Rule-Based Reasoning +
S
Semantic Technologies +
V
Verification and formal quantitative Analysis +
Natural-Language Understanding +
W
Knowledge-Based Systems +
Knowledge representation and reasoning +
