About

Tampere Logic Group research topics:

• Knowledge representation
• Automated reasoning
• Optimization
• Logic in computer science
• Foundations of AI
• Discrete mathematics
• Team semantics and dependence logics

Group publication list in DBLP