Towards Automated Integration of Guess and Check Programs in Answer Set Programming. Eiter, T. & Polleres, A. In Lifschitz, V. & Niemelä, I., editors, Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7), of Lecture Notes in AI (LNAI), pages 100–113, Fort Lauderdale, Florida, USA, January, 2004. Springer. ![Towards Automated Integration of Guess and Check Programs in Answer Set Programming [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{eite-poll-2004,
Address = {Fort Lauderdale, Florida, USA},
Author = {Thomas Eiter and Axel Polleres},
Booktitle = {{Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7)}},
Editor = {Vladimir Lifschitz and Ilkka Niemel{\"a}},
Month = JAN,
Number = 2923,
Pages = {100--113},
Project = {dlv},
Publisher = {Springer},
Series = LNAI,
Talk = {Axel Polleres},
Title = {Towards Automated Integration of Guess and Check Programs in Answer Set Programming},
Url = {http://www.springerlink.com/content/fh3lja3lf1lu4qqd/},
Year = 2004,
Bdsk-Url-1 = {http://www.springerlink.com/content/fh3lja3lf1lu4qqd/}}
Downloads: 0
{"_id":"G5EwySRydmfNNZZj7","bibbaseid":"eiter-polleres-towardsautomatedintegrationofguessandcheckprogramsinanswersetprogramming-2004","downloads":0,"creationDate":"2015-12-16T06:35:18.289Z","title":"Towards Automated Integration of Guess and Check Programs in Answer Set Programming","author_short":["Eiter, T.","Polleres, A."],"year":2004,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","address":"Fort Lauderdale, Florida, USA","author":[{"firstnames":["Thomas"],"propositions":[],"lastnames":["Eiter"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7)","editor":[{"firstnames":["Vladimir"],"propositions":[],"lastnames":["Lifschitz"],"suffixes":[]},{"firstnames":["Ilkka"],"propositions":[],"lastnames":["Niemelä"],"suffixes":[]}],"month":"January","number":"2923","pages":"100–113","project":"dlv","publisher":"Springer","series":"Lecture Notes in AI (LNAI)","talk":"Axel Polleres","title":"Towards Automated Integration of Guess and Check Programs in Answer Set Programming","url":"http://www.springerlink.com/content/fh3lja3lf1lu4qqd/","year":"2004","bdsk-url-1":"http://www.springerlink.com/content/fh3lja3lf1lu4qqd/","bibtex":"@inproceedings{eite-poll-2004,\n\tAddress = {Fort Lauderdale, Florida, USA},\n\tAuthor = {Thomas Eiter and Axel Polleres},\n\tBooktitle = {{Proceedings of the Seventh International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-7)}},\n\tEditor = {Vladimir Lifschitz and Ilkka Niemel{\\\"a}},\n\tMonth = JAN,\n\tNumber = 2923,\n\tPages = {100--113},\n\tProject = {dlv},\n\tPublisher = {Springer},\n\tSeries = LNAI,\n\tTalk = {Axel Polleres},\n\tTitle = {Towards Automated Integration of Guess and Check Programs in Answer Set Programming},\n\tUrl = {http://www.springerlink.com/content/fh3lja3lf1lu4qqd/},\n\tYear = 2004,\n\tBdsk-Url-1 = {http://www.springerlink.com/content/fh3lja3lf1lu4qqd/}}\n\n","author_short":["Eiter, T.","Polleres, A."],"editor_short":["Lifschitz, V.","Niemelä, I."],"key":"eite-poll-2004","id":"eite-poll-2004","bibbaseid":"eiter-polleres-towardsautomatedintegrationofguessandcheckprogramsinanswersetprogramming-2004","role":"author","urls":{"Paper":"http://www.springerlink.com/content/fh3lja3lf1lu4qqd/"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"search_terms":["towards","automated","integration","guess","check","programs","answer","set","programming","eiter","polleres"],"keywords":[],"authorIDs":["FyLDFGg993nDS2Spf"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}