Integrating search and optimisation technology for formal modelling languages. KU Leuven
Several research fields share the goal of developing domain independent languages and techniques for search and optimisation. Main-stream areas are operations research, constraint programming and satisfiability checking of propositional logic. A new development is the emergence of search systems based on expressive logics with origins in the area of knowledge representation that prove well-suited in knowledge-intense domains. This approach ...