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

  • Dr. Yuliya Lierler
  • Dr. Jorge Fandinno
  • Daniel Bresnahan
  • Zachary Hansen
  • Joel Sare
  • Nicholas Wilson


2019 ICLP 
Academic Family Reunion



Research Projects