menu ☰
menu ˟

What should an ASP solver output? A multiple position paper

Creator:

Polleres, Axel;

Institution: May
Subject Keywords: Logic programming languages; Semantic Web;
Region:
Description:

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.

Format:

application/pdf

Suggested citation:

Polleres, Axel; . () What should an ASP solver output? A multiple position paper [Online]. Available from: http://publichealthwell.ie/node/623300 [Accessed: 21st September 2019].

  

View your saved citations and reading lists

Contributor:


 
Click here to view all the resources gathered from this organisation's website.