The Stable Model Semantics for Logic Programming. Gelfond, M & Lifschitz, V In Proceedings of the 5th International Conference and Symposium on Logic Programming (Seattle, Washington), pages 1070–1080, New York, 1988. IEEE. bibtex @inproceedings{Gelfond/Lifschitz:88,
address = {New York},
title = {The {Stable} {Model} {Semantics} for {Logic} {Programming}},
booktitle = {Proceedings of the 5th {International} {Conference} and {Symposium} on {Logic} {Programming} ({Seattle}, {Washington})},
publisher = {IEEE},
author = {Gelfond, M and Lifschitz, V},
year = {1988},
pages = {1070--1080},
}
Downloads: 0
{"_id":"tXKPe4MwGaPs3EuwZ","bibbaseid":"gelfond-lifschitz-thestablemodelsemanticsforlogicprogramming-1988","author_short":["Gelfond, M","Lifschitz, V"],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"New York","title":"The Stable Model Semantics for Logic Programming","booktitle":"Proceedings of the 5th International Conference and Symposium on Logic Programming (Seattle, Washington)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Gelfond"],"firstnames":["M"],"suffixes":[]},{"propositions":[],"lastnames":["Lifschitz"],"firstnames":["V"],"suffixes":[]}],"year":"1988","pages":"1070–1080","bibtex":"@inproceedings{Gelfond/Lifschitz:88,\n\taddress = {New York},\n\ttitle = {The {Stable} {Model} {Semantics} for {Logic} {Programming}},\n\tbooktitle = {Proceedings of the 5th {International} {Conference} and {Symposium} on {Logic} {Programming} ({Seattle}, {Washington})},\n\tpublisher = {IEEE},\n\tauthor = {Gelfond, M and Lifschitz, V},\n\tyear = {1988},\n\tpages = {1070--1080},\n}\n\n","author_short":["Gelfond, M","Lifschitz, V"],"key":"Gelfond/Lifschitz:88","id":"Gelfond/Lifschitz:88","bibbaseid":"gelfond-lifschitz-thestablemodelsemanticsforlogicprogramming-1988","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/ifromm","dataSources":["79oQCSkNzzoZHJw69","SC4vtg3To6xYfQL7G","N4kJAiLiJ7kxfNsoh"],"keywords":[],"search_terms":["stable","model","semantics","logic","programming","gelfond","lifschitz"],"title":"The Stable Model Semantics for Logic Programming","year":1988}