Asset Details

MbrlCatalogueTitleDetail

Do you wish to reserve the book?

ASP-Core-2 Input Language Format

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

in Aggregates / Collections / Competition / Computer science / Declarative programming / Knowledge representation / Language / Linear programming / Logic programming / Mathematical programming / Semantics / Standardization / Syntax

2020

Yes Please

Hey, we have placed the reservation for you!

By the way, why not check out events that you can attend while you pick your title.

Oops! Something went wrong.

Looks like we were not able to place the reservation. Kindly try again later.

Are you sure you want to remove the book from the shelf?

ASP-Core-2 Input Language Format

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

2020

Confirm

Do you wish to request the book?

ASP-Core-2 Input Language Format

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

2020

Please be aware that the book you have requested cannot be checked out. If you would like to checkout this book, you can reserve another copy

How would you like to get it?

Submit

We have requested the book for you!

Your request is successful and it will be processed during the Library working hours. Please check the status of your request in My Requests.

Oops! Something went wrong.

Looks like we were not able to place your request. Kindly try again later.

Journal Article

ASP-Core-2 Input Language Format

KRENNWALLNER, THOMAS,

GEBSER, MARTIN,

CALIMERI, FRANCESCO,

KAMINSKI, ROLAND,

SCHAUB, TORSTEN,

FABER, WOLFGANG,

RICCA, FRANCESCO,

MARATEA, MARCO,

LEONE, NICOLA,

IANNI, GIOVAMBATTISTA

2020

Overview

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.

Share this book

Add to My Shelf

Publisher

Cambridge University Press

Subject

/ Declarative programming

/ Knowledge representation

/ Language