Symbolic AI

 
Keywords People
Knowledge Representations

Gerhard Lakemeyer

Stefan Decker

Planning & Reasoning

Gerhard Lakemeyer

Constraint Satisfaction

Martin Grohe

Automated Reasoning

Jürgen Giesl

Holger Hoos

Automated Artificial Intelligence (AutoAI) Holger Hoos