FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952030618> ?p ?o ?g. }

• W2952030618 abstract "While past research in answer-set programming (ASP) mainly focused on theory, ASP solver technology, and applications, the present work situates itself in the context of a quite recent research trend: development support for ASP. In particular, we propose to augment answer-set programs with additional meta-information formulated in a dedicated annotation language, called LANA. This language allows the grouping of rules into coherent blocks and to specify language signatures, types, pre- and postconditions, as well as unit tests for such blocks. While these annotations are invisible to an ASP solver, as they take the form of program comments, they can be interpreted by tools for documentation, testing, and verification purposes, as well as to eliminate sources of common programming errors by realising syntax checking or code completion features. To demonstrate its versatility, we introduce two such tools, viz. (i) ASPDOC, for generating an HTML documentation for a program based on the annotated information, and (ii) ASPUNIT, for running and monitoring unit tests on program blocks. LANA is also exploited in the SeaLion system, an integrated development environment for ASP based on Eclipse. To appear in Theory and Practice of Logic Programming" @default.
• W2952030618 created "2019-06-27" @default.
• W2952030618 creator A5027472042 @default.
• W2952030618 creator A5028255011 @default.
• W2952030618 creator A5054366195 @default.
• W2952030618 creator A5073662063 @default.
• W2952030618 creator A5082496615 @default.
• W2952030618 date "2012-10-08" @default.
• W2952030618 modified "2023-09-26" @default.
• W2952030618 title "Annotating Answer-Set Programs in LANA?" @default.
• W2952030618 cites W1487621638 @default.
• W2952030618 cites W1491161489 @default.
• W2952030618 cites W1503635106 @default.
• W2952030618 cites W1512925707 @default.
• W2952030618 cites W1606891084 @default.
• W2952030618 cites W1607618496 @default.
• W2952030618 cites W1642718662 @default.
• W2952030618 cites W1672891595 @default.
• W2952030618 cites W1838281294 @default.
• W2952030618 cites W1840870209 @default.
• W2952030618 cites W2060723681 @default.
• W2952030618 cites W2069650148 @default.
• W2952030618 cites W2076698873 @default.
• W2952030618 cites W2092211394 @default.
• W2952030618 cites W2114568665 @default.
• W2952030618 cites W2165675194 @default.
• W2952030618 cites W2178621305 @default.
• W2952030618 cites W2624790684 @default.
• W2952030618 cites W2951859582 @default.
• W2952030618 cites W2963001774 @default.
• W2952030618 cites W3143245542 @default.
• W2952030618 cites W33233687 @default.
• W2952030618 cites W73864267 @default.
• W2952030618 cites W1575107838 @default.
• W2952030618 cites W2787514756 @default.
• W2952030618 hasPublicationYear "2012" @default.
• W2952030618 type Work @default.
• W2952030618 sameAs 2952030618 @default.
• W2952030618 citedByCount "2" @default.
• W2952030618 countsByYear W29520306182013 @default.
• W2952030618 countsByYear W29520306182014 @default.
• W2952030618 crossrefType "posted-content" @default.
• W2952030618 hasAuthorship W2952030618A5027472042 @default.
• W2952030618 hasAuthorship W2952030618A5028255011 @default.
• W2952030618 hasAuthorship W2952030618A5054366195 @default.
• W2952030618 hasAuthorship W2952030618A5073662063 @default.
• W2952030618 hasAuthorship W2952030618A5082496615 @default.
• W2952030618 hasConcept C115903868 @default.
• W2952030618 hasConcept C121332964 @default.
• W2952030618 hasConcept C1276947 @default.
• W2952030618 hasConcept C148027188 @default.
• W2952030618 hasConcept C151730666 @default.
• W2952030618 hasConcept C154945302 @default.
• W2952030618 hasConcept C177264268 @default.
• W2952030618 hasConcept C182620335 @default.
• W2952030618 hasConcept C199360897 @default.
• W2952030618 hasConcept C204321447 @default.
• W2952030618 hasConcept C2776321320 @default.
• W2952030618 hasConcept C2777904410 @default.
• W2952030618 hasConcept C2778505590 @default.
• W2952030618 hasConcept C2778770139 @default.
• W2952030618 hasConcept C2779343474 @default.
• W2952030618 hasConcept C41008148 @default.
• W2952030618 hasConcept C48859967 @default.
• W2952030618 hasConcept C56666940 @default.
• W2952030618 hasConcept C60048249 @default.
• W2952030618 hasConcept C86803240 @default.
• W2952030618 hasConceptScore W2952030618C115903868 @default.
• W2952030618 hasConceptScore W2952030618C121332964 @default.
• W2952030618 hasConceptScore W2952030618C1276947 @default.
• W2952030618 hasConceptScore W2952030618C148027188 @default.
• W2952030618 hasConceptScore W2952030618C151730666 @default.
• W2952030618 hasConceptScore W2952030618C154945302 @default.
• W2952030618 hasConceptScore W2952030618C177264268 @default.
• W2952030618 hasConceptScore W2952030618C182620335 @default.
• W2952030618 hasConceptScore W2952030618C199360897 @default.
• W2952030618 hasConceptScore W2952030618C204321447 @default.
• W2952030618 hasConceptScore W2952030618C2776321320 @default.
• W2952030618 hasConceptScore W2952030618C2777904410 @default.
• W2952030618 hasConceptScore W2952030618C2778505590 @default.
• W2952030618 hasConceptScore W2952030618C2778770139 @default.
• W2952030618 hasConceptScore W2952030618C2779343474 @default.
• W2952030618 hasConceptScore W2952030618C41008148 @default.
• W2952030618 hasConceptScore W2952030618C48859967 @default.
• W2952030618 hasConceptScore W2952030618C56666940 @default.
• W2952030618 hasConceptScore W2952030618C60048249 @default.
• W2952030618 hasConceptScore W2952030618C86803240 @default.
• W2952030618 hasLocation W29520306181 @default.
• W2952030618 hasOpenAccess W2952030618 @default.
• W2952030618 hasPrimaryLocation W29520306181 @default.
• W2952030618 hasRelatedWork W1496699697 @default.
• W2952030618 hasRelatedWork W1535908350 @default.
• W2952030618 hasRelatedWork W1609073145 @default.
• W2952030618 hasRelatedWork W169099150 @default.
• W2952030618 hasRelatedWork W187776945 @default.
• W2952030618 hasRelatedWork W2012401665 @default.
• W2952030618 hasRelatedWork W2046605959 @default.
• W2952030618 hasRelatedWork W2103229952 @default.
• W2952030618 hasRelatedWork W2105286820 @default.
• W2952030618 hasRelatedWork W2107523885 @default.

• next