ARAN - Access to Research at NUI Galway

What should an ASP solver output? A multiple position paper

ARAN - Access to Research at NUI Galway

Show simple item record

dc.contributor.author Polleres, Axel en
dc.date.accessioned 2009-12-15T12:03:20Z en
dc.date.available 2009-12-15T12:03:20Z en
dc.date.issued 2007 en
dc.identifier.citation Martin 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.identifier.uri http://hdl.handle.net/10379/529 en
dc.description.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 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.format application/pdf en
dc.language.iso en en
dc.publisher May en
dc.subject.lcsh Logic programming languages en
dc.subject.lcsh Semantic Web en
dc.title What should an ASP solver output? A multiple position paper en
dc.type Workshop paper en
dc.description.peer-reviewed peer-reviewed en
dc.contributor.funder Science Foundation Ireland en

Files in this item

This item appears in the following Collection(s)

Show simple item record