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