Corpus ID: 16405784

Integrating Constraint Satisfaction and Spatial Reasoning

@inproceedings{Kurup2010IntegratingCS,
  title={Integrating Constraint Satisfaction and Spatial Reasoning},
  author={Unmesh Kurup and Nicholas L. Cassimatis},
  booktitle={AAAI},
  year={2010}
}
  • Unmesh Kurup, Nicholas L. Cassimatis
  • Published in AAAI 2010
  • Computer Science
  • Many problems in AI, including planning, logical reasoning and probabilistic inference, have been shown to reduce to (weighted) constraint satisfaction. While there are a number of approaches for solving such problems, the recent gains in efficiency of the satisfiability approach have made SAT solvers a popular choice. Modern propositional SAT solvers are efficient for a wide variety of problems. However, particularly in the case of spatial reasoning, conversion to propositional SAT can… CONTINUE READING

    Create an AI-powered research feed to stay up to date with new papers like this posted to ArXiv

    Citations

    Publications citing this paper.
    SHOWING 1-5 OF 5 CITATIONS

    CLP(QS): A Declarative Spatial Reasoning Framework

    VIEW 6 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Multiple Representations in Cognitive Architectures

    VIEW 1 EXCERPT
    CITES METHODS

    Mechanizing modal psychology

    • Paul F. Bello
    • Psychology
    • 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering
    • 2014

    An architectural framework for complex cognition

    VIEW 3 EXCERPTS
    CITES BACKGROUND & METHODS