Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951579968> ?p ?o ?g. }
- W2951579968 abstract "We report about the current state and designated features of the tool SeaLion, aimed to serve as an integrated development environment (IDE) for answer-set programming (ASP). A main goal of SeaLion is to provide a user-friendly environment for supporting a developer to write, evaluate, debug, and test answer-set programs. To this end, new support techniques have to be developed that suit the requirements of the answer-set semantics and meet the constraints of practical applicability. In this respect, SeaLion benefits from the research results of a project on methods and methodologies for answer-set program development in whose context SeaLion is realised. Currently, the tool provides source-code editors for the languages of Gringo and DLV that offer syntax highlighting, syntax checking, and a visual program outline. Further implemented features are support for external solvers and visualisation as well as visual editing of answer sets. SeaLion comes as a plugin of the popular Eclipse platform and provides itself interfaces for future extensions of the IDE." @default.
- W2951579968 created "2019-06-27" @default.
- W2951579968 creator A5028255011 @default.
- W2951579968 creator A5054366195 @default.
- W2951579968 creator A5073662063 @default.
- W2951579968 date "2011-09-19" @default.
- W2951579968 modified "2023-09-27" @default.
- W2951579968 title "The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report" @default.
- W2951579968 cites W1487621638 @default.
- W2951579968 cites W1495291840 @default.
- W2951579968 cites W1512925707 @default.
- W2951579968 cites W1552168992 @default.
- W2951579968 cites W1555658928 @default.
- W2951579968 cites W1602778666 @default.
- W2951579968 cites W1606891084 @default.
- W2951579968 cites W1840870209 @default.
- W2951579968 cites W1976055110 @default.
- W2951579968 cites W2043673291 @default.
- W2951579968 cites W2121984327 @default.
- W2951579968 cites W2154996176 @default.
- W2951579968 cites W2160761160 @default.
- W2951579968 cites W2401835068 @default.
- W2951579968 cites W2764157639 @default.
- W2951579968 cites W2948484386 @default.
- W2951579968 cites W2951859582 @default.
- W2951579968 cites W33233687 @default.
- W2951579968 cites W37560419 @default.
- W2951579968 hasPublicationYear "2011" @default.
- W2951579968 type Work @default.
- W2951579968 sameAs 2951579968 @default.
- W2951579968 citedByCount "1" @default.
- W2951579968 crossrefType "posted-content" @default.
- W2951579968 hasAuthorship W2951579968A5028255011 @default.
- W2951579968 hasAuthorship W2951579968A5054366195 @default.
- W2951579968 hasAuthorship W2951579968A5073662063 @default.
- W2951579968 hasConcept C115903868 @default.
- W2951579968 hasConcept C121332964 @default.
- W2951579968 hasConcept C1276947 @default.
- W2951579968 hasConcept C139968098 @default.
- W2951579968 hasConcept C151730666 @default.
- W2951579968 hasConcept C154690210 @default.
- W2951579968 hasConcept C154945302 @default.
- W2951579968 hasConcept C168065819 @default.
- W2951579968 hasConcept C177264268 @default.
- W2951579968 hasConcept C182620335 @default.
- W2951579968 hasConcept C184337299 @default.
- W2951579968 hasConcept C199360897 @default.
- W2951579968 hasConcept C2778505590 @default.
- W2951579968 hasConcept C2779343474 @default.
- W2951579968 hasConcept C36464697 @default.
- W2951579968 hasConcept C41008148 @default.
- W2951579968 hasConcept C43126263 @default.
- W2951579968 hasConcept C4924752 @default.
- W2951579968 hasConcept C60048249 @default.
- W2951579968 hasConcept C86803240 @default.
- W2951579968 hasConceptScore W2951579968C115903868 @default.
- W2951579968 hasConceptScore W2951579968C121332964 @default.
- W2951579968 hasConceptScore W2951579968C1276947 @default.
- W2951579968 hasConceptScore W2951579968C139968098 @default.
- W2951579968 hasConceptScore W2951579968C151730666 @default.
- W2951579968 hasConceptScore W2951579968C154690210 @default.
- W2951579968 hasConceptScore W2951579968C154945302 @default.
- W2951579968 hasConceptScore W2951579968C168065819 @default.
- W2951579968 hasConceptScore W2951579968C177264268 @default.
- W2951579968 hasConceptScore W2951579968C182620335 @default.
- W2951579968 hasConceptScore W2951579968C184337299 @default.
- W2951579968 hasConceptScore W2951579968C199360897 @default.
- W2951579968 hasConceptScore W2951579968C2778505590 @default.
- W2951579968 hasConceptScore W2951579968C2779343474 @default.
- W2951579968 hasConceptScore W2951579968C36464697 @default.
- W2951579968 hasConceptScore W2951579968C41008148 @default.
- W2951579968 hasConceptScore W2951579968C43126263 @default.
- W2951579968 hasConceptScore W2951579968C4924752 @default.
- W2951579968 hasConceptScore W2951579968C60048249 @default.
- W2951579968 hasConceptScore W2951579968C86803240 @default.
- W2951579968 hasLocation W29515799681 @default.
- W2951579968 hasOpenAccess W2951579968 @default.
- W2951579968 hasPrimaryLocation W29515799681 @default.
- W2951579968 hasRelatedWork W156593182 @default.
- W2951579968 hasRelatedWork W1607618496 @default.
- W2951579968 hasRelatedWork W166292644 @default.
- W2951579968 hasRelatedWork W1856878087 @default.
- W2951579968 hasRelatedWork W1969329452 @default.
- W2951579968 hasRelatedWork W2029887088 @default.
- W2951579968 hasRelatedWork W2083074769 @default.
- W2951579968 hasRelatedWork W2125412731 @default.
- W2951579968 hasRelatedWork W2155527175 @default.
- W2951579968 hasRelatedWork W2160761160 @default.
- W2951579968 hasRelatedWork W2161316222 @default.
- W2951579968 hasRelatedWork W2278327507 @default.
- W2951579968 hasRelatedWork W2401835068 @default.
- W2951579968 hasRelatedWork W2614617176 @default.
- W2951579968 hasRelatedWork W2624790684 @default.
- W2951579968 hasRelatedWork W2890241187 @default.
- W2951579968 hasRelatedWork W2944744555 @default.
- W2951579968 hasRelatedWork W3205187312 @default.
- W2951579968 hasRelatedWork W3206658840 @default.
- W2951579968 hasRelatedWork W33233687 @default.
- W2951579968 isParatext "false" @default.
- W2951579968 isRetracted "false" @default.