合聘研究員  |  項潔       Research Interests   Digital Libraries and Museums Artificial Intelligence: software agents, strategy analysis Programming Languages: logic programming, logics of programming Foundation of Computer Science: term rewriting systems, automated deduction