Tim Lyon

From International Center for Computational Logic

Tim Lyon

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

Newest Publications

View full publication list
DeciGUT-logo-final.png

DeciGUT
A Grand Unified Theory of Decidability in Logic-Based Knowledge Representation