matthewlynn

Researcher working in knowledge representation, automated reasoning, and automated planning.

Location:Germany

Pinned Repositories

matthewlynn's Repositories