Extending and implementing the stable model semantics. Simons, P., Niemelä, I., & Soininen, T. Artificial Intelligence, 138(1-2):181-234, 2002. bibtex @Article{ siniso02a,
author = "P. Simons and I. Niemelä and T. Soininen",
title = "Extending and implementing the stable model semantics",
journal = aij,
year = 2002,
volume = 138,
number = "1-2",
pages = "181-234"
}
Downloads: 0
{"_id":"axi3F8CNcviFvWmeG","bibbaseid":"simons-niemel-soininen-extendingandimplementingthestablemodelsemantics-2002","downloads":0,"creationDate":"2016-08-22T10:51:33.930Z","title":"Extending and implementing the stable model semantics","author_short":["Simons, P.","Niemelä, I.","Soininen, T."],"year":2002,"bibtype":"article","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["P."],"propositions":[],"lastnames":["Simons"],"suffixes":[]},{"firstnames":["I."],"propositions":[],"lastnames":["Niemelä"],"suffixes":[]},{"firstnames":["T."],"propositions":[],"lastnames":["Soininen"],"suffixes":[]}],"title":"Extending and implementing the stable model semantics","journal":"Artificial Intelligence","year":"2002","volume":"138","number":"1-2","pages":"181-234","bibtex":"@Article{\t siniso02a,\n author\t= \"P. Simons and I. Niemelä and T. Soininen\",\n title\t\t= \"Extending and implementing the stable model semantics\",\n journal\t= aij,\n year\t\t= 2002,\n volume\t= 138,\n number\t= \"1-2\",\n pages\t\t= \"181-234\"\n}\n\n","author_short":["Simons, P.","Niemelä, I.","Soininen, T."],"key":"siniso02a","id":"siniso02a","bibbaseid":"simons-niemel-soininen-extendingandimplementingthestablemodelsemantics-2002","role":"author","urls":{},"downloads":0},"search_terms":["extending","implementing","stable","model","semantics","simons","niemelä","soininen"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}