Artificial Intelligence and Logic Research Group

Our research concentrates on problems in the areas of artificial intelligence, knowledge representation, logic, nonmonotonic logics, logic programming, automated reasoning, and databases.

Current research projects

  • Computing with Default Logic
  • Revision programming
  • Satisfiability testing

    Recent research papers

    People Involved


    Graduate Students

    Last modified: March 19, 97 MT