Answer Set Programming with Templates (2003)
| Venue: | In Proc. NMR 2004 |
| Citations: | 16 - 7 self |
BibTeX
@INPROCEEDINGS{Ianni03answerset,
author = {Giovambattista Ianni and Giuseppe Ielpa and Adriana Pietramala and Maria Carmela Santoro and Francesco Calimeri},
title = {Answer Set Programming with Templates},
booktitle = {In Proc. NMR 2004},
year = {2003},
pages = {233--239}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The work aims at extending Answer Set Programming (ASP) with the possibility of quickly introducing new predefined constructs and to deal with compound data structures. We show how ASP can be extended with `template' predicate's definitions by introducing a wellsuited form of second order logics. We present language syntax and give its operational semantics. We show that the theory supporting our ASP extension is sound, and that program encodings are evaluated as e#ciently as ASP programs. Examples show how the extended language increases declarativity, readability, compactness of program encodings and code reusability.
