@inproceedings{brai-etal-2007,
	Abstract = {This position paper raises some issues regarding the output of solvers for Answer Set Programming and discusses experiences made in several different settings. The first set of issues was raised in the context of the first ASP system competition, which led to a first suggestion for a standardised yet miniature output format. We then turn to experiences made in related fields, like Satisfiability Checking, and finally adopt an application point of view by investigating interface issues both with simple tools and in the context of the Semantic Web and query answering.},
	Address = {Tempe, AZ},
	Author = {Martin Brain and Wolfgang Faber and Marco Maratea and Axel Polleres and Torsten Schaub and Roman Schindlauer},
	Booktitle = {First International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07)},
	Day = 14,
	Editor = {Marina De Vos and Torsten Schaub},
	Month = may,
	Pages = {26--37},
	Title = {What should an {ASP} Solver output? A Multiple Position Paper},
	Tytpe = WS,
	Url = {http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf},
	Year = 2007,
	Bdsk-Url-1 = {http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf}}

{"_id":"reLYQXwaFj9KtWmcR","bibbaseid":"brain-faber-maratea-polleres-schaub-schindlauer-whatshouldanaspsolveroutputamultiplepositionpaper-2007","downloads":0,"creationDate":"2015-12-16T06:35:18.095Z","title":"What should an ASP Solver output? A Multiple Position Paper","author_short":["Brain, M.","Faber, W.","Maratea, M.","Polleres, A.","Schaub, T.","Schindlauer, R."],"year":2007,"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","abstract":"This position paper raises some issues regarding the output of solvers for Answer Set Programming and discusses experiences made in several different settings. The first set of issues was raised in the context of the first ASP system competition, which led to a first suggestion for a standardised yet miniature output format. We then turn to experiences made in related fields, like Satisfiability Checking, and finally adopt an application point of view by investigating interface issues both with simple tools and in the context of the Semantic Web and query answering.","address":"Tempe, AZ","author":[{"firstnames":["Martin"],"propositions":[],"lastnames":["Brain"],"suffixes":[]},{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Maratea"],"suffixes":[]},{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Torsten"],"propositions":[],"lastnames":["Schaub"],"suffixes":[]},{"firstnames":["Roman"],"propositions":[],"lastnames":["Schindlauer"],"suffixes":[]}],"booktitle":"First International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07)","day":"14","editor":[{"firstnames":["Marina","De"],"propositions":[],"lastnames":["Vos"],"suffixes":[]},{"firstnames":["Torsten"],"propositions":[],"lastnames":["Schaub"],"suffixes":[]}],"month":"May","pages":"26–37","title":"What should an ASP Solver output? A Multiple Position Paper","tytpe":"workshop","url":"http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf","year":"2007","bdsk-url-1":"http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf","bibtex":"@inproceedings{brai-etal-2007,\n\tAbstract = {This position paper raises some issues regarding the output of solvers for Answer Set Programming and discusses experiences made in several different settings. The first set of issues was raised in the context of the first ASP system competition, which led to a first suggestion for a standardised yet miniature output format. We then turn to experiences made in related fields, like Satisfiability Checking, and finally adopt an application point of view by investigating interface issues both with simple tools and in the context of the Semantic Web and query answering.},\n\tAddress = {Tempe, AZ},\n\tAuthor = {Martin Brain and Wolfgang Faber and Marco Maratea and Axel Polleres and Torsten Schaub and Roman Schindlauer},\n\tBooktitle = {First International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07)},\n\tDay = 14,\n\tEditor = {Marina De Vos and Torsten Schaub},\n\tMonth = may,\n\tPages = {26--37},\n\tTitle = {What should an {ASP} Solver output? A Multiple Position Paper},\n\tTytpe = WS,\n\tUrl = {http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf},\n\tYear = 2007,\n\tBdsk-Url-1 = {http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf}}\n\n","author_short":["Brain, M.","Faber, W.","Maratea, M.","Polleres, A.","Schaub, T.","Schindlauer, R."],"editor_short":["Vos, M. D.","Schaub, T."],"key":"brai-etal-2007","id":"brai-etal-2007","bibbaseid":"brain-faber-maratea-polleres-schaub-schindlauer-whatshouldanaspsolveroutputamultiplepositionpaper-2007","role":"author","urls":{"Paper":"http://sea07.cs.bath.ac.uk/downloads/sea07-proceedings.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"search_terms":["asp","solver","output","multiple","position","paper","brain","faber","maratea","polleres","schaub","schindlauer"],"keywords":[],"authorIDs":["545720922abc8e9f370000ae","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}