What should an ASP solver output? A multiple position paper

M J Brain, W Faber, M Maratea, Alex Polleres, T Schaub, R Schindlauer

Research output: Contribution to conferencePaper

2 Citations (Scopus)

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.
Original languageEnglish
Pages26-37
Number of pages12
Publication statusPublished - 2007
EventSoftware Engineering for Answer Set Programming: SEA'07: First International Workshop - Tempe, Arizona, USA United States
Duration: 14 May 2007 → …

Workshop

WorkshopSoftware Engineering for Answer Set Programming: SEA'07: First International Workshop
CountryUSA United States
CityTempe, Arizona
Period14/05/07 → …

    Fingerprint

Cite this

Brain, M. J., Faber, W., Maratea, M., Polleres, A., Schaub, T., & Schindlauer, R. (2007). What should an ASP solver output? A multiple position paper. 26-37. Paper presented at Software Engineering for Answer Set Programming: SEA'07: First International Workshop, Tempe, Arizona, USA United States.