Constants and finite unary relations in qualitative constraint reasoning

@article{Jonsson2018ConstantsAF,
  title={Constants and finite unary relations in qualitative constraint reasoning},
  author={Peter Jonsson},
  journal={Artif. Intell.},
  year={2018},
  volume={257},
  pages={1-23}
}
Abstract Extending qualitative CSPs with the ability of restricting selected variables to finite sets of possible values has been proposed as an interesting research direction with important applications, cf. “Qualitative constraint satisfaction problems: an extended framework with landmarks” by Li, Liu, and Wang (2013) [48] . Previously presented complexity results for this kind of extended formalisms have typically focused on concrete examples and not on general principles. We propose three… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 56 REFERENCES

Relation Algebras of Intervals

  • Artif. Intell.
  • 1996
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

A Model-Theoretic View on Qualitative Constraint Reasoning

  • J. Artif. Intell. Res.
  • 2017
VIEW 7 EXCERPTS
HIGHLY INFLUENTIAL

A survey of homogeneous structures, Discrete Math

Dugald Macpherson
  • 2011
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Qualitative Temporal and Spatial Reasoning Revisited

  • J. Log. Comput.
  • 2009
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

Cores of Countably Categorical Structures

  • Logical Methods in Computer Science
  • 2007
VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

Similar Papers

Loading similar papers…