Connectionist Networks/en

Research topics

• Abstract Argumentation
• Answer Set Programming
• Automata Theory and Formal Languages
• Description Logics
• Proof Theory
• Constraint Satisfaction Problems
• Database Theory
• Existential Rules
• Formal Concept Analysis
• Modal and Temporal Logics
• Multi-agent systems
• Non-Monotonic Reasoning
• Rule-Based Reasoning
• Semantic Technologies
• Natural-Language Understanding
• Knowledge representation and reasoning

Toggle side column

Connectionist Networks/en

• Information
• People
• Publications

Edited Proceedings

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details