Symbolic AI

 
Keywords Personen
Knowledge Representations

Gerhard Lakemeyer

Stefan Decker

Hector Geffner

Planning & Reasoning

Gerhard Lakemeyer

Hector Geffner

Constraint Satisfaction

Martin Grohe

Automated Reasoning

Jürgen Giesl

Holger Hoos

Automated Artificial Intelligence (AutoAI) Holger Hoos