Skip to main content


Research Topics

Knowledge representation, natural language understanding, automated reasoning, declarative problem solving. We are particularly interested in applying automated reasoning techniques for solving inference problems stemming from natural language understanding domain. Also, our work spans theoretic foundations as well as practical implementations of methods for automated reasoning based on model generation.

Current Lab Members

nlpkr.jpg

2019 ICLP 
Academic Family Reunion


 

nplkr-family.jpg

Research Projects