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.
The University of Nebraska does not discriminate based on race, color, ethnicity, national origin, sex, pregnancy, sexual orientation, gender identity, religion, disability, age, genetic information, veteran status, marital status, and/or political affiliation in its programs, activities, or employment. Learn more about Equity, Access and Diversity.