{"id":"https://openalex.org/W3081330088","doi":"https://doi.org/10.24963/kr.2020/75","title":"A Semantic Perspective on Omission Abstraction in ASP","display_name":"A Semantic Perspective on Omission Abstraction in ASP","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3081330088","doi":"https://doi.org/10.24963/kr.2020/75","mag":"3081330088"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2020/75","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/75","pdf_url":"https://proceedings.kr.org/2020/75/kr2020-0075-saribatur-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2020/75/kr2020-0075-saribatur-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024232019","display_name":"Zeynep G. Saribatur","orcid":"https://orcid.org/0000-0001-8690-5043"},"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":true,"raw_author_name":"Zeynep G. Saribatur","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5082178480","display_name":"Thomas Eiter","orcid":"https://orcid.org/0000-0001-6003-6345"},"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":"Thomas Eiter","raw_affiliation_strings":["Institute of Logic and Computation, TU Wien, Austria"],"affiliations":[{"raw_affiliation_string":"Institute of Logic and Computation, TU Wien, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5024232019"],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":0.1326,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":{"value":0.54212463,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"733","last_page":"737"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9986000061035156,"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.9933000206947327,"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/abstraction","display_name":"Abstraction","score":0.8962037563323975},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7740947604179382},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6692894697189331},{"id":"https://openalex.org/keywords/perspective","display_name":"Perspective (graphical)","score":0.6642540693283081},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.6227414608001709},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5528016686439514},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.5081326961517334},{"id":"https://openalex.org/keywords/operator","display_name":"Operator (biology)","score":0.4424360394477844},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43077513575553894},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.41792556643486023},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3536834418773651},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.10273298621177673}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8962037563323975},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7740947604179382},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6692894697189331},{"id":"https://openalex.org/C12713177","wikidata":"https://www.wikidata.org/wiki/Q1900281","display_name":"Perspective (graphical)","level":2,"score":0.6642540693283081},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.6227414608001709},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5528016686439514},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.5081326961517334},{"id":"https://openalex.org/C17020691","wikidata":"https://www.wikidata.org/wiki/Q139677","display_name":"Operator (biology)","level":5,"score":0.4424360394477844},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43077513575553894},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41792556643486023},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3536834418773651},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.10273298621177673},{"id":"https://openalex.org/C158448853","wikidata":"https://www.wikidata.org/wiki/Q425218","display_name":"Repressor","level":4,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C86339819","wikidata":"https://www.wikidata.org/wiki/Q407384","display_name":"Transcription factor","level":3,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2020/75","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/75","pdf_url":"https://proceedings.kr.org/2020/75/kr2020-0075-saribatur-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2020/75","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2020/75","pdf_url":"https://proceedings.kr.org/2020/75/kr2020-0075-saribatur-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Seventeenth International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.5199999809265137,"id":"https://metadata.un.org/sdg/4","display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3081330088.pdf","grobid_xml":"https://content.openalex.org/works/W3081330088.grobid-xml"},"referenced_works_count":17,"referenced_works":["https://openalex.org/W1985274317","https://openalex.org/W2127574686","https://openalex.org/W2167167097","https://openalex.org/W2573779957","https://openalex.org/W2577509016","https://openalex.org/W2738112172","https://openalex.org/W2778562959","https://openalex.org/W2898772359","https://openalex.org/W2944250761","https://openalex.org/W2965511341","https://openalex.org/W2972528987","https://openalex.org/W2994667977","https://openalex.org/W6646551422","https://openalex.org/W6684624586","https://openalex.org/W6747655526","https://openalex.org/W6761893011","https://openalex.org/W6771676130"],"related_works":["https://openalex.org/W2119447376","https://openalex.org/W2611090506","https://openalex.org/W2096990506","https://openalex.org/W167896555","https://openalex.org/W4253081550","https://openalex.org/W2074638034","https://openalex.org/W2020521331","https://openalex.org/W101162712","https://openalex.org/W3177169335","https://openalex.org/W4379522615"],"abstract_inverted_index":{"The":[0],"recently":[1],"introduced":[2],"notion":[3,42,116],"of":[4,12,18,56,71,96,117,137,143],"ASP":[5,81],"abstraction":[6,85,106,123],"is":[7],"on":[8,25,80,84,110],"reducing":[9],"the":[10,44,50,64,69,72,89,97,101,111,114,126,135,141],"vocabulary":[11],"a":[13,23,27,41,77,93,138],"program":[14,47,139],"while":[15,62],"ensuring":[16],"over-approximation":[17],"its":[19,132],"answer":[20],"sets,":[21],"with":[22,88],"focus":[24],"having":[26],"syntactic":[28],"operator":[29],"that":[30,39,66],"constructs":[31],"an":[32],"abstract":[33,51],"program.":[34],"It":[35],"has":[36,43],"been":[37],"shown":[38],"such":[40],"potential":[45],"for":[46,104],"analysis":[48],"at":[49],"level":[52],"by":[53,86,129],"getting":[54],"rid":[55],"irrelevant":[57],"details":[58],"to":[59,91,113],"problem":[60],"solving":[61],"preserving":[63],"structure,":[65],"aids":[67],"in":[68,134,140],"explanation":[70],"solutions.":[73],"We":[74,99,119],"take":[75],"here":[76],"further":[78],"look":[79],"abstraction,":[82],"focusing":[83],"omission":[87,105,122],"aim":[90],"obtain":[92],"better":[94],"understanding":[95],"notion.":[98],"distinguish":[100],"key":[102],"conditions":[103],"which":[107],"sheds":[108],"light":[109],"differences":[112],"well-studied":[115],"forgetting.":[118],"demonstrate":[120],"how":[121],"fits":[124],"into":[125],"overall":[127],"spectrum,":[128],"also":[130],"investigating":[131],"behavior":[133],"semantics":[136],"framework":[142],"HT":[144],"logic.":[145]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}