Home » knowledge representation and reasoning
Research Areas: Artificial intelligence, constraint satisfaction, declarative programming, knowledge representation and reasoning
