Efficient Implementation of the Well-founded and Stable Model Semantics

Ilkka Niemelä; Patrik Simons

Efficient Implementation of the Well-founded and Stable Model Semantics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Original language	English
Title of host publication	Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 1996
Editors	M. Maher
Pages	289-303
Publication status	Published - 1996
MoE publication type	A4 Article in a conference publication

Cite this

@inproceedings{368c46f671944e9c9b364a8309f8272f,

title = "Efficient Implementation of the Well-founded and Stable Model Semantics",

author = "Ilkka Niemel{\"a} and Patrik Simons",

year = "1996",

language = "English",

pages = "289--303",

editor = "M. Maher",

booktitle = "Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 1996",

}

Efficient Implementation of the Well-founded and Stable Model Semantics. / Niemelä, Ilkka; Simons, Patrik.

Proceedings of the Joint International Conference and Symposium on Logic Programming, Bonn, Germany, September 1996. ed. / M. Maher. 1996. p. 289-303.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review