Home » Logical foundations of AI
Research Areas: constraint satisfaction, design of databases and knowledge bases, Logical foundations of AI