Work

ASP-Core-2 Input Language Format

Year: 2019

Type: article

Abstract: Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document, we present the ASP-CORE-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.

Source: Theory and Practice of Logic Programming

DOI: 10.1017/s1471068419000450

Authors: FRANCESCO CALIMERI, WOLFGANG FABER, MARTIN GEBSER, GIOVAMBATTISTA IANNI, ROLAND KAMINSKI, THOMAS KRENNWALLNER, NICOLA LEONE, MARCO MARATEA, FRANCESCO RICCA, TORSTEN SCHAUB

Institutions: University of Calabria, University of Klagenfurt, University of Potsdam, University of Genoa

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2985257580

FWCI: 12.3

Cites: 31

Cited by: 255

Related to: