Home » constraint satisfaction
Research Areas: constraint satisfaction, design of databases and knowledge bases, Logical foundations of AI
Research Areas: Artificial intelligence, constraint satisfaction, declarative programming, knowledge representation and reasoning