Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm (1998)
AUTHORS:
Niemelä Ilkka
BOOKTITLE:
Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning
PAGES:
72--79
@inproceedings{ Niemela98:cnmr, author = {Niemel{\"a}, Ilkka}, publisher = "Helsinki University of Technology, Digital Systems Laboratory, Research Report A52", title = "Logic Programs with Stable Model Semantics as a Constraint Programming Paradigm", booktitle = "Proceedings of the Workshop on Computational Aspects of Nonmonotonic Reasoning", month = "May", year = "1998", organization = "", pages = "72--79" }