Show simple item record

dc.contributor.authorPolleres, Axelen
dc.identifier.citationMartin Brain, Wolfgang Faber, Marco Maratea, Axel Polleres, Torsten Schaub, Roman Schindlauer "Marina De Vos, Torsten Schaub (editors) "What should an ASP solver output? A multiple position paper", First International Workshop on Software Engineering for Answer Set Programming 2007 (SEA'07), in conjunction with LPNMR'07, May, 2007.en
dc.description.abstractThis 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 out- put format. We then turn to experiences made in related fields, like Satis¿ability Checking, and finally adopt an application point of view by investigating inter- face issues both with simple tools and in the context of the Semantic Web and query answering.en
dc.subject.lcshLogic programming languagesen
dc.subject.lcshSemantic Weben
dc.titleWhat should an ASP solver output? A multiple position paperen
dc.typeWorkshop paperen
dc.contributor.funderScience Foundation Irelanden

Files in this item

Attribution-NonCommercial-NoDerivs 3.0 Ireland
This item is available under the Attribution-NonCommercial-NoDerivs 3.0 Ireland. No item may be reproduced for commercial purposes. Please refer to the publisher's URL where this is made available, or to notes contained in the item itself. Other terms may apply.

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record