Logic and Human Reasoning/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

Logic and Human Reasoning/en

• Information
• People
• Publications

Former Members

Dr. Emmanuelle Dietz

• Former Research Associate
• Knowledge Representation and Reasoning

Dr. Christoph Wernhard

• Former Research Associate
• Knowledge Representation and Reasoning

Talks and Miscellaneous

Maximilian Marx
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download