"model expansion, logic, computational logic, logic programming, answer set programming, descriptive complexity, finite model theory, abstract specification, constraint programming, constraint modelling language, declarative programming, constraint satisfaction, ID-Logic, inductive definitions, combinatorial search, combinatorial optimization knowledge representation, satisfiability ",
"description" =>"Home page of the MX project, School of Computing Science, Simon Fraser University"));
?>
The MX Project: Modelling and Solving Search Problems with Logic
This web area is under re-construction