This lab researches natural language understanding, knowledge representation, automated reasoning, declarative problem-solving.
It is particularly interested in applying automated reasoning techniques for solving inference problems stemming from natural language understanding domain. The work spans theoretic foundations as well as practical implementations of methods for automated reasoning based on model generation.