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 +
Automata Theory and Formal Languages +
B
Description Logics +
Proof Theory +
C
Computational Logic +
Constraint Satisfaction Problems +
D
Database Theory +
E
Existential Rules +
F
Formal Concept Analysis +
K
Knowledge-aware Artificial Intelligence +
L
Logic Programming and Argumentation +
M
Modal and Temporal Logics +
Multi-agent systems +
N
Non-Monotonic Reasoning +
R
Rule-Based Reasoning +
S
Semantic Technologies +
V
Verification and formal quantitative Analysis +
