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
  • DEXTER

    Recent research papers

    People Involved

    Faculty


    Graduate Students


    Last modified: March 19, 97 MT