AI Chat AI Image Generator AI Video Text to Speech

ASP-Core-2 Input Language Format

11/11/2019
∙
by   Francesco Calimeri, et al.
∙
5
∙

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

Related Research

research
∙ 07/28/2019

Relating Two Dialects of Answer Set Programming

The input language of the answer set solver clingo is based on the defin...
0 Amelia Harrison, et al. ∙
research
∙ 07/15/2014

Controlled Natural Language Processing as Answer Set Programming: an Experiment

Most controlled natural languages (CNLs) are processed with the help of ...
0 Rolf Schwitter, et al. ∙
research
∙ 07/28/2013

ROSoClingo: A ROS package for ASP-based robot control

Knowledge representation and reasoning capacities are vital to cognitive...
0 Benjamin Andres, et al. ∙
research
∙ 02/17/2018

Almost Sure Productivity

We define Almost Sure Productivity (ASP), a probabilistic generalization...
0 Alejandro Aguirre, et al. ∙
research
∙ 06/23/2022

plingo: A system for probabilistic reasoning in clingo based on lpmln

We present plingo, an extension of the ASP system clingo with various pr...
0 Susana Hahn, et al. ∙
research
∙ 05/14/2014

The Design of the Fifth Answer Set Programming Competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...
0 Francesco Calimeri, et al. ∙
research
∙ 06/14/2012

The third open Answer Set Programming competition

Answer Set Programming (ASP) is a well-established paradigm of declarati...
0 Francesco Calimeri, et al. ∙

Please sign up or login with your details

Forgot password? Click here to reset

Out of credits

Refill your membership to continue using DeepAI

Stripe
Paypal