{"id":"https://openalex.org/W2107523885","doi":"https://doi.org/10.1017/s147106841200021x","title":"Annotating answer-set programs in <scp>Lana</scp>","display_name":"Annotating answer-set programs in <scp>Lana</scp>","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2107523885","doi":"https://doi.org/10.1017/s147106841200021x","mag":"2107523885"},"language":"en","primary_location":{"id":"doi:10.1017/s147106841200021x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841200021x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082496615","display_name":"Marina De Vos","orcid":"https://orcid.org/0000-0003-3583-7671"},"institutions":[{"id":"https://openalex.org/I51601045","display_name":"University of Bath","ror":"https://ror.org/002h8g185","country_code":"GB","type":"education","lineage":["https://openalex.org/I51601045"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"MARINA DE VOS","raw_affiliation_strings":["Department of Computing, University of Bath, BA2 7AY, Bath, UK (e-mail:","Department of computing, university of bath, ba2 7ay, bath, uk (e-mail: mdv@cs.bath.ac.uk)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing, University of Bath, BA2 7AY, Bath, UK (e-mail:","institution_ids":["https://openalex.org/I51601045"]},{"raw_affiliation_string":"Department of computing, university of bath, ba2 7ay, bath, uk (e-mail: mdv@cs.bath.ac.uk)#TAB#","institution_ids":["https://openalex.org/I51601045"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005279742","display_name":"Doga Kisa","orcid":null},"institutions":[{"id":"https://openalex.org/I134235054","display_name":"Sabanc\u0131 \u00dcniversitesi","ror":"https://ror.org/049asqa32","country_code":"TR","type":"education","lineage":["https://openalex.org/I134235054"]}],"countries":["TR"],"is_corresponding":false,"raw_author_name":"DO\u011eA GIZEM KISA","raw_affiliation_strings":["Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul 34956, Turkey (e-mail:","Faculty of engineering and natural sciences, sabanci university, orhanli, tuzla, istanbul 34956, turkey (e-mail: dgkisa@su.sabanciuniv.edu)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Faculty of Engineering and Natural Sciences, Sabanci University, Orhanli, Tuzla, Istanbul 34956, Turkey (e-mail:","institution_ids":["https://openalex.org/I134235054"]},{"raw_affiliation_string":"Faculty of engineering and natural sciences, sabanci university, orhanli, tuzla, istanbul 34956, turkey (e-mail: dgkisa@su.sabanciuniv.edu)#TAB#","institution_ids":["https://openalex.org/I134235054"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028255011","display_name":"Johannes Oetsch","orcid":"https://orcid.org/0000-0002-9902-7662"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"JOHANNES OETSCH","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, Austria (e-mail:","Institut f\u00fcr informationssysteme 184/3, technische universit\u00e4t wien, favoritenstra\u03b2e 9-11, a-1040 vienna, austria (e-mail: oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@k ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, Austria (e-mail:","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institut f\u00fcr informationssysteme 184/3, technische universit\u00e4t wien, favoritenstra\u03b2e 9-11, a-1040 vienna, austria (e-mail: oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@k ...#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054366195","display_name":"J\u00f6rg P\u00fchrer","orcid":"https://orcid.org/0000-0003-1644-483X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"J\u00d6RG P\u00dcHRER","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, Austria (e-mail:","Institut f\u00fcr informationssysteme 184/3, technische universit\u00e4t wien, favoritenstra\u03b2e 9-11, a-1040 vienna, austria (e-mail: oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@k ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, Austria (e-mail:","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institut f\u00fcr informationssysteme 184/3, technische universit\u00e4t wien, favoritenstra\u03b2e 9-11, a-1040 vienna, austria (e-mail: oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@k ...#TAB#","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073662063","display_name":"Hans Tompits","orcid":"https://orcid.org/0000-0001-5673-2460"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"HANS TOMPITS","raw_affiliation_strings":["Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, Austria (e-mail:","Institut f\u00fcr informationssysteme 184/3, technische universit\u00e4t wien, favoritenstra\u03b2e 9-11, a-1040 vienna, austria (e-mail: oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@k ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informationssysteme 184/3, Technische Universit\u00e4t Wien, Favoritenstra\u00dfe 9-11, A-1040 Vienna, Austria (e-mail:","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Institut f\u00fcr informationssysteme 184/3, technische universit\u00e4t wien, favoritenstra\u03b2e 9-11, a-1040 vienna, austria (e-mail: oetsch@kr.tuwien.ac.at, puehrer@kr.tuwien.ac.at, tompits@k ...#TAB#","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.096,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.91983968,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"12","issue":"4-5","first_page":"619","last_page":"637"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10456","display_name":"Multi-Agent Systems and Negotiation","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.9129374027252197},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7529596090316772},{"id":"https://openalex.org/keywords/documentation","display_name":"Documentation","score":0.6978424191474915},{"id":"https://openalex.org/keywords/answer-set-programming","display_name":"Answer set programming","score":0.6967165470123291},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.6271712779998779},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.5918038487434387},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5879206657409668},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.5767570734024048},{"id":"https://openalex.org/keywords/unit-testing","display_name":"Unit testing","score":0.5661979913711548},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.5413041710853577},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.45868682861328125},{"id":"https://openalex.org/keywords/language-construct","display_name":"Language construct","score":0.45623254776000977},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3719356060028076},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.2389405369758606},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.23485863208770752},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.16429513692855835}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.9129374027252197},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7529596090316772},{"id":"https://openalex.org/C56666940","wikidata":"https://www.wikidata.org/wiki/Q788790","display_name":"Documentation","level":2,"score":0.6978424191474915},{"id":"https://openalex.org/C182620335","wikidata":"https://www.wikidata.org/wiki/Q2852531","display_name":"Answer set programming","level":3,"score":0.6967165470123291},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.6271712779998779},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.5918038487434387},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5879206657409668},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.5767570734024048},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.5661979913711548},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.5413041710853577},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.45868682861328125},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.45623254776000977},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3719356060028076},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.2389405369758606},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23485863208770752},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.16429513692855835},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1017/s147106841200021x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s147106841200021x","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","raw_type":"journal-article"},{"id":"pmh:oai:purehost.bath.ac.uk:publications/9792442a-a3fd-44cb-8dcd-1f2d1ac71258","is_oa":false,"landing_page_url":"https://researchportal.bath.ac.uk/en/publications/9792442a-a3fd-44cb-8dcd-1f2d1ac71258","pdf_url":null,"source":{"id":"https://openalex.org/S4377196294","display_name":"Pure (University of Bath)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I51601045","host_organization_name":"University of Bath","host_organization_lineage":["https://openalex.org/I51601045"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.4300000071525574}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":39,"referenced_works":["https://openalex.org/W33233687","https://openalex.org/W73864267","https://openalex.org/W91024833","https://openalex.org/W1487621638","https://openalex.org/W1491161489","https://openalex.org/W1503635106","https://openalex.org/W1512925707","https://openalex.org/W1520957705","https://openalex.org/W1575107838","https://openalex.org/W1602778666","https://openalex.org/W1606891084","https://openalex.org/W1607618496","https://openalex.org/W1634869392","https://openalex.org/W1642718662","https://openalex.org/W1654219887","https://openalex.org/W1672891595","https://openalex.org/W1776373986","https://openalex.org/W1838281294","https://openalex.org/W1840870209","https://openalex.org/W2014309790","https://openalex.org/W2046653058","https://openalex.org/W2060723681","https://openalex.org/W2069650148","https://openalex.org/W2076698873","https://openalex.org/W2092211394","https://openalex.org/W2097438669","https://openalex.org/W2109879514","https://openalex.org/W2114568665","https://openalex.org/W2142637792","https://openalex.org/W2165675194","https://openalex.org/W2178621305","https://openalex.org/W2594755931","https://openalex.org/W2624790684","https://openalex.org/W2963001774","https://openalex.org/W3103989664","https://openalex.org/W3143245542","https://openalex.org/W4285719527","https://openalex.org/W6601341542","https://openalex.org/W6636593056"],"related_works":["https://openalex.org/W2361861616","https://openalex.org/W2263699433","https://openalex.org/W2377979023","https://openalex.org/W2218034408","https://openalex.org/W2907375469","https://openalex.org/W4289294633","https://openalex.org/W2900217177","https://openalex.org/W2055183782","https://openalex.org/W155155990","https://openalex.org/W2107523885"],"abstract_inverted_index":{"Abstract":[0],"While":[1,83],"past":[2],"research":[3,29],"in":[4,22,48,175],"answer-set":[5,42],"programming":[6,120],"(ASP)":[7],"mainly":[8],"focused":[9],"on":[10,153,168,186],"theory,":[11],"ASP":[12,34,90,141,159,184],"solver":[13],"technology,":[14],"and":[15,66,73,109,157,164],"applications,":[16],"the":[17,23,59,95,154,176],"present":[18],"work":[19],"situates":[20],"itself":[21],"context":[24],"of":[25,61,97,118],"a":[26,49,150],"quite":[27],"recent":[28],"trend:":[30],"development":[31,181],"support":[32],"for":[33,80,106,144,149,162,183],".":[35,55],"In":[36],"particular,":[37],"we":[38,134],"propose":[39],"to":[40,67,88,115],"augment":[41],"programs":[43],"with":[44],"additional":[45],"meta-information":[46],"formulated":[47],"dedicated":[50],"annotation":[51],"language,":[52],"called":[53],"Lana":[54,171],"This":[56],"language":[57,69],"allows":[58],"grouping":[60],"rules":[62],"into":[63],"coherent":[64],"blocks":[65],"specify":[68],"signatures,":[70],"types,":[71],"pre-":[72],"postconditions,":[74],"as":[75,77,92,112,114],"well":[76,113],"unit":[78,166],"tests":[79,167],"such":[81,137],"blocks.":[82,170],"these":[84],"annotations":[85],"are":[86],"invisible":[87],"an":[89,146,179],"solver,":[91],"they":[93,100],"take":[94],"form":[96],"program":[98,151,169],"comments,":[99],"can":[101],"be":[102],"interpreted":[103],"by":[104,122],"tools":[105],"documentation,":[107],"testing,":[108],"verification":[110],"purposes,":[111],"eliminate":[116],"sources":[117],"common":[119],"errors":[121],"realising":[123],"syntax":[124],"checking":[125],"or":[126],"code":[127],"completion":[128],"features.":[129],"To":[130],"demonstrate":[131],"its":[132],"versatility,":[133],"introduce":[135],"two":[136],"tools,":[138],"viz.":[139],"(i)":[140],"Doc":[142],",":[143,161],"generating":[145],"HTML":[147],"documentation":[148],"based":[152,185],"annotated":[155],"information,":[156],"(ii)":[158],"Unit":[160],"running":[163],"monitoring":[165],"is":[172],"also":[173],"exploited":[174],"SeaLion":[177],"system,":[178],"integrated":[180],"environment":[182],"Eclipse.":[187]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}