Corpus ID: 18701348

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={D. Mitchell and E. Ternovska},
  year={2007}
}
  • D. Mitchell, E. Ternovska
  • Published 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
    25 Citations

    Figures and Tables from this paper

    Lazy Model Expansion: Interleaving Grounding with Search
    • 33
    • PDF
    Lazy Model Expansion by Incremental Grounding
    • 15
    • PDF
    A framework for step-wise explaining how to solve constraint satisfaction problems
    • 1
    • PDF
    Is computing science?
    • 1
    • Highly Influenced
    • PDF
    MXG : A Model Expansion Grounder and Solver
    • 3
    • PDF
    Approximate Reasoning in First-Order Logic Theories
    • 11
    • PDF

    References

    SHOWING 1-10 OF 61 REFERENCES
    A Framework for Representing and Solving NP Search Problems
    • 110
    • PDF
    Predicate-calculus-based logics for modeling and solving search problems
    • 46
    • PDF
    Grounding for Model Expansion in k-Guarded Formulas with Inductive Definitions
    • 28
    • PDF
    Constraint Programming with Unrestricted Quantification
    • 1
    • PDF
    Logic programs with stable model semantics as a constraint programming paradigm
    • I. Niemelä
    • Mathematics, Computer Science
    • Annals of Mathematics and Artificial Intelligence
    • 2004
    • 801
    Complexity of Expanding a Finite Structure and Related Tasks
    • 4
    • PDF
    The IDP framework for declarative problem solving
    • 32
    Reducing Inductive Definitions to Propositional Satisfiability
    • 29
    • PDF
    The DLV system for knowledge representation and reasoning
    • 1,215
    • PDF