Model Expansion as a Framework for Modelling and Solving Search Problems

@inproceedings{Mitchell2007ModelEA,
  title={Model Expansion as a Framework for Modelling and Solving Search Problems},
  author={David Mitchell and Eugenia Ternovska},
  year={2007}
}
We propose a framework for modelling and solving search problems using logic, and describe a project whose goal is to produce practically effective, general purpose tools for representing and solving search problems based on this framework. The mathematical foundation lies in the areas of finite model theory and descriptive complexity, which provide us with many classical results, as well as powerful techniques, not available to many other approaches with similar goals. We describe the… CONTINUE READING

Figures and Tables from this paper.

References

Publications referenced by this paper.