%0 Generic %1 Ianni04 %A Ianni, Giovambattista %A Ielpa, Giuseppe %A Pietramala, Adriana %A Santoro, Maria C. %A Calimeri, Francesco %D 2004 %K answer-set-programming, template %P 233--239 %T Answer Set Programming with Templates %U http://citeseer.ist.psu.edu/ianni03answer.html %X 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...

@misc{Ianni04, 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...}}, added-at = {2011-05-04T16:04:17.000+0200}, author = {Ianni, Giovambattista and Ielpa, Giuseppe and Pietramala, Adriana and Santoro, Maria C. and Calimeri, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/22d8ab46c2fc036a3403da2ec35e0e578/baisemain}, citeulike-article-id = {3039463}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/ianni03answer.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/ianni03answer.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/ianni03answer.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/ianni03answer.html}, interhash = {469caca1e85eee83e13df728e090066d}, intrahash = {2d8ab46c2fc036a3403da2ec35e0e578}, keywords = {answer-set-programming, template}, pages = {233--239}, posted-at = {2008-07-24 14:22:31}, priority = {2}, timestamp = {2011-05-04T16:04:35.000+0200}, title = {{Answer Set Programming with Templates}}, url = {http://citeseer.ist.psu.edu/ianni03answer.html}, year = 2004 }