Logic programs with stable model semantics as a constraint programming paradigm

@article{Niemel1999LogicPW,
  title={Logic programs with stable model semantics as a constraint programming paradigm},
  author={Ilkka Niemel{\"a}},
  journal={Annals of Mathematics and Artificial Intelligence},
  year={1999},
  volume={25},
  pages={241-273}
}
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic programming based knowledge representation techniques to constraint programming and because implementation methods for the stable model semantics for ground (variable‐free) programs have advanced significantly in recent years. For a program with variables these methods need a grounding procedure for generating a variable… CONTINUE READING
Highly Influential
This paper has highly influenced 106 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
543 Citations
38 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-10 of 543 extracted citations

Similar Papers

Loading similar papers…