Artificial Intelligence and Logic Research
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
Last modified: March 19, 97 MT